On 21/01/20 18:24, Ben Gardon wrote:> BUILD_BUG_ON((MMIO_SPTE_GEN_HIGH_MASK |> MMIO_SPTE_GEN_LOW_MASK) & SPTE_SPECIAL_MASK)> Yes, this is a better assertion. I've replaced it in the patch.Paolo