[Xen-ia64-devel] [PATCH] Enable dbr for VTi domain

[Kouya Shimura <kouya@xxxxxxxxxxxxxx>]

Enable dbr for VTi domain.

-- Kouya

Signed-off-by: Kouya Shimura <kouya@xxxxxxxxxxxxxx>

diff -r 359484cee7d9 xen/arch/ia64/vmx/vmx_virt.c
--- a/xen/arch/ia64/vmx/vmx_virt.c      Wed Oct 24 11:18:42 2007 -0600
+++ b/xen/arch/ia64/vmx/vmx_virt.c      Thu Oct 25 09:05:10 2007 +0900
@@ -939,7 +939,6 @@ static IA64FAULT vmx_emul_mov_to_dbr(VCP
 static IA64FAULT vmx_emul_mov_to_dbr(VCPU *vcpu, INST64 inst)
 {
     u64 r3,r2;
-    return IA64_NO_FAULT;
 #ifdef  CHECK_FAULT
     IA64_PSR vpsr;
     vpsr.val=vmx_vcpu_get_psr(vcpu);

_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel