Symbol: kcov_remote_leave
sys/dev/usb/uhub.c
853
kcov_remote_leave(KCOV_REMOTE_VHCI,
sys/sys/kcov.h
70
void kcov_remote_leave(uint64_t, uint64_t);