taglinefilesource code
pino139fs/pipe.cstatic int pipe_ioctl(struct inode *pino, struct file * filp,
pino148fs/pipe.cput_user(PIPE_SIZE(*pino),(int *) arg);