Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fuse/file.c fuse_send_read() -> fuse_async_req_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | ia | 4096-ptr_max |
| PARAM_VALUE | 1 | ia->ap.args.in_numargs | 1 |
| PARAM_VALUE | 1 | ia->ap.args.opcode | 15,28,44 |
| PARAM_VALUE | 1 | ia->ap.args.out_argvar | 1 |
| PARAM_VALUE | 1 | ia->ap.args.out_numargs | 1 |
| PARAM_VALUE | 1 | ia->ap.descs | 0-ptr_max |
| PARAM_VALUE | 1 | ia->ap.folios | 16,4096-ptr_max |
| PARAM_VALUE | 1 | ia->io | 4096-ptr_max |
| PARAM_VALUE | 1 | ia->io->async | 1 |
| PARAM_VALUE | 1 | ia->io->bytes | (-1)-0 |
| PARAM_VALUE | 1 | ia->io->err | 0 |
| PARAM_VALUE | 1 | ia->io->iocb | 4096-ptr_max |
| PARAM_VALUE | 1 | ia->io->iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 1 | ia->io->iocb->ki_filp->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | ia->io->reqs | 0-1 |
| PARAM_VALUE | 1 | ia->io->size | 0 |
| BUF_SIZE | 1 | ia | 256 |
| BUF_SIZE | 1 | ia->io | (-1),232 |
| CAPPED_DATA | 1 | ia | 1 |
| DATA_SOURCE | 1 | ia | $0 |
| DATA_SOURCE | 2 | num_bytes | $2 |
| NOSPEC | 2 | num_bytes | |
| NOSPEC | 2 | num_bytes | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | ia->io->offset | 0-18446744073709551614 |
| USER_DATA | 1 | ia->read.in.offset | 0-u64max |
| USER_DATA | 1 | ia->read.in.size | 0-4294959104[c] |
| USER_DATA | 2 | num_bytes | 0-4294959104[c] |
| UNITS | 0 | fm | unit_byte |
| UNITS | 2 | num_bytes | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &iocb->ki_filp->f_inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
fs/fuse/file.c fuse_send_write() -> fuse_async_req_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fm | 4096-ptr_max |
| PARAM_VALUE | 1 | ia | 4096-ptr_max |
| PARAM_VALUE | 1 | ia->ap.args.in_numargs | 2 |
| PARAM_VALUE | 1 | ia->ap.args.opcode | 16 |
| PARAM_VALUE | 1 | ia->ap.args.out_numargs | 1 |
| PARAM_VALUE | 1 | ia->ap.descs | 0-ptr_max |
| PARAM_VALUE | 1 | ia->ap.folios | 16,4096-ptr_max |
| PARAM_VALUE | 1 | ia->io | 4096-ptr_max |
| PARAM_VALUE | 1 | ia->io->async | 1 |
| PARAM_VALUE | 1 | ia->io->bytes | (-1)-0 |
| PARAM_VALUE | 1 | ia->io->err | 0 |
| PARAM_VALUE | 1 | ia->io->iocb | 4096-ptr_max |
| PARAM_VALUE | 1 | ia->io->iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 1 | ia->io->reqs | 0-1 |
| PARAM_VALUE | 1 | ia->io->size | 0 |
| BUF_SIZE | 1 | ia | 256 |
| BUF_SIZE | 1 | ia->io | (-1),232 |
| CAPPED_DATA | 1 | ia | 1 |
| DATA_SOURCE | 1 | ia | $0 |
| DATA_SOURCE | 2 | num_bytes | $2 |
| CAPABLE | 0 | 4 | |
| NOSPEC | 2 | num_bytes | |
| NOSPEC | 2 | num_bytes | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | ia->io->offset | 0-18446744073709551614 |
| USER_DATA | 1 | ia->write.in.offset | 0-u64max |
| USER_DATA | 1 | ia->write.in.size | 0-u32max |
| USER_DATA | 2 | num_bytes | 0-4294959104[c] |
| UNITS | 0 | fm | unit_byte |
| UNITS | 2 | num_bytes | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &iocb->ki_filp->f_inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |