HDCR_TPM           41 arch/arm/kvm/hyp/switch.c 	val |= HDCR_TPM | HDCR_TPMCR; /* trap performance monitors */
HDCR_TPM           62 arch/arm/kvm/hyp/switch.c 	write_sysreg(val & ~(HDCR_TPM | HDCR_TPMCR), HDCR);