TIMER_REG_TVAL    289 arch/arm/kvm/coproc.c 					   TIMER_PTIMER, TIMER_REG_TVAL, val);
TIMER_REG_TVAL    292 arch/arm/kvm/coproc.c 						TIMER_PTIMER, TIMER_REG_TVAL);
TIMER_REG_TVAL   1049 arch/arm64/kvm/sys_regs.c 		treg = TIMER_REG_TVAL;
TIMER_REG_TVAL    806 virt/kvm/arm/arch_timer.c 	case TIMER_REG_TVAL:
TIMER_REG_TVAL    853 virt/kvm/arm/arch_timer.c 	case TIMER_REG_TVAL: