TIMER_REG_CNT     782 virt/kvm/arm/arch_timer.c 					  vcpu_vtimer(vcpu), TIMER_REG_CNT);
TIMER_REG_CNT     791 virt/kvm/arm/arch_timer.c 					  vcpu_vtimer(vcpu), TIMER_REG_CNT);
TIMER_REG_CNT     819 virt/kvm/arm/arch_timer.c 	case TIMER_REG_CNT: