Symbol: dboot_halt
usr/src/uts/i86pc/dboot/dboot_printf.c
68
dboot_halt(); /* just in case */
usr/src/uts/i86pc/dboot/dboot_xboot.h
63
extern void dboot_halt(void) __NORETURN;