Lines Matching refs:eptp
1212 static inline void __invept(int ext, u64 eptp, gpa_t gpa) in __invept() argument
1215 u64 eptp, gpa; in __invept() member
1216 } operand = {eptp, gpa}; in __invept()
1369 static inline void ept_sync_context(u64 eptp) in ept_sync_context() argument
1373 __invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0); in ept_sync_context()
3608 u64 eptp; in construct_eptp() local
3611 eptp = VMX_EPT_DEFAULT_MT | in construct_eptp()
3614 eptp |= VMX_EPT_AD_ENABLE_BIT; in construct_eptp()
3615 eptp |= (root_hpa & PAGE_MASK); in construct_eptp()
3617 return eptp; in construct_eptp()
3623 u64 eptp; in vmx_set_cr3() local
3627 eptp = construct_eptp(cr3); in vmx_set_cr3()
3628 vmcs_write64(EPT_POINTER, eptp); in vmx_set_cr3()
7187 u64 eptp, gpa; in handle_invept() member