INVAL_PTR         146 user/testbin/badcall/bad_execv.c 	exec_badprog(INVAL_PTR, "exec invalid pointer");
INVAL_PTR         152 user/testbin/badcall/bad_execv.c 	exec_badargs(INVAL_PTR, "exec /bin/true with invalid pointer arglist");
INVAL_PTR         155 user/testbin/badcall/bad_execv.c 	exec_onearg(INVAL_PTR, "exec /bin/true with invalid pointer arg");
INVAL_PTR          61 user/testbin/badcall/bad_ioctl.c 	one_ioctl_badbuf(fd, code, codename, INVAL_PTR, "invalid pointer");
INVAL_PTR          74 user/testbin/badcall/bad_pipe.c 	pipe_badptr(INVAL_PTR, "pipe with invalid pointer");
INVAL_PTR          87 user/testbin/badcall/bad_stat.c 	common_badbuf(statfunc, INVAL_PTR, call, "invalid pointer");
INVAL_PTR          69 user/testbin/badcall/bad_time.c 	time_badsecs(INVAL_PTR, "__time with invalid seconds pointer");
INVAL_PTR          72 user/testbin/badcall/bad_time.c 	time_badnsecs(INVAL_PTR, "__time with invalid nsecs pointer");
INVAL_PTR         278 user/testbin/badcall/bad_waitpid.c 	wait_badstatus(INVAL_PTR, "wait with invalid pointer status");
INVAL_PTR         197 user/testbin/badcall/common_buf.c 	common_badbuf(info, INVAL_PTR, "invalid");
INVAL_PTR         178 user/testbin/badcall/common_path.c 	common_badpath(func, mk, rm, INVAL_PTR, call, "invalid-pointer");