Symbol: kcov_remote_enter
sys/dev/usb/uhub.c
841
kcov_remote_enter(KCOV_REMOTE_VHCI,
sys/sys/kcov.h
69
void kcov_remote_enter(uint64_t, uint64_t);