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