mv_set_timer
static void mv_set_timer(uint32_t, uint32_t);
mv_set_timer(wdt_softc->wdt_config->wdt_timer, ticks);
static void mv_set_timer(uint32_t, uint32_t);
mv_set_timer(WATCHDOG_TIMER_ARMV5, ticks);
mv_set_timer(0, val1);
mv_set_timer(1, INITIAL_TIMECOUNTER);