Lines Matching refs:static_assert
35 static_assert(SPTE_TDP_AD_ENABLED == 0);
72 static_assert(!(SPTE_TDP_AD_MASK & SHADOW_ACC_TRACK_SAVED_MASK));
91 static_assert(!(EPT_SPTE_HOST_WRITABLE & SPTE_TDP_AD_MASK));
92 static_assert(!(EPT_SPTE_MMU_WRITABLE & SPTE_TDP_AD_MASK));
93 static_assert(!(EPT_SPTE_HOST_WRITABLE & SHADOW_ACC_TRACK_SAVED_MASK));
94 static_assert(!(EPT_SPTE_MMU_WRITABLE & SHADOW_ACC_TRACK_SAVED_MASK));
124 static_assert(!(SPTE_MMU_PRESENT_MASK &
138 static_assert(!(SPTE_MMIO_ALLOWED_MASK &
145 static_assert(MMIO_SPTE_GEN_LOW_BITS == 8 && MMIO_SPTE_GEN_HIGH_BITS == 11);
200 static_assert(!(REMOVED_SPTE & SPTE_MMU_PRESENT_MASK));