1.1 --- a/xen/arch/ia64/vmx/vmmu.c	Thu Apr 13 13:46:50 2006 -0600
     1.2 +++ b/xen/arch/ia64/vmx/vmmu.c	Thu Apr 13 14:08:30 2006 -0600
     1.3 @@ -523,8 +523,8 @@ IA64FAULT vmx_vcpu_thash(VCPU *vcpu, UIN
     1.4      vmx_vcpu_get_pta(vcpu, &vpta.val);
     1.5      vcpu_get_rr(vcpu, vadr, &vrr.rrval);
     1.6      if(vpta.vf){
     1.7 -        panic("THASH,Don't support long format VHPT");
     1.8          *pval = ia64_call_vsa(PAL_VPS_THASH,vadr,vrr.rrval,vpta.val,0,0,0,0);
     1.9 +        *pval = vpta.val & ~0xffff;
    1.10      }else{
    1.11          vhpt_offset=((vadr>>vrr.ps)<<3)&((1UL<<(vpta.size))-1);
    1.12          *pval = (vadr&VRN_MASK)|
    1.13 @@ -542,7 +542,6 @@ IA64FAULT vmx_vcpu_ttag(VCPU *vcpu, UINT
    1.14      vmx_vcpu_get_pta(vcpu, &vpta.val);
    1.15      vcpu_get_rr(vcpu, vadr, &vrr.rrval);
    1.16      if(vpta.vf){
    1.17 -        panic("THASH,Don't support long format VHPT");
    1.18          *pval = ia64_call_vsa(PAL_VPS_TTAG,vadr,vrr.rrval,0,0,0,0,0);
    1.19      }else{
    1.20          *pval = 1;