MDCR_EL2_TPMS     114 arch/arm64/kvm/debug.c 				MDCR_EL2_TPMS |
MDCR_EL2_TPMS     210 arch/arm64/kvm/hyp/switch.c 		    MDCR_EL2_TPMS;