Symbol: efi_reboot
sys/stand/efiboot/boot.c
444
efi_reboot();
sys/stand/efiboot/boot.c
467
efi_reboot();
sys/stand/efiboot/efiboot.h
78
void efi_reboot(void);