TIMER_RING_WATCHDOG
xenhcd_timer_action_done(info, TIMER_RING_WATCHDOG);
case TIMER_RING_WATCHDOG:
xenhcd_timer_action(info, TIMER_RING_WATCHDOG);
xenhcd_timer_action(info, TIMER_RING_WATCHDOG);
xenhcd_timer_action(info, TIMER_RING_WATCHDOG);