OpenBSD/sgi on octane2 - cpu_boot_secondary()からでも起動出来てた

わかったわかった。
cpu_boot_secondary()からだと起動しないのではなく、printfから出力出来てないだけっぽい。
ARCBIOSへアクセス出来る事を祈りながら試しに出力関数をbios_printf()にしてみたら、問題なく出力出来た。
はて、ではその間を埋めるものは何だ。TLBエントリの初期化かな。