Searched refs:eptp (Results 1 – 6 of 6) sorted by relevance
/xen-4.10.0-shim-comet/xen/include/asm-x86/hvm/vmx/ |
A D | vmx.h | 455 static always_inline void __invept(unsigned long type, u64 eptp, u64 gpa) in __invept() argument 458 u64 eptp, gpa; in __invept() member 459 } operand = {eptp, gpa}; in __invept() 596 unsigned int p2m_find_altp2m_by_eptp(struct domain *d, uint64_t eptp);
|
A D | vmcs.h | 54 u64 eptp; member
|
/xen-4.10.0-shim-comet/xen/arch/x86/mm/ |
A D | p2m-ept.c | 1380 d->arch.altp2m_eptp[i] = ept->eptp; in p2m_init_altp2m_ept() 1383 unsigned int p2m_find_altp2m_by_eptp(struct domain *d, uint64_t eptp) in p2m_find_altp2m_by_eptp() argument 1399 if ( eptp == ept->eptp ) in p2m_find_altp2m_by_eptp()
|
/xen-4.10.0-shim-comet/xen/arch/x86/hvm/vmx/ |
A D | vmcs.c | 1251 __vmwrite(EPT_POINTER, ept->eptp); in construct_vmcs() 1604 static void vmx_vcpu_update_eptp(struct vcpu *v, u64 eptp) in vmx_vcpu_update_eptp() argument 1607 __vmwrite(EPT_POINTER, eptp); in vmx_vcpu_update_eptp() 1623 vmx_vcpu_update_eptp(v, p2m->ept.eptp); in vmx_domain_update_eptp()
|
A D | vvmx.c | 1117 return ept->eptp; in get_shadow_eptp() 1122 return p2m_get_hostp2m(v->domain)->ept.eptp; in get_host_eptp() 1929 unsigned long eptp; in nvmx_handle_invept() local 1932 if ( (ret = decode_vmx_inst(regs, &decode, &eptp, 0)) != X86EMUL_OKAY ) in nvmx_handle_invept() 1939 np2m_flush_base(current, eptp); in nvmx_handle_invept()
|
A D | vmx.c | 2167 __vmwrite(EPT_POINTER, ept->eptp); in vmx_vcpu_update_eptp() 3580 unsigned long eptp; in vmx_vmexit_handler() local 3582 __vmread(EPT_POINTER, &eptp); in vmx_vmexit_handler() 3584 if ( (idx = p2m_find_altp2m_by_eptp(v->domain, eptp)) == in vmx_vmexit_handler() 4281 __invept(INVEPT_SINGLE_CONTEXT, ept->eptp, 0); in vmx_vmenter_helper()
|
Completed in 23 milliseconds