sys/arch/sgi/sgi/machdep.cより。 tlbをフラッシュしてしまうとARCBIOSにアクセス出来なくなるかもしれない、という事のようだ。 /* * Last chance to call the BIOS. Wiping the TLB means the BIOS' data * areas are demapped on most systems. O2s are …