EBADF             505 src/dps8/dps8_mgp.c       if (s_errno != EBADF)
EBADF             573 src/dps8/dps8_mgp.c       if (s_errno != EBADF)
EBADF             588 src/dps8/dps8_mgp.c           if (s_errno != EBADF)
EBADF             674 src/dps8/dps8_mgp.c       if (s_errno != EBADF)
EBADF             692 src/dps8/dps8_mgp.c       if (s_errno != EBADF)
EBADF             726 src/dps8/dps8_mgp.c       if (s_errno != EBADF)
EBADF             752 src/dps8/dps8_mgp.c       if (s_errno != EBADF)
EBADF             791 src/dps8/dps8_mgp.c       if (s_errno != EBADF)
EBADF             497 src/dps8/dps8_net.c       if (s_errno != EBADF)
EBADF             564 src/dps8/dps8_net.c       if (s_errno != EBADF)
EBADF             579 src/dps8/dps8_net.c           if (s_errno != EBADF)
EBADF             632 src/dps8/dps8_net.c       if (s_errno != EBADF)
EBADF             650 src/dps8/dps8_net.c       if (s_errno != EBADF)
EBADF             683 src/dps8/dps8_net.c       if (s_errno != EBADF)
EBADF             696 src/dps8/dps8_net.c       if (s_errno != EBADF)
EBADF             719 src/dps8/dps8_net.c             if (s_errno != EBADF)
EBADF             532 src/dps8/dps8_socket_dev.c         set_error (& buffer[4], EBADF);
EBADF             583 src/dps8/dps8_socket_dev.c         _errno = EBADF;
EBADF             639 src/dps8/dps8_socket_dev.c         set_error (& buffer[4], EBADF);
EBADF             671 src/dps8/dps8_socket_dev.c         _errno = EBADF;
EBADF             721 src/dps8/dps8_socket_dev.c         set_error (& buffer[4], EBADF);
EBADF             764 src/dps8/dps8_socket_dev.c         set_error (& buffer[3], EBADF);
EBADF             606 src/dps8/fnpuv.c     if (ret < 0 && ret != -EBADF)
EBADF             644 src/dps8/fnpuv.c     if (ret < 0 && ret != -EBADF)
EBADF             189 src/dps8/uvutil.c     if (ret < 0 && ret != -EBADF)
EBADF              67 src/libsir/src/sirhelpers.c         return _sir_handleerr(EBADF);
EBADF              81 src/libsir/src/sirhelpers.c     return (-1 != ret || EBADF != errno) ? true : _sir_handleerr(errno);