kobj_close
kobj_close(fd);
kobj_close(fd);
kobj_close(file->_fd);
kobj_close(fd);
kobj_close(fd);
extern void kobj_close(intptr_t);
(void) kobj_close(fd);
(void) kobj_close(fd);
(void) kobj_close(fd);
(void) kobj_close(fd);
(void) kobj_close(fd);
(void) kobj_close(fd);
kobj_close(fd);