Searched defs:eptp (Results 1 – 1 of 1) sorted by relevance
914 static inline void __invept(int ext, u64 eptp, gpa_t gpa) in __invept()917 u64 eptp, gpa; in __invept() member1018 static inline void ept_sync_context(u64 eptp) in ept_sync_context()1028 static inline void ept_sync_individual_addr(u64 eptp, gpa_t gpa) in ept_sync_individual_addr()3003 u64 eptp; in construct_eptp() local3016 u64 eptp; in vmx_set_cr3() local