exec_onearg       155 user/testbin/badcall/bad_execv.c 	exec_onearg(INVAL_PTR, "exec /bin/true with invalid pointer arg");
exec_onearg       156 user/testbin/badcall/bad_execv.c 	exec_onearg(KERN_PTR, "exec /bin/true with kernel pointer arg");