TIMER_VTIMER
if (timerid == TIMER_VTIMER)
case TIMER_VTIMER:
case TIMER_VTIMER:
case TIMER_VTIMER:
(void *)TIMER_VTIMER));
idx = TIMER_VTIMER;
case TIMER_VTIMER:
[TIMER_VTIMER] = 27,
case TIMER_VTIMER:
case TIMER_VTIMER:
case TIMER_VTIMER:
case TIMER_VTIMER:
tmr = TIMER_VTIMER;
tmr = TIMER_VTIMER;
tmr = TIMER_VTIMER;
tmr = TIMER_VTIMER;
tmr = TIMER_VTIMER;
tmr = TIMER_VTIMER;
tmr = TIMER_VTIMER;
tmr = TIMER_VTIMER;
#define vcpu_vtimer(v) (&(v)->arch.timer_cpu.timers[TIMER_VTIMER])