Searched refs:efi_guid_t (Results 1 – 2 of 2) sorted by relevance
85 } efi_guid_t; typedef228 efi_guid_t *VendorGuid,236 efi_guid_t *VendorGuid);239 efi_guid_t *VendorGuid,261 efi_guid_t CapsuleGuid;391 efi_guid_t *Protocol,397 efi_guid_t *Protocol,403 efi_guid_t *Protocol,408 efi_guid_t *Protocol,412 efi_guid_t *Protocol,[all …]
77 static inline bool efi_guid_compare(efi_guid_t *s1, efi_guid_t *s2) in efi_guid_compare()82 static void *efi_config_get_vendor_table_by_guid(efi_guid_t *guid) in efi_config_get_vendor_table_by_guid()106 efi_guid_t rsdp_guid_1 = ACPI_1_0_RSDP_EFI_GUID; in efi_prepare_boot_arg()107 efi_guid_t rsdp_guid_2 = ACPI_2_0_RSDP_EFI_GUID; in efi_prepare_boot_arg()196 efi_guid_t loaded_image_protocol = EFI_LOADED_IMAGE_PROTOCOL_GUID; in efi_entry()
