1.1 --- a/xen/arch/x86/hvm/vmx/vmcs.c	Wed Feb 13 14:03:58 2008 +0000
     1.2 +++ b/xen/arch/x86/hvm/vmx/vmcs.c	Wed Feb 13 16:25:32 2008 +0000
     1.3 @@ -338,8 +338,6 @@ void vmx_vmcs_enter(struct vcpu *v)
     1.4      if ( likely(v == current) )
     1.5          return;
     1.6  
     1.7 -    BUG_ON(vcpu_runnable(v));
     1.8 -
     1.9      fv = &this_cpu(foreign_vmcs);
    1.10  
    1.11      if ( fv->v == v )
    1.12 @@ -370,8 +368,6 @@ void vmx_vmcs_exit(struct vcpu *v)
    1.13      if ( likely(v == current) )
    1.14          return;
    1.15  
    1.16 -    BUG_ON(vcpu_runnable(v));
    1.17 -
    1.18      fv = &this_cpu(foreign_vmcs);
    1.19      BUG_ON(fv->v != v);
    1.20      BUG_ON(fv->count == 0);