Symbol: kcov_reset
kernel/kcov.c
419
kcov_reset(kcov);
kernel/kcov.c
430
kcov_reset(kcov);