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