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