profile_tick 92 include/linux/profile.h static inline void profile_tick(int type) profile_tick 406 kernel/profile.c void profile_tick(int type)