[Xen-changelog] [xen-unstable] [IA64] Remove redundant ASSIGN_DOMAIN_MACH_PAGE in dom_fw.c

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User awilliam@xxxxxxxxxxx
# Node ID db6dce7ae3740f6bc7aa002159511cde5a321725
# Parent  e62685b48500c2fffec94570cbe7940fd77ad112
[IA64] Remove redundant ASSIGN_DOMAIN_MACH_PAGE in dom_fw.c

Signed-off-by: Kouya Shimura <kouya@xxxxxxxxxxxxxx>
---
 xen/arch/ia64/xen/dom_fw.c |   17 +++++------------
 1 files changed, 5 insertions(+), 12 deletions(-)

diff -r e62685b48500 -r db6dce7ae374 xen/arch/ia64/xen/dom_fw.c
--- a/xen/arch/ia64/xen/dom_fw.c        Tue Jun 13 15:05:33 2006 -0600
+++ b/xen/arch/ia64/xen/dom_fw.c        Wed Jun 14 16:05:42 2006 -0600
@@ -596,18 +596,11 @@ dom_fw_init (struct domain *d, const cha
                efi_tables[i].table = 0;
        }
        if (d == dom0) {
-#ifdef CONFIG_XEN_IA64_DOM0_VP
-# define ASSIGN_DOMAIN_MACH_PAGE(d, p) \
-        assign_domain_mach_page((d), (p), PAGE_SIZE, ASSIGN_readonly)
-#else
-# define ASSIGN_DOMAIN_MACH_PAGE(d, p) (p)
-#endif
-
                printf("Domain0 EFI passthrough:");
                i = 1;
                if (efi.mps) {
                        efi_tables[i].guid = MPS_TABLE_GUID;
-                       efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, 
__pa(efi.mps));
+                       efi_tables[i].table = __pa(efi.mps);
                        printf(" MPS=0x%lx",efi_tables[i].table);
                        i++;
                }
@@ -616,25 +609,25 @@ dom_fw_init (struct domain *d, const cha
 
                if (efi.acpi20) {
                        efi_tables[i].guid = ACPI_20_TABLE_GUID;
-                       efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, 
__pa(efi.acpi20));
+                       efi_tables[i].table = __pa(efi.acpi20);
                        printf(" ACPI 2.0=0x%lx",efi_tables[i].table);
                        i++;
                }
                if (efi.acpi) {
                        efi_tables[i].guid = ACPI_TABLE_GUID;
-                       efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, 
__pa(efi.acpi));
+                       efi_tables[i].table = __pa(efi.acpi);
                        printf(" ACPI=0x%lx",efi_tables[i].table);
                        i++;
                }
                if (efi.smbios) {
                        efi_tables[i].guid = SMBIOS_TABLE_GUID;
-                       efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, 
__pa(efi.smbios));
+                       efi_tables[i].table = __pa(efi.smbios);
                        printf(" SMBIOS=0x%lx",efi_tables[i].table);
                        i++;
                }
                if (efi.hcdp) {
                        efi_tables[i].guid = HCDP_TABLE_GUID;
-                       efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, 
__pa(efi.hcdp));
+                       efi_tables[i].table = __pa(efi.hcdp);
                        printf(" HCDP=0x%lx",efi_tables[i].table);
                        i++;
                }

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog