clocksource_touch_watchdog
clocksource_touch_watchdog();
extern void clocksource_touch_watchdog(void);