Symbol: efi_reset_system
sys/arch/ia64/ia64/machdep.c
239
efi_reset_system();
sys/arch/ia64/include/efi.h
53
void efi_reset_system(void);