myri10ge_watchdog
static void myri10ge_watchdog(void *arg);
mgp->timer_id = timeout(myri10ge_watchdog, mgp,
mgp->timer_id = timeout(myri10ge_watchdog, mgp,
mgp->timer_id = timeout(myri10ge_watchdog, mgp,