okerr1 82 user/testbin/badcall/driver.c report_test2(int rv, int error, int okerr1, int okerr2, const char *desc)
okerr1 85 user/testbin/badcall/driver.c if (goterror == okerr1 || goterror == okerr2) {
okerr1 37 user/testbin/badcall/test.h void report_test2(int rv, int error, int okerr1, int okerr2, const char *desc);