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