TIMER_REG_CVAL    328 arch/arm/kvm/coproc.c 					   TIMER_PTIMER, TIMER_REG_CVAL, val);
TIMER_REG_CVAL    331 arch/arm/kvm/coproc.c 						TIMER_PTIMER, TIMER_REG_CVAL);
TIMER_REG_CVAL   1059 arch/arm64/kvm/sys_regs.c 		treg = TIMER_REG_CVAL;
TIMER_REG_CVAL    742 virt/kvm/arm/arch_timer.c 		kvm_arm_timer_write(vcpu, timer, TIMER_REG_CVAL, value);
TIMER_REG_CVAL    750 virt/kvm/arm/arch_timer.c 		kvm_arm_timer_write(vcpu, timer, TIMER_REG_CVAL, value);
TIMER_REG_CVAL    785 virt/kvm/arm/arch_timer.c 					  vcpu_vtimer(vcpu), TIMER_REG_CVAL);
TIMER_REG_CVAL    794 virt/kvm/arm/arch_timer.c 					  vcpu_ptimer(vcpu), TIMER_REG_CVAL);
TIMER_REG_CVAL    815 virt/kvm/arm/arch_timer.c 	case TIMER_REG_CVAL:
TIMER_REG_CVAL    861 virt/kvm/arm/arch_timer.c 	case TIMER_REG_CVAL: