Symbol: i86_halt
usr/src/uts/i86pc/os/machdep.c
924
i86_halt();
usr/src/uts/i86pc/os/mp_pc.c
441
i86_halt();
usr/src/uts/intel/sys/cpu.h
58
extern void i86_halt(void);