Searched refs:EFI_DXE_SERVICES_TABLE_GUID (Results 1 - 2 of 2) sorted by relevance
| /linux-master/drivers/firmware/efi/libstub/ |
| H A D | x86-stub.c | 868 efi_dxe_table = get_efi_config_table(EFI_DXE_SERVICES_TABLE_GUID);
|
| /linux-master/include/linux/ |
| H A D | efi.h | 393 #define EFI_DXE_SERVICES_TABLE_GUID EFI_GUID(0x05ad34ba, 0x6f02, 0x4214, 0x95, 0x2e, 0x4d, 0xa0, 0x39, 0x8e, 0x2b, 0xb9) macro
|
Completed in 125 milliseconds