Searched refs:efi_cc_boot_service_cap_t (Results 1 – 1 of 1) sorted by relevance
928 } efi_cc_boot_service_cap_t; typedef942 efi_cc_boot_service_cap_t *);