TIMER_PTIMER
case TIMER_PTIMER:
case TIMER_PTIMER:
case TIMER_PTIMER:
(void *)TIMER_PTIMER));
idx = TIMER_PTIMER;
[TIMER_PTIMER] = 30,
case TIMER_PTIMER:
case TIMER_PTIMER:
case TIMER_PTIMER:
case TIMER_PTIMER:
case TIMER_PTIMER:
tmr = TIMER_PTIMER;
tmr = TIMER_PTIMER;
tmr = TIMER_PTIMER;
tmr = TIMER_PTIMER;
tmr = TIMER_PTIMER;
tmr = TIMER_PTIMER;
tmr = TIMER_PTIMER;
tmr = TIMER_PTIMER;
#define vcpu_ptimer(v) (&(v)->arch.timer_cpu.timers[TIMER_PTIMER])