Symbol: set_watchdog_timer
arch/powerpc/platforms/cell/spufs/switch.c
1791
set_watchdog_timer(prev, spu); /* Step 4. */
arch/powerpc/platforms/cell/spufs/switch.c
1959
set_watchdog_timer(next, spu); /* Step 26. */
drivers/firmware/efi/libstub/efistub.h
312
void *set_watchdog_timer;
drivers/firmware/efi/libstub/efistub.h
364
u32 set_watchdog_timer;