Searched refs:EFI_DXE_SERVICES_TABLE_GUID (Results 1 – 2 of 2) sorted by relevance
897 efi_dxe_table = get_efi_config_table(EFI_DXE_SERVICES_TABLE_GUID); in efi_stub_entry()
394 #define EFI_DXE_SERVICES_TABLE_GUID EFI_GUID(0x05ad34ba, 0x6f02, 0x4214, 0x95, 0x2e, 0x4d, 0xa0, … macro