Lines Matching refs:cap
48 #define EPT_SUPPORTS_EXEC_ONLY(cap) ((cap) & (1UL << 0))
49 #define EPT_PWL4(cap) ((cap) & (1UL << 6))
50 #define EPT_MEMORY_TYPE_WB(cap) ((cap) & (1UL << 14))
51 #define EPT_PDE_SUPERPAGE(cap) ((cap) & (1UL << 16)) /* 2MB pages */
52 #define EPT_PDPTE_SUPERPAGE(cap) ((cap) & (1UL << 17)) /* 1GB pages */
53 #define INVEPT_SUPPORTED(cap) ((cap) & (1UL << 20))
54 #define AD_BITS_SUPPORTED(cap) ((cap) & (1UL << 21))
55 #define INVVPID_SUPPORTED(cap) ((cap) & (1UL << 32))
58 #define INVVPID_ALL_TYPES_SUPPORTED(cap) \
59 (((cap) & INVVPID_ALL_TYPES_MASK) == INVVPID_ALL_TYPES_MASK)
62 #define INVEPT_ALL_TYPES_SUPPORTED(cap) \
63 (((cap) & INVEPT_ALL_TYPES_MASK) == INVEPT_ALL_TYPES_MASK)
81 uint64_t cap;
83 cap = rdmsr(MSR_VMX_EPT_VPID_CAP);
92 if (!EPT_PWL4(cap) ||
93 !EPT_MEMORY_TYPE_WB(cap) ||
94 !INVVPID_SUPPORTED(cap) ||
95 !INVVPID_ALL_TYPES_SUPPORTED(cap) ||
96 !INVEPT_SUPPORTED(cap) ||
97 !INVEPT_ALL_TYPES_SUPPORTED(cap))
104 if (use_superpages && EPT_PDE_SUPERPAGE(cap))
109 if (use_hw_ad_bits && AD_BITS_SUPPORTED(cap))
116 if (use_exec_only && EPT_SUPPORTS_EXEC_ONLY(cap))