clocksource_watchdog_unlock
static inline void clocksource_watchdog_unlock(unsigned long *flags)
static inline void clocksource_watchdog_unlock(unsigned long *flags) { }