debug_timer_deactivate  415 kernel/timer.c static inline void debug_timer_deactivate(struct timer_list *timer)
debug_timer_deactivate  443 kernel/timer.c static inline void debug_timer_deactivate(struct timer_list *timer) { }