profile_task_exit 127 include/linux/profile.h #define profile_task_exit(a) do { } while (0) profile_task_exit 119 kernel/profile.c void profile_task_exit(struct task_struct *task)