Searched refs:efi_handle_t (Results 1 – 1 of 1) sorted by relevance
44 typedef void *efi_handle_t; typedef281 efi_status_t (*handle_protocol)(efi_handle_t, efi_guid_t *, void **);291 efi_status_t (*exit_boot_services)(efi_handle_t, unsigned long);