SPTE_SPECIAL_MASK  349 arch/x86/kvm/mmu.c 	shadow_mmio_mask = mmio_mask | SPTE_SPECIAL_MASK;
SPTE_SPECIAL_MASK  378 arch/x86/kvm/mmu.c 	return (spte & SPTE_SPECIAL_MASK) != SPTE_AD_DISABLED_MASK;
SPTE_SPECIAL_MASK  384 arch/x86/kvm/mmu.c 	return (spte & SPTE_SPECIAL_MASK) != SPTE_AD_ENABLED_MASK;
SPTE_SPECIAL_MASK  440 arch/x86/kvm/mmu.c 	BUILD_BUG_ON((MMIO_SPTE_GEN_HIGH_MASK | MMIO_SPTE_GEN_LOW_MASK) & SPTE_SPECIAL_MASK);
SPTE_SPECIAL_MASK  527 arch/x86/kvm/mmu.c 	BUG_ON(acc_track_mask & SPTE_SPECIAL_MASK);