ia64/xen-unstable

diff xen/arch/ia64/vmx/vmx_virt.c @ 10695:6703fed8870f

[IA64] enable acceleration of external interrupt

This patch is to enable acceleration of externel interrupt
which is described in VTI spec.

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
author awilliam@xenbuild.aw
date Wed Jul 12 13:20:15 2006 -0600 (2006-07-12)
parents 550786d7d352
children 4834d1e8f26e
line diff
     1.1 --- a/xen/arch/ia64/vmx/vmx_virt.c	Tue Jul 11 12:56:27 2006 -0600
     1.2 +++ b/xen/arch/ia64/vmx/vmx_virt.c	Wed Jul 12 13:20:15 2006 -0600
     1.3 @@ -30,7 +30,6 @@
     1.4  #include <asm/vmx.h>
     1.5  #include <asm/virt_event.h>
     1.6  #include <asm/vmx_phy_mode.h>
     1.7 -extern void vhpi_detection(VCPU *vcpu);//temporarily place here,need a header file.
     1.8  
     1.9  void
    1.10  ia64_priv_decoder(IA64_SLOT_TYPE slot_type, INST64 inst, UINT64  * cause)
    1.11 @@ -1342,14 +1341,6 @@ IA64FAULT vmx_emul_mov_from_cr(VCPU *vcp
    1.12  }
    1.13  
    1.14  
    1.15 -static void post_emulation_action(VCPU *vcpu)
    1.16 -{
    1.17 -    if ( vcpu->arch.irq_new_condition ) {
    1.18 -        vcpu->arch.irq_new_condition = 0;
    1.19 -        vhpi_detection(vcpu);
    1.20 -    }
    1.21 -}
    1.22 -
    1.23  //#define  BYPASS_VMAL_OPCODE
    1.24  extern IA64_SLOT_TYPE  slot_types[0x20][3];
    1.25  IA64_BUNDLE __vmx_get_domain_bundle(u64 iip)
    1.26 @@ -1552,8 +1543,6 @@ if ( (cause == 0xff && opcode == 0x1e000
    1.27      }
    1.28  
    1.29      recover_if_physical_mode(vcpu);
    1.30 -    post_emulation_action (vcpu);
    1.31 -//TODO    set_irq_check(v);
    1.32      return;
    1.33  
    1.34  }