[PATCH] EFI: keep physical table addresses in efi structure

Almost all users of the table addresses from the EFI system table want
physical addresses.  So rather than doing the pa->va->pa conversion, just keep
physical addresses in struct efi.

This fixes a DMI bug: the efi structure contained the physical SMBIOS address
on x86 but the virtual address on ia64, so dmi_scan_machine() used ioremap()
on a virtual address on ia64.

This is essentially the same as an earlier patch by Matt Tolentino:
	http://marc.theaimsgroup.com/?l=linux-kernel&m=112130292316281&w=2
except that this changes all table addresses, not just ACPI addresses.

Matt's original patch was backed out because it caused MCAs on HP sx1000
systems.  That problem is resolved by the ioremap() attribute checking added
for ia64.

Signed-off-by: Bjorn Helgaas <bjorn.helgaas@hp.com>
Cc: Matt Domsch <Matt_Domsch@dell.com>
Cc: "Tolentino, Matthew E" <matthew.e.tolentino@intel.com>
Cc: "Brown, Len" <len.brown@intel.com>
Cc: Andi Kleen <ak@muc.de>
Acked-by: "Luck, Tony" <tony.luck@intel.com>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>

1 files changed, 10 insertions, 8 deletions

diff --git a/include/linux/efi.h b/include/linux/efi.h
index d15725470aa4..e203613d3aec 100644
--- a/include/linux/efi.h
+++ b/include/linux/efi.h
@@ -240,19 +240,21 @@ struct efi_memory_map {
         unsigned long desc_size;
 };
 
+#define EFI_INVALID_TABLE_ADDR          (~0UL)
+
 /*
  * All runtime access to EFI goes through this structure:
  */
 extern struct efi {
         efi_system_table_t *systab;     /* EFI system table */
-        void *mps;                      /* MPS table */
-        void *acpi;                     /* ACPI table  (IA64 ext 0.71) */
-        void *acpi20;                   /* ACPI table  (ACPI 2.0) */
-        void *smbios;                   /* SM BIOS table */
-        void *sal_systab;               /* SAL system table */
-        void *boot_info;                /* boot info table */
-        void *hcdp;                     /* HCDP table */
-        void *uga;                      /* UGA table */
+        unsigned long mps;              /* MPS table */
+        unsigned long acpi;             /* ACPI table  (IA64 ext 0.71) */
+        unsigned long acpi20;           /* ACPI table  (ACPI 2.0) */
+        unsigned long smbios;           /* SM BIOS table */
+        unsigned long sal_systab;       /* SAL system table */
+        unsigned long boot_info;        /* boot info table */
+        unsigned long hcdp;             /* HCDP table */
+        unsigned long uga;              /* UGA table */
         efi_get_time_t *get_time;
         efi_set_time_t *set_time;
         efi_get_wakeup_time_t *get_wakeup_time;