Symbol: efi_reset
usr/src/boot/sys/sys/efi.h
132
efi_status (*rt_reset)(enum efi_reset, efi_status, u_long,
usr/src/uts/i86pc/os/machdep.c
482
efi_reset();
usr/src/uts/intel/sys/archsystm.h
110
extern void efi_reset(void) __NORETURN;