Lines Matching refs:eptp
2095 static inline void __invept(int ext, u64 eptp, gpa_t gpa) in __invept() argument
2098 u64 eptp, gpa; in __invept() member
2099 } operand = {eptp, gpa}; in __invept()
2270 static inline void ept_sync_context(u64 eptp) in ept_sync_context() argument
2273 __invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0); in ept_sync_context()
5309 u64 eptp = VMX_EPTP_MT_WB; in construct_eptp() local
5311 eptp |= (get_ept_level(vcpu) == 5) ? VMX_EPTP_PWL_5 : VMX_EPTP_PWL_4; in construct_eptp()
5315 eptp |= VMX_EPTP_AD_ENABLE_BIT; in construct_eptp()
5316 eptp |= (root_hpa & PAGE_MASK); in construct_eptp()
5318 return eptp; in construct_eptp()
5325 u64 eptp; in vmx_set_cr3() local
5329 eptp = construct_eptp(vcpu, cr3); in vmx_set_cr3()
5330 vmcs_write64(EPT_POINTER, eptp); in vmx_set_cr3()
5334 to_vmx(vcpu)->ept_pointer = eptp; in vmx_set_cr3()
8956 u64 eptp, gpa; in handle_invept() member