Searched refs:p2midx (Results 1 – 6 of 6) sorted by relevance
28 av->p2midx = INVALID_ALTP2M; in altp2m_vcpu_reset()39 vcpu_altp2m(v).p2midx = 0; in altp2m_vcpu_initialise()
2174 if ( idx != vcpu_altp2m(v).p2midx ) in p2m_switch_vcpu_altp2m_by_id()2177 vcpu_altp2m(v).p2midx = idx; in p2m_switch_vcpu_altp2m_by_id()2359 if ( idx != vcpu_altp2m(v).p2midx ) in p2m_switch_domain_altp2m_by_id()2362 vcpu_altp2m(v).p2midx = idx; in p2m_switch_domain_altp2m_by_id()
38 return vcpu_altp2m(v).p2midx; in altp2m_vcpu_idx()
793 unsigned int index = vcpu_altp2m(v).p2midx; in p2m_get_altp2m()
140 uint16_t p2midx; /* alternate p2m index */ member
2171 __vmwrite(EPTP_INDEX, vcpu_altp2m(v).p2midx); in vmx_vcpu_update_eptp()2248 veinfo->eptp_index = vcpu_altp2m(v).p2midx; in vmx_vcpu_emulate_ve()3592 if ( idx != vcpu_altp2m(v).p2midx ) in vmx_vmexit_handler()3596 vcpu_altp2m(v).p2midx = idx; in vmx_vmexit_handler()
Completed in 20 milliseconds