TIMER_VTIMER       99 include/kvm/arm_arch_timer.h #define vcpu_vtimer(v)	(&(v)->arch.timer_cpu.timers[TIMER_VTIMER])
TIMER_VTIMER      239 virt/kvm/arm/arch_timer.c 		case TIMER_VTIMER:
TIMER_VTIMER      352 virt/kvm/arm/arch_timer.c 	case TIMER_VTIMER:
TIMER_VTIMER      431 virt/kvm/arm/arch_timer.c 	case TIMER_VTIMER: