cnthctl_el2      1100 virt/kvm/arm/arch_timer.c 	val = read_sysreg(cnthctl_el2);
cnthctl_el2      1103 virt/kvm/arm/arch_timer.c 	write_sysreg(val, cnthctl_el2);
cnthctl_el2        28 virt/kvm/arm/hyp/timer-sr.c 	val = read_sysreg(cnthctl_el2);
cnthctl_el2        30 virt/kvm/arm/hyp/timer-sr.c 	write_sysreg(val, cnthctl_el2);
cnthctl_el2        45 virt/kvm/arm/hyp/timer-sr.c 	val = read_sysreg(cnthctl_el2);
cnthctl_el2        48 virt/kvm/arm/hyp/timer-sr.c 	write_sysreg(val, cnthctl_el2);