# HG changeset patch
# User tristan.gingold@xxxxxxxx
# Node ID faa3c20f6429a44df1f71a9befaddf5f3c4bf666
# Parent  79450354e4840e08c387620521598a5db0c2069c
Pseudo support of VHPT long format.

Signed-off-by: Tristan Gingold <tristan.gingold@xxxxxxxx>

diff -r 79450354e484 -r faa3c20f6429 xen/arch/ia64/vmx/vmmu.c
--- a/xen/arch/ia64/vmx/vmmu.c	Thu Apr 13 08:18:24 2006
+++ b/xen/arch/ia64/vmx/vmmu.c	Thu Apr 13 08:27:06 2006
@@ -523,8 +523,8 @@
     vmx_vcpu_get_pta(vcpu, &vpta.val);
     vcpu_get_rr(vcpu, vadr, &vrr.rrval);
     if(vpta.vf){
-        panic("THASH,Don't support long format VHPT");
         *pval = ia64_call_vsa(PAL_VPS_THASH,vadr,vrr.rrval,vpta.val,0,0,0,0);
+        *pval = vpta.val & ~0xffff;
     }else{
         vhpt_offset=((vadr>>vrr.ps)<<3)&((1UL<<(vpta.size))-1);
         *pval = (vadr&VRN_MASK)|
@@ -542,7 +542,6 @@
     vmx_vcpu_get_pta(vcpu, &vpta.val);
     vcpu_get_rr(vcpu, vadr, &vrr.rrval);
     if(vpta.vf){
-        panic("THASH,Don't support long format VHPT");
         *pval = ia64_call_vsa(PAL_VPS_TTAG,vadr,vrr.rrval,0,0,0,0,0);
     }else{
         *pval = 1;