kcov_task_exit
static inline void kcov_task_exit(struct task_struct *t) {}
void kcov_task_exit(struct task_struct *t)