Searched refs:active_cpu (Results 1 – 2 of 2) sorted by relevance
524 if ( arch_vmx->active_cpu == smp_processor_id() ) in __vmx_clear_vmcs()530 arch_vmx->active_cpu = -1; in __vmx_clear_vmcs()542 int cpu = v->arch.hvm_vmx.active_cpu; in vmx_clear_vmcs()554 if ( v->arch.hvm_vmx.active_cpu == -1 ) in vmx_load_vmcs()557 v->arch.hvm_vmx.active_cpu = smp_processor_id(); in vmx_load_vmcs()560 ASSERT(v->arch.hvm_vmx.active_cpu == smp_processor_id()); in vmx_load_vmcs()1638 arch_vmx->active_cpu = -1; in vmx_create_vmcs()1683 if ( v->arch.hvm_vmx.active_cpu == smp_processor_id() ) in vmx_do_resume()1700 int cpu = v->arch.hvm_vmx.active_cpu; in vmx_do_resume()
118 int active_cpu; member
Completed in 7 milliseconds