ia64/xen-unstable

changeset 8285:89a223305611

A small VMX code cleanup.

Signed-off-by: Eddie Dong <eddie.dong@intel.com>
author kaf24@firebug.cl.cam.ac.uk
date Thu Dec 08 15:25:44 2005 +0100 (2005-12-08)
parents 7557f0b4098c
children a08aef9f1c8e
files xen/arch/x86/vmx_io.c xen/arch/x86/vmx_vmcs.c
line diff
     1.1 --- a/xen/arch/x86/vmx_io.c	Thu Dec 08 15:24:02 2005 +0100
     1.2 +++ b/xen/arch/x86/vmx_io.c	Thu Dec 08 15:25:44 2005 +0100
     1.3 @@ -748,7 +748,7 @@ void vmx_check_events(struct vcpu *v)
     1.4  {
     1.5      /* clear the event *before* checking for work. This should avoid
     1.6         the set-and-check races */
     1.7 -    if (vmx_clear_pending_io_event(current))
     1.8 +    if (vmx_clear_pending_io_event(v))
     1.9          vmx_io_assist(v);
    1.10  }
    1.11  
     2.1 --- a/xen/arch/x86/vmx_vmcs.c	Thu Dec 08 15:24:02 2005 +0100
     2.2 +++ b/xen/arch/x86/vmx_vmcs.c	Thu Dec 08 15:25:44 2005 +0100
     2.3 @@ -243,9 +243,6 @@ static void vmx_setup_platform(struct do
     2.4  {
     2.5      struct vmx_platform *platform;
     2.6  
     2.7 -    if (!(VMX_DOMAIN(current) && (current->vcpu_id == 0)))
     2.8 -        return;
     2.9 -
    2.10      vmx_map_io_shared_page(d);
    2.11      vmx_set_vcpu_nr(d);
    2.12