SYS_CNTP_CVAL     363 virt/kvm/arm/arch_timer.c 		ctx->cnt_cval = read_sysreg_el0(SYS_CNTP_CVAL);
SYS_CNTP_CVAL     437 virt/kvm/arm/arch_timer.c 		write_sysreg_el0(ctx->cnt_cval, SYS_CNTP_CVAL);