ia64/xen-unstable
changeset 16105:0badb22cde79
[IA64] Fix vmx_emul_mov_from_dbr/ibr()
dbr[] and ibr[] are confused.
Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
dbr[] and ibr[] are confused.
Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author | Alex Williamson <alex.williamson@hp.com> |
---|---|
date | Fri Oct 12 14:11:57 2007 -0600 (2007-10-12) |
parents | f0f4cd789eaa |
children | f5bc04410880 |
files | xen/arch/ia64/vmx/vmx_virt.c |
line diff
1.1 --- a/xen/arch/ia64/vmx/vmx_virt.c Fri Oct 12 14:10:02 2007 -0600 1.2 +++ b/xen/arch/ia64/vmx/vmx_virt.c Fri Oct 12 14:11:57 2007 -0600 1.3 @@ -1141,7 +1141,7 @@ static IA64FAULT vmx_emul_mov_from_dbr(V 1.4 return IA64_FAULT; 1.5 } 1.6 #endif //CHECK_FAULT 1.7 - res = vmx_vcpu_get_ibr(vcpu, r3, &r1); 1.8 + res = vmx_vcpu_get_dbr(vcpu, r3, &r1); 1.9 if (res != IA64_NO_FAULT) 1.10 return res; 1.11 return vcpu_set_gr(vcpu, inst.M43.r1, r1,0); 1.12 @@ -1181,7 +1181,7 @@ static IA64FAULT vmx_emul_mov_from_ibr(V 1.13 return IA64_FAULT; 1.14 } 1.15 #endif //CHECK_FAULT 1.16 - res = vmx_vcpu_get_dbr(vcpu, r3, &r1); 1.17 + res = vmx_vcpu_get_ibr(vcpu, r3, &r1); 1.18 if (res != IA64_NO_FAULT) 1.19 return res; 1.20 return vcpu_set_gr(vcpu, inst.M43.r1, r1,0);