Searched refs:active_vcpus (Results 1 – 4 of 4) sorted by relevance
30 atomic_inc(&p2m_get_altp2m(v)->active_vcpus); in altp2m_vcpu_initialise()47 atomic_dec(&p2m->active_vcpus); in altp2m_vcpu_destroy()
240 _atomic_set(&p2m->active_vcpus, 0); in p2m_init_altp2m()2014 atomic_dec(&p2m_get_altp2m(v)->active_vcpus); in p2m_switch_vcpu_altp2m_by_id()2016 atomic_inc(&p2m_get_altp2m(v)->active_vcpus); in p2m_switch_vcpu_altp2m_by_id()2253 if ( !_atomic_read(p2m->active_vcpus) ) in p2m_destroy_altp2m_by_id()2291 atomic_dec(&p2m_get_altp2m(v)->active_vcpus); in p2m_switch_domain_altp2m_by_id()2293 atomic_inc(&p2m_get_altp2m(v)->active_vcpus); in p2m_switch_domain_altp2m_by_id()
235 atomic_t active_vcpus; member
3764 atomic_dec(&p2m_get_altp2m(v)->active_vcpus); in vmx_vmexit_handler()3766 atomic_inc(&p2m_get_altp2m(v)->active_vcpus); in vmx_vmexit_handler()
Completed in 17 milliseconds