Rename do_pipe() to kern_pipe2() and declare it properly.