Searched refs:efi_status_code_value_t (Results 1 – 3 of 3) sorted by relevance
16 efi_status_code_value_t ignored2, efi_uint32_t ignored3, efi_guid_t *ignored4,
21 efi_status_code_value_t ignored2, efi_uint32_t ignored3, efi_guid_t *ignored4, in fsp_debug_event_handler()
40 typedef EFI_STATUS_CODE_VALUE efi_status_code_value_t; typedef