cpu1を一旦切って、cpu0だけでIPI割り込みのテストを続行中。 Linuxのコードと見比べたが、IRQとかは今ので正しいような気がする。 が、どうしても割り込み入らない。絶対初期化が間違ってると思うので、その辺りを家宅捜索中。 int xheart_intr_establish(i…