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