φ(・ω・ )かきかき vmm_ipi.cのipiの初期化、終了処理あたりを片付けました。 FreeBSDのidtを"FreeBSDのidtめも"で調べたところ、すべてのcpuはidtとしてidt0を参照するようになっていたのですが、DragonFly BSDは一応cpu毎に違う変数を使っているのを考慮し…

( ..)φメモメモFreeBSDのinit_secondary()でAPのセットアップ時にlidtで使っているのはr_idt。 664 lidt(&r_idt); このr_idtはidtなんかと一緒にamd64/include/segments.hで定義されている。 238 extern struct user_segment_descriptor gdt[]; 239 extern s…