set_watchdog_timer
set_watchdog_timer(prev, spu); /* Step 4. */
set_watchdog_timer(next, spu); /* Step 26. */
void *set_watchdog_timer;
u32 set_watchdog_timer;