pipe_badptr        73 user/testbin/badcall/bad_pipe.c 	pipe_badptr(NULL, "pipe with NULL pointer");
pipe_badptr        74 user/testbin/badcall/bad_pipe.c 	pipe_badptr(INVAL_PTR, "pipe with invalid pointer");
pipe_badptr        75 user/testbin/badcall/bad_pipe.c 	pipe_badptr(KERN_PTR, "pipe with kernel pointer");