Home
last modified time | relevance | path

Searched refs:p2midx (Results 1 – 6 of 6) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/x86/mm/
A Daltp2m.c28 av->p2midx = INVALID_ALTP2M; in altp2m_vcpu_reset()
39 vcpu_altp2m(v).p2midx = 0; in altp2m_vcpu_initialise()
A Dp2m.c2174 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()
/xen-4.10.0-shim-comet/xen/include/asm-x86/
A Daltp2m.h38 return vcpu_altp2m(v).p2midx; in altp2m_vcpu_idx()
A Dp2m.h793 unsigned int index = vcpu_altp2m(v).p2midx; in p2m_get_altp2m()
/xen-4.10.0-shim-comet/xen/include/asm-x86/hvm/
A Dvcpu.h140 uint16_t p2midx; /* alternate p2m index */ member
/xen-4.10.0-shim-comet/xen/arch/x86/hvm/vmx/
A Dvmx.c2171 __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