wait_badstatus    277 user/testbin/badcall/bad_waitpid.c 	wait_badstatus(NULL, "wait with NULL status");
wait_badstatus    278 user/testbin/badcall/bad_waitpid.c 	wait_badstatus(INVAL_PTR, "wait with invalid pointer status");
wait_badstatus    279 user/testbin/badcall/bad_waitpid.c 	wait_badstatus(KERN_PTR, "wait with kernel pointer status");