1 #include <unistd.h>
2 #include "io_internal.h"
3 
io_getcookie(int64 d)4 void* io_getcookie(int64 d) {
5   io_entry* e;
6   e=iarray_get(&io_fds,d);
7   return e?e->cookie:0;
8 }
9