efi_bool_t         88 arch/x86/kernel/efi.c static efi_status_t virt_efi_get_wakeup_time(efi_bool_t *enabled,
efi_bool_t         89 arch/x86/kernel/efi.c 					     efi_bool_t *pending,
efi_bool_t         96 arch/x86/kernel/efi.c static efi_status_t virt_efi_set_wakeup_time(efi_bool_t enabled, efi_time_t *tm)