in src/kernel_interface.c [118:128]
static void free_iovec (struct iovec *iov, int iovlen) { int i = 0; for (i = 0; i <= iovlen; i+=2) { if (iov[i].iov_base) free(iov[i].iov_base); } free(iov); }