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