HDCR               40 arch/arm/kvm/hyp/switch.c 	val = read_sysreg(HDCR);
HDCR               43 arch/arm/kvm/hyp/switch.c 	write_sysreg(val, HDCR);
HDCR               61 arch/arm/kvm/hyp/switch.c 	val = read_sysreg(HDCR);
HDCR               62 arch/arm/kvm/hyp/switch.c 	write_sysreg(val & ~(HDCR_TPM | HDCR_TPMCR), HDCR);