SPTE_MMU_PRESENT_MASK
u64 spte = SPTE_MMU_PRESENT_MASK;
u64 spte = SPTE_MMU_PRESENT_MASK;
static_assert(!(SPTE_MMU_PRESENT_MASK &
(SPTE_MMU_PRESENT_MASK | MMIO_SPTE_GEN_LOW_MASK | MMIO_SPTE_GEN_HIGH_MASK)));
static_assert(!(SHADOW_NONPRESENT_VALUE & SPTE_MMU_PRESENT_MASK));
static_assert(!(FROZEN_SPTE & SPTE_MMU_PRESENT_MASK));
return !!(pte & SPTE_MMU_PRESENT_MASK);