set_watchdog_timer 1793 arch/powerpc/platforms/cell/spufs/switch.c 	set_watchdog_timer(prev, spu);	        /* Step 4. */
set_watchdog_timer 1961 arch/powerpc/platforms/cell/spufs/switch.c 	set_watchdog_timer(next, spu);	        /* Step 26. */
set_watchdog_timer  236 include/linux/efi.h 	u32 set_watchdog_timer;
set_watchdog_timer  284 include/linux/efi.h 	u64 set_watchdog_timer;
set_watchdog_timer  338 include/linux/efi.h 	void *set_watchdog_timer;