profile_task_exit   71 include/linux/profile.h void profile_task_exit(struct task_struct * task);
profile_task_exit  716 kernel/exit.c  	profile_task_exit(tsk);