efi_handle_t 277 include/linux/efi.h efi_status_t (*handle_protocol)(efi_handle_t, efi_guid_t *, void **); efi_handle_t 287 include/linux/efi.h efi_status_t (*exit_boot_services)(efi_handle_t, unsigned long);