Searched refs:vcpu_altp2m (Results 1 – 6 of 6) sorted by relevance
29 vcpu_altp2m(v).p2midx = 0; in altp2m_vcpu_initialise()51 vcpu_altp2m(v).p2midx = INVALID_ALTP2M; in altp2m_vcpu_destroy()61 struct altp2mvcpu *a = &vcpu_altp2m(v); in altp2m_vcpu_enable_ve()110 struct altp2mvcpu *a = &vcpu_altp2m(v); in altp2m_vcpu_disable_ve()
2012 if ( idx != vcpu_altp2m(v).p2midx ) in p2m_switch_vcpu_altp2m_by_id()2015 vcpu_altp2m(v).p2midx = idx; in p2m_switch_vcpu_altp2m_by_id()2090 gfn_l, mfn_x(amfn), vcpu_altp2m(current).p2midx, rc); in p2m_altp2m_get_or_propagate()2289 if ( idx != vcpu_altp2m(v).p2midx ) in p2m_switch_domain_altp2m_by_id()2292 vcpu_altp2m(v).p2midx = idx; in p2m_switch_domain_altp2m_by_id()
42 return vcpu_altp2m(v).p2midx; in altp2m_vcpu_idx()
849 unsigned int index = vcpu_altp2m(v).p2midx; in p2m_get_altp2m()
150 #define vcpu_altp2m(v) ((v)->arch.hvm.avcpu) macro
2125 __vmwrite(EPTP_INDEX, vcpu_altp2m(v).p2midx); in vmx_vcpu_update_eptp()2151 const struct page_info *pg = vcpu_altp2m(v).veinfo_pg; in vmx_vcpu_update_vmfunc_ve()2160 __vmwrite(EPTP_INDEX, vcpu_altp2m(v).p2midx); in vmx_vcpu_update_vmfunc_ve()2189 const struct page_info *pg = vcpu_altp2m(v).veinfo_pg; in vmx_vcpu_emulate_ve()2204 veinfo->eptp_index = vcpu_altp2m(v).p2midx; in vmx_vcpu_emulate_ve()3761 if ( idx != vcpu_altp2m(v).p2midx ) in vmx_vmexit_handler()3765 vcpu_altp2m(v).p2midx = idx; in vmx_vmexit_handler()
Completed in 22 milliseconds