tick_resume       504 kernel/time/tick-common.c void tick_resume(void)
tick_resume        95 kernel/time/tick-internal.h static inline void tick_resume(void) { }