Symbol: efi_reset_system
sys/platform/pc64/include/efi.h
49
int efi_reset_system(void);
sys/platform/pc64/x86_64/efirt.c
380
error = efi_reset_system();