Searched refs:eptp (Results 1 – 1 of 1) sorted by relevance
1286 static inline void __invept(int ext, u64 eptp, gpa_t gpa) in __invept() argument1289 u64 eptp, gpa; in __invept() member1290 } operand = {eptp, gpa}; in __invept()1443 static inline void ept_sync_context(u64 eptp) in ept_sync_context() argument1447 __invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0); in ept_sync_context()3750 u64 eptp; in construct_eptp() local3753 eptp = VMX_EPT_DEFAULT_MT | in construct_eptp()3756 eptp |= VMX_EPT_AD_ENABLE_BIT; in construct_eptp()3757 eptp |= (root_hpa & PAGE_MASK); in construct_eptp()3759 return eptp; in construct_eptp()[all …]