From: Alex Williamson <alex.williamson@hp.com>
Date: Tue, 30 Oct 2007 17:14:21 +0000 (-0600)
Subject: [IA64] Enable dbr for VTi domain
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14833
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=fd399fdfa72f27b6dc44ae7f5d966063f7ea06b0;p=xen.git

[IA64] Enable dbr for VTi domain

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
---

diff --git a/xen/arch/ia64/vmx/vmx_virt.c b/xen/arch/ia64/vmx/vmx_virt.c
index ce28f53ec9..d9a38d5c8c 100644
--- a/xen/arch/ia64/vmx/vmx_virt.c
+++ b/xen/arch/ia64/vmx/vmx_virt.c
@@ -939,7 +939,6 @@ static IA64FAULT vmx_emul_mov_to_rr(VCPU *vcpu, INST64 inst)
 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);