kern_close
kern_close(td, fd);
kern_close(i);
kern_close(cfi->cfi_index);
e2 = kern_close(fd);
return(kern_close(uap->fd));
kern_close(sockv[0]);
kern_close(sockv[1]);
kern_close(fdp[j]);
int kern_close(int fd);