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