ia64/xen-unstable

changeset 10378:db6dce7ae374

[IA64] Remove redundant ASSIGN_DOMAIN_MACH_PAGE in dom_fw.c

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
author awilliam@xenbuild.aw
date Wed Jun 14 16:05:42 2006 -0600 (2006-06-14)
parents e62685b48500
children adfc9aa684f9
files xen/arch/ia64/xen/dom_fw.c
line diff
     1.1 --- a/xen/arch/ia64/xen/dom_fw.c	Tue Jun 13 15:05:33 2006 -0600
     1.2 +++ b/xen/arch/ia64/xen/dom_fw.c	Wed Jun 14 16:05:42 2006 -0600
     1.3 @@ -596,18 +596,11 @@ dom_fw_init (struct domain *d, const cha
     1.4  		efi_tables[i].table = 0;
     1.5  	}
     1.6  	if (d == dom0) {
     1.7 -#ifdef CONFIG_XEN_IA64_DOM0_VP
     1.8 -# define ASSIGN_DOMAIN_MACH_PAGE(d, p) \
     1.9 -        assign_domain_mach_page((d), (p), PAGE_SIZE, ASSIGN_readonly)
    1.10 -#else
    1.11 -# define ASSIGN_DOMAIN_MACH_PAGE(d, p) (p)
    1.12 -#endif
    1.13 -
    1.14  		printf("Domain0 EFI passthrough:");
    1.15  		i = 1;
    1.16  		if (efi.mps) {
    1.17  			efi_tables[i].guid = MPS_TABLE_GUID;
    1.18 -			efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, __pa(efi.mps));
    1.19 +			efi_tables[i].table = __pa(efi.mps);
    1.20  			printf(" MPS=0x%lx",efi_tables[i].table);
    1.21  			i++;
    1.22  		}
    1.23 @@ -616,25 +609,25 @@ dom_fw_init (struct domain *d, const cha
    1.24  
    1.25  		if (efi.acpi20) {
    1.26  			efi_tables[i].guid = ACPI_20_TABLE_GUID;
    1.27 -			efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, __pa(efi.acpi20));
    1.28 +			efi_tables[i].table = __pa(efi.acpi20);
    1.29  			printf(" ACPI 2.0=0x%lx",efi_tables[i].table);
    1.30  			i++;
    1.31  		}
    1.32  		if (efi.acpi) {
    1.33  			efi_tables[i].guid = ACPI_TABLE_GUID;
    1.34 -			efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, __pa(efi.acpi));
    1.35 +			efi_tables[i].table = __pa(efi.acpi);
    1.36  			printf(" ACPI=0x%lx",efi_tables[i].table);
    1.37  			i++;
    1.38  		}
    1.39  		if (efi.smbios) {
    1.40  			efi_tables[i].guid = SMBIOS_TABLE_GUID;
    1.41 -			efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, __pa(efi.smbios));
    1.42 +			efi_tables[i].table = __pa(efi.smbios);
    1.43  			printf(" SMBIOS=0x%lx",efi_tables[i].table);
    1.44  			i++;
    1.45  		}
    1.46  		if (efi.hcdp) {
    1.47  			efi_tables[i].guid = HCDP_TABLE_GUID;
    1.48 -			efi_tables[i].table = ASSIGN_DOMAIN_MACH_PAGE(d, __pa(efi.hcdp));
    1.49 +			efi_tables[i].table = __pa(efi.hcdp);
    1.50  			printf(" HCDP=0x%lx",efi_tables[i].table);
    1.51  			i++;
    1.52  		}