ia64/xen-unstable

changeset 16213:c9535eb45a8b

[IA64] Enable dbr for VTi domain

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
author Alex Williamson <alex.williamson@hp.com>
date Tue Oct 30 11:14:21 2007 -0600 (2007-10-30)
parents 359484cee7d9
children c30eff01402a
files xen/arch/ia64/vmx/vmx_virt.c
line diff
     1.1 --- a/xen/arch/ia64/vmx/vmx_virt.c	Wed Oct 24 11:18:42 2007 -0600
     1.2 +++ b/xen/arch/ia64/vmx/vmx_virt.c	Tue Oct 30 11:14:21 2007 -0600
     1.3 @@ -939,7 +939,6 @@ static IA64FAULT vmx_emul_mov_to_rr(VCPU
     1.4  static IA64FAULT vmx_emul_mov_to_dbr(VCPU *vcpu, INST64 inst)
     1.5  {
     1.6      u64 r3,r2;
     1.7 -    return IA64_NO_FAULT;
     1.8  #ifdef  CHECK_FAULT
     1.9      IA64_PSR vpsr;
    1.10      vpsr.val=vmx_vcpu_get_psr(vcpu);