Searched refs:eptp (Results 1 – 6 of 6) sorted by relevance
| /xen/xen/include/asm-x86/hvm/vmx/ |
| A D | vmx.h | 465 static always_inline void __invept(unsigned long type, uint64_t eptp) in __invept() argument
468 uint64_t eptp, rsvd; in __invept() member
469 } operand = { eptp }; in __invept()
606 unsigned int p2m_find_altp2m_by_eptp(struct domain *d, uint64_t eptp);
|
| A D | vmcs.h | 52 u64 eptp; member
|
| /xen/xen/arch/x86/mm/ |
| A D | p2m-ept.c | 1393 d->arch.altp2m_eptp[array_index_nospec(i, MAX_EPTP)] = ept->eptp; in p2m_init_altp2m_ept()
1394 d->arch.altp2m_visible_eptp[array_index_nospec(i, MAX_EPTP)] = ept->eptp; in p2m_init_altp2m_ept()
1397 unsigned int p2m_find_altp2m_by_eptp(struct domain *d, uint64_t eptp) in p2m_find_altp2m_by_eptp() argument
1413 if ( eptp == ept->eptp ) in p2m_find_altp2m_by_eptp()
|
| /xen/xen/arch/x86/hvm/vmx/ |
| A D | vmcs.c | 1313 __vmwrite(EPT_POINTER, ept->eptp); in construct_vmcs()
1778 static void vmx_vcpu_update_eptp(struct vcpu *v, u64 eptp) in vmx_vcpu_update_eptp() argument
1781 __vmwrite(EPT_POINTER, eptp); in vmx_vcpu_update_eptp()
1797 vmx_vcpu_update_eptp(v, p2m->ept.eptp); in vmx_domain_update_eptp()
|
| A D | vvmx.c | 1153 return ept->eptp; in get_shadow_eptp()
1158 return p2m_get_hostp2m(v->domain)->ept.eptp; in get_host_eptp()
2023 unsigned long eptp; in nvmx_handle_invept() local
2026 if ( (ret = decode_vmx_inst(regs, &decode, &eptp)) != X86EMUL_OKAY ) in nvmx_handle_invept()
2033 np2m_flush_base(current, eptp); in nvmx_handle_invept()
|
| A D | vmx.c | 2121 __vmwrite(EPT_POINTER, ept->eptp); in vmx_vcpu_update_eptp()
3747 unsigned long eptp; in vmx_vmexit_handler() local
3749 __vmread(EPT_POINTER, &eptp); in vmx_vmexit_handler()
3751 if ( (idx = p2m_find_altp2m_by_eptp(v->domain, eptp)) == in vmx_vmexit_handler()
4470 inv == 1 ? single->eptp : 0); in vmx_vmenter_helper()
|
Completed in 149 milliseconds