kcov_task_exit     28 include/linux/kcov.h void kcov_task_exit(struct task_struct *t);
kcov_task_exit    717 kernel/exit.c  	kcov_task_exit(tsk);