EBADF              54 user/testbin/badcall/bad_dup2.c 	report_test(rv, errno, EBADF, desc);
EBADF             144 user/testbin/badcall/common_fds.c 	report_test(rv, errno, EBADF, fulldesc);
EBADF              84 user/uw-testbin/files2/files2.c   TEST_EQUAL(saved_errno, EBADF, "Expected EBADF when writing to closed file f1");
EBADF              92 user/uw-testbin/files2/files2.c   TEST_EQUAL(saved_errno, EBADF, "Expected EBADF when reading from closed file f2");
EBADF              99 user/uw-testbin/files2/files2.c   TEST_EQUAL(saved_errno, EBADF, "Expected EBADF when closing invalid file fd");
EBADF             118 user/uw-testbin/files2/files2.c   TEST_EQUAL(saved_errno, EBADF, "Expected EBAD when trying to write to read only file");
EBADF             130 user/uw-testbin/files2/files2.c   TEST_EQUAL(saved_errno, EBADF, "Expected EBAD when trying to read from write only file");