Searched refs:eptp (Results 1 – 1 of 1) sorted by relevance
2095 static inline void __invept(int ext, u64 eptp, gpa_t gpa) in __invept() argument2098 u64 eptp, gpa; in __invept() member2099 } operand = {eptp, gpa}; in __invept()2270 static inline void ept_sync_context(u64 eptp) in ept_sync_context() argument2273 __invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0); in ept_sync_context()5309 u64 eptp = VMX_EPTP_MT_WB; in construct_eptp() local5311 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()[all …]
