kcov_allocbuf
error = kcov_allocbuf(kd, KCOV_BUF_MAX_ENTRIES);
return kcov_allocbuf(kd, *((uint64_t *)args));