Searched refs:config_tables (Results 1 - 4 of 4) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/i386/kernel/
H A Defi.c324 efi_config_table_t *config_tables; local
360 config_tables = (efi_config_table_t *)efi.systab->tables;
381 config_tables = (efi_config_table_t *)
382 boot_ioremap((unsigned long) config_tables,
385 if (config_tables == NULL)
398 if (efi_guidcmp(config_tables[i].guid, MPS_TABLE_GUID) == 0) {
399 efi.mps = config_tables[i].table;
400 printk(KERN_INFO " MPS=0x%lx ", config_tables[i].table);
402 if (efi_guidcmp(config_tables[i].guid, ACPI_20_TABLE_GUID) == 0) {
403 efi.acpi20 = config_tables[
[all...]
/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/ia64/kernel/
H A Desi.c52 efi_config_table_t *config_tables; local
58 config_tables = __va(efi.systab->tables);
61 if (efi_guidcmp(config_tables[i].guid, ESI_TABLE_GUID) == 0) {
62 esi = config_tables[i].table;
H A Defi.c413 efi_config_table_t *config_tables; local
454 config_tables = __va(efi.systab->tables);
477 if (efi_guidcmp(config_tables[i].guid, MPS_TABLE_GUID) == 0) {
478 efi.mps = config_tables[i].table;
479 printk(" MPS=0x%lx", config_tables[i].table);
480 } else if (efi_guidcmp(config_tables[i].guid, ACPI_20_TABLE_GUID) == 0) {
481 efi.acpi20 = config_tables[i].table;
482 printk(" ACPI 2.0=0x%lx", config_tables[i].table);
483 } else if (efi_guidcmp(config_tables[i].guid, ACPI_TABLE_GUID) == 0) {
484 efi.acpi = config_tables[
[all...]
/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/ia64/sn/kernel/
H A Dsetup.c159 efi_config_table_t *config_tables; local
173 config_tables = __va(efi_systab->tables);
175 if (efi_guidcmp(config_tables[i].guid, SAL_SYSTEM_TABLE_GUID) ==
177 sal_systab = __va(config_tables[i].table);

Completed in 72 milliseconds