ia64/xen-unstable

diff xen/arch/ia64/vmx/vmx_phy_mode.c @ 18362:6607624285b2

[IA64] EFI mapping: restoring mapping correctly.

When swiching back from efi mapping, correctly switch back
depending on the current vcpu type.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author Isaku Yamahata <yamahata@valinux.co.jp>
date Mon Aug 25 19:04:37 2008 +0900 (2008-08-25)
parents 7da7b53b2139
children 3d96f88fb220
line diff
     1.1 --- a/xen/arch/ia64/vmx/vmx_phy_mode.c	Mon Aug 25 19:04:37 2008 +0900
     1.2 +++ b/xen/arch/ia64/vmx/vmx_phy_mode.c	Mon Aug 25 19:04:37 2008 +0900
     1.3 @@ -169,9 +169,7 @@ vmx_load_all_rr(VCPU *vcpu)
     1.4  	ia64_dv_serialize_data();
     1.5  	ia64_set_rr((VRN6 << VRN_SHIFT), vrrtomrr(vcpu, VMX(vcpu, vrr[VRN6])));
     1.6  	ia64_dv_serialize_data();
     1.7 -	vmx_switch_rr7(vrrtomrr(vcpu,VMX(vcpu, vrr[VRN7])),
     1.8 -                      (void *)vcpu->arch.vhpt.hash,
     1.9 -		       vcpu->arch.privregs);
    1.10 +	vmx_switch_rr7_vcpu(vcpu, vrrtomrr(vcpu, VMX(vcpu, vrr[VRN7])));
    1.11  	ia64_set_pta(VMX(vcpu, mpta));
    1.12  	vmx_ia64_set_dcr(vcpu);
    1.13