TIMER_REG_CTL     308 arch/arm/kvm/coproc.c 					   TIMER_PTIMER, TIMER_REG_CTL, val);
TIMER_REG_CTL     311 arch/arm/kvm/coproc.c 						TIMER_PTIMER, TIMER_REG_CTL);
TIMER_REG_CTL    1054 arch/arm64/kvm/sys_regs.c 		treg = TIMER_REG_CTL;
TIMER_REG_CTL     734 virt/kvm/arm/arch_timer.c 		kvm_arm_timer_write(vcpu, timer, TIMER_REG_CTL, value);
TIMER_REG_CTL     746 virt/kvm/arm/arch_timer.c 		kvm_arm_timer_write(vcpu, timer, TIMER_REG_CTL, value);
TIMER_REG_CTL     779 virt/kvm/arm/arch_timer.c 					  vcpu_vtimer(vcpu), TIMER_REG_CTL);
TIMER_REG_CTL     788 virt/kvm/arm/arch_timer.c 					  vcpu_ptimer(vcpu), TIMER_REG_CTL);
TIMER_REG_CTL     811 virt/kvm/arm/arch_timer.c 	case TIMER_REG_CTL:
TIMER_REG_CTL     857 virt/kvm/arm/arch_timer.c 	case TIMER_REG_CTL: