error             571 kern/synchprobs/catmouse.c   int catindex, mouseindex, error;
error             661 kern/synchprobs/catmouse.c     error = thread_fork("cat_simulation thread", NULL, cat_simulation, NULL, catindex);
error             662 kern/synchprobs/catmouse.c     if (error) {
error             663 kern/synchprobs/catmouse.c       panic("cat_simulation: thread_fork failed: %s\n", strerror(error));
error             666 kern/synchprobs/catmouse.c       error = thread_fork("mouse_simulation thread", NULL, mouse_simulation, NULL, catindex);
error             667 kern/synchprobs/catmouse.c       if (error) {
error             668 kern/synchprobs/catmouse.c 	panic("mouse_simulation: thread_fork failed: %s\n",strerror(error));
error             674 kern/synchprobs/catmouse.c     error = thread_fork("mouse_simulation thread", NULL, mouse_simulation, NULL, mouseindex);
error             675 kern/synchprobs/catmouse.c     if (error) {
error             676 kern/synchprobs/catmouse.c       panic("mouse_simulation: thread_fork failed: %s\n",strerror(error));
error              46 user/testbin/badcall/driver.c finderror(int rv, int error)
error              49 user/testbin/badcall/driver.c 		return error;
error              57 user/testbin/badcall/driver.c report_survival(int rv, int error, const char *desc)
error              60 user/testbin/badcall/driver.c 	errno = finderror(rv, error);
error              65 user/testbin/badcall/driver.c report_test(int rv, int error, int right_error, const char *desc)
error              67 user/testbin/badcall/driver.c 	int goterror = finderror(rv, error);
error              82 user/testbin/badcall/driver.c report_test2(int rv, int error, int okerr1, int okerr2, const char *desc)
error              84 user/testbin/badcall/driver.c 	int goterror = finderror(rv, error);
error              35 user/testbin/badcall/test.h void report_survival(int rv, int error, const char *desc);
error              36 user/testbin/badcall/test.h void report_test(int rv, int error, int right_error, const char *desc);
error              37 user/testbin/badcall/test.h void report_test2(int rv, int error, int okerr1, int okerr2, const char *desc);