kcov_finish_switch
#define kcov_finish_switch(t) \
static inline void kcov_finish_switch(struct task_struct *t) {}