EBADF             531 src/dps8/dps8_socket_dev.c         set_error (& buffer[4], EBADF);
EBADF             581 src/dps8/dps8_socket_dev.c         _errno = EBADF;
EBADF             637 src/dps8/dps8_socket_dev.c         set_error (& buffer[4], EBADF);
EBADF             669 src/dps8/dps8_socket_dev.c         _errno = EBADF;
EBADF             719 src/dps8/dps8_socket_dev.c         set_error (& buffer[4], EBADF);
EBADF             762 src/dps8/dps8_socket_dev.c         set_error (& buffer[3], EBADF);
EBADF             593 src/dps8/fnpuv.c     if (ret < 0 && ret != -EBADF)
EBADF             631 src/dps8/fnpuv.c     if (ret < 0 && ret != -EBADF)
EBADF             189 src/dps8/uvutil.c     if (ret < 0 && ret != -EBADF)