Searched refs:active_cpu (Results 1 – 2 of 2) sorted by relevance
587 if ( vmx->active_cpu == smp_processor_id() ) in __vmx_clear_vmcs()593 vmx->active_cpu = -1; in __vmx_clear_vmcs()605 int cpu = v->arch.hvm.vmx.active_cpu; in vmx_clear_vmcs()617 if ( v->arch.hvm.vmx.active_cpu == -1 ) in vmx_load_vmcs()620 v->arch.hvm.vmx.active_cpu = smp_processor_id(); in vmx_load_vmcs()623 ASSERT(v->arch.hvm.vmx.active_cpu == smp_processor_id()); in vmx_load_vmcs()1812 vmx->active_cpu = -1; in vmx_create_vmcs()1859 if ( v->arch.hvm.vmx.active_cpu == smp_processor_id() ) in vmx_do_resume()1876 int cpu = v->arch.hvm.vmx.active_cpu; in vmx_do_resume()
122 int active_cpu; member
Completed in 30 milliseconds