Symbol: kcov_remote_reset
kernel/kcov.c
428
kcov_remote_reset(kcov);
kernel/kcov.c
443
kcov_remote_reset(kcov);