Searched refs:efi_dxe_table (Results 1 – 2 of 2) sorted by relevance
27 const efi_dxe_services_table_t *efi_dxe_table; variable398 if (efi_dxe_table == NULL) in efi_adjust_memory_range_protection()940 efi_dxe_table = get_efi_config_table(EFI_DXE_SERVICES_TABLE_GUID); in efi_stub_entry()941 if (efi_dxe_table && in efi_stub_entry()942 efi_dxe_table->hdr.signature != EFI_DXE_SERVICES_TABLE_SIGNATURE) { in efi_stub_entry()944 efi_dxe_table = NULL; in efi_stub_entry()
50 extern const efi_dxe_services_table_t *efi_dxe_table;72 efi_fn_call(efi_dxe_table, func, ##__VA_ARGS__)