Symbol: kcov_remote_leave
sys/kern/kern_task.c
446
kcov_remote_leave(KCOV_REMOTE_COMMON, work.t_process);
sys/kern/kern_timeout.c
698
kcov_remote_leave(KCOV_REMOTE_COMMON, kcov_process);
sys/sys/kcov.h
51
void kcov_remote_leave(int, void *);