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
1664 efi->ConfigurationTable; in process_efi32()1700 efi->ConfigurationTable; in process_efi64()1814 efi->ConfigurationTable; in print_efi32()1852 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