MMIO_SPTE_GEN_HIGH_MASK  440 arch/x86/kvm/mmu.c 	BUILD_BUG_ON((MMIO_SPTE_GEN_HIGH_MASK | MMIO_SPTE_GEN_LOW_MASK) & SPTE_SPECIAL_MASK);
MMIO_SPTE_GEN_HIGH_MASK  443 arch/x86/kvm/mmu.c 	mask |= (gen << MMIO_SPTE_GEN_HIGH_START) & MMIO_SPTE_GEN_HIGH_MASK;
MMIO_SPTE_GEN_HIGH_MASK  452 arch/x86/kvm/mmu.c 	gen |= (spte & MMIO_SPTE_GEN_HIGH_MASK) >> MMIO_SPTE_GEN_HIGH_START;