SPTE_MMIO_ALLOWED_MASK
if (WARN_ON(mmio_mask & ~SPTE_MMIO_ALLOWED_MASK))
static_assert(!(SPTE_MMIO_ALLOWED_MASK &