Searched refs:ConfigurationTable (Results 1 – 6 of 6) sorted by relevance
44 id = &ST->ConfigurationTable[i].VendorGuid; in efi_get_table()46 return (ST->ConfigurationTable[i].VendorTable); in efi_get_table()
194 efiptr32_t ConfigurationTable; member217 efiptr64_t ConfigurationTable; member
1779 efi->ConfigurationTable; in process_efi32()1815 efi->ConfigurationTable; in process_efi64()1929 efi->ConfigurationTable; in print_efi32()1967 efi->ConfigurationTable; in print_efi64()
1130 guid = &ST->ConfigurationTable[i].VendorGuid; in command_configuration()1138 printf(" at %p\n", ST->ConfigurationTable[i].VendorTable); in command_configuration()
2036 EFI_CONFIGURATION_TABLE *ConfigurationTable; member
1044 ACPI_EFI_CONFIGURATION_TABLE *ConfigurationTable; member