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