Symbol: kcov_task_reset
kernel/kcov.c
389
kcov_task_reset(t);
kernel/kcov.c
426
kcov_task_reset(t);