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 D | efi.c | 324 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 D | esi.c | 52 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 D | efi.c | 413 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 D | setup.c | 159 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