kcov_remote_register
kcov_remote_register(KCOV_REMOTE_VHCI,
void kcov_remote_register(uint64_t, uint64_t);