Lines Matching refs:eptp
1286 static inline void __invept(int ext, u64 eptp, gpa_t gpa) in __invept() argument
1289 u64 eptp, gpa; in __invept() member
1290 } operand = {eptp, gpa}; in __invept()
1443 static inline void ept_sync_context(u64 eptp) in ept_sync_context() argument
1447 __invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0); in ept_sync_context()
3750 u64 eptp; in construct_eptp() local
3753 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()
3765 u64 eptp; in vmx_set_cr3() local
3769 eptp = construct_eptp(cr3); in vmx_set_cr3()
3770 vmcs_write64(EPT_POINTER, eptp); in vmx_set_cr3()
7324 u64 eptp, gpa; in handle_invept() member