KERN_PTR          147 user/testbin/badcall/bad_execv.c 	exec_badprog(KERN_PTR, "exec kernel pointer");
KERN_PTR          153 user/testbin/badcall/bad_execv.c 	exec_badargs(KERN_PTR, "exec /bin/true with kernel pointer arglist");
KERN_PTR          156 user/testbin/badcall/bad_execv.c 	exec_onearg(KERN_PTR, "exec /bin/true with kernel pointer arg");
KERN_PTR           62 user/testbin/badcall/bad_ioctl.c 	one_ioctl_badbuf(fd, code, codename, KERN_PTR, "kernel pointer");
KERN_PTR           75 user/testbin/badcall/bad_pipe.c 	pipe_badptr(KERN_PTR, "pipe with kernel pointer");
KERN_PTR           88 user/testbin/badcall/bad_stat.c 	common_badbuf(statfunc, KERN_PTR, call, "kernel pointer");
KERN_PTR           70 user/testbin/badcall/bad_time.c 	time_badsecs(KERN_PTR, "__time with kernel seconds pointer");
KERN_PTR           73 user/testbin/badcall/bad_time.c 	time_badnsecs(KERN_PTR, "__time with kernel nsecs pointer");
KERN_PTR          279 user/testbin/badcall/bad_waitpid.c 	wait_badstatus(KERN_PTR, "wait with kernel pointer status");
KERN_PTR          198 user/testbin/badcall/common_buf.c 	common_badbuf(info, KERN_PTR, "kernel-space");
KERN_PTR          179 user/testbin/badcall/common_path.c 	common_badpath(func, mk, rm, KERN_PTR, call, "kernel-pointer");