Searched refs:veinfo_gfn (Results 1 – 4 of 4) sorted by relevance
29 av->veinfo_gfn = INVALID_GFN; in altp2m_vcpu_reset()
141 gfn_t veinfo_gfn; /* #VE information page gfn */ member
2200 mfn = get_gfn_query_unlocked(d, gfn_x(vcpu_altp2m(v).veinfo_gfn), &t); in vmx_vcpu_update_vmfunc_ve()2232 gfn_t gfn = vcpu_altp2m(v).veinfo_gfn; in vmx_vcpu_emulate_ve()
4588 if ( !gfn_eq(vcpu_altp2m(curr).veinfo_gfn, INVALID_GFN) || in do_altp2m_op()4596 vcpu_altp2m(curr).veinfo_gfn = _gfn(a.u.enable_notify.gfn); in do_altp2m_op()
Completed in 18 milliseconds