Symbol: efi_reboot
drivers/firmware/efi/reboot.c
13
void efi_reboot(enum reboot_mode reboot_mode, const char *__unused)
include/linux/efi.h
901
efi_reboot(enum reboot_mode reboot_mode, const char *__unused) {}