# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Date 1190691034 -32400
# Node ID 5041a02c4913f435cbe264ad663ecc59cb0aa6fb
# Parent  771c51452a7553b502d31d0736d9d744320df8a0
fix vmx_emul_mov_from_dbr() and vmx_emul_mov_from_ibr().
dbr[] and ibr[] are confused.
PATCHNAME: fix_vmx_emul_mov_from_dbr_and_vmx_emul_mov_from_ibr

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 771c51452a75 -r 5041a02c4913 xen/arch/ia64/vmx/vmx_virt.c
--- a/xen/arch/ia64/vmx/vmx_virt.c	Mon Oct 01 17:25:27 2007 +0900
+++ b/xen/arch/ia64/vmx/vmx_virt.c	Tue Sep 25 12:30:34 2007 +0900
@@ -1141,7 +1141,7 @@ static IA64FAULT vmx_emul_mov_from_dbr(V
         return IA64_FAULT;
     }
 #endif  //CHECK_FAULT
-    res = vmx_vcpu_get_ibr(vcpu, r3, &r1);
+    res = vmx_vcpu_get_dbr(vcpu, r3, &r1);
     if (res != IA64_NO_FAULT)
         return res;
     return vcpu_set_gr(vcpu, inst.M43.r1, r1,0);
@@ -1181,7 +1181,7 @@ static IA64FAULT vmx_emul_mov_from_ibr(V
         return IA64_FAULT;
     }
 #endif  //CHECK_FAULT
-    res = vmx_vcpu_get_dbr(vcpu, r3, &r1);
+    res = vmx_vcpu_get_ibr(vcpu, r3, &r1);
     if (res != IA64_NO_FAULT)
         return res;
     return vcpu_set_gr(vcpu, inst.M43.r1, r1,0);