|
From: Matthew G. <mj...@sr...> - 2006-03-04 18:00:32
|
On my Intel imac, /sys/firmware/efi/systab is the following:
ACPI20=0x1fefd014
ACPI=0x1fefd000
SMBIOS=0x9fec9000
if I have a kernel with a 2:2 user/kernel split, and
SMBIOS=0x5fec9000
if I have a kernel with a 3:1 split. The correct value is 0x1fec9000,
which is what the kernel prints at boot time. The following trivial
patch seems to fix things.
Signed-off-by: Matthew Garrett <mj...@sr...>
diff --git a/arch/i386/kernel/efi.c b/arch/i386/kernel/efi.c
index ecad519..6be705e 100644
--- a/arch/i386/kernel/efi.c
+++ b/arch/i386/kernel/efi.c
@@ -391,7 +391,7 @@ void __init efi_init(void)
printk(KERN_INFO " ACPI=0x%lx ", config_tables[i].table);
} else
if (efi_guidcmp(config_tables[i].guid, SMBIOS_TABLE_GUID) == 0) {
- efi.smbios = (void *) config_tables[i].table;
+ efi.smbios = __va(config_tables[i].table);
printk(KERN_INFO " SMBIOS=0x%lx ", config_tables[i].table);
} else
if (efi_guidcmp(config_tables[i].guid, HCDP_TABLE_GUID) == 0) {
--
Matthew Garrett | mj...@sr...
|