Searched refs:eptp (Results 1 – 1 of 1) sorted by relevance
1212 static inline void __invept(int ext, u64 eptp, gpa_t gpa) in __invept() argument1215 u64 eptp, gpa; in __invept() member1216 } operand = {eptp, gpa}; in __invept()1369 static inline void ept_sync_context(u64 eptp) in ept_sync_context() argument1373 __invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0); in ept_sync_context()3608 u64 eptp; in construct_eptp() local3611 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()[all …]