Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/file.c fuse_direct_IO() -> __fuse_direct_read()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
PARAM_VALUE 0 io->async 0-1
PARAM_VALUE 0 io->bytes (-1)
PARAM_VALUE 0 io->err 0
PARAM_VALUE 0 io->iocb 4096-ptr_max
PARAM_VALUE 0 io->iocb->ki_filp 4096-ptr_max
PARAM_VALUE 0 io->offset s64min-9223372036854775806
PARAM_VALUE 0 io->reqs 1
PARAM_VALUE 0 io->size 0
PARAM_VALUE 0 io->write 0
PARAM_VALUE 1 iter 4096-ptr_max
PARAM_VALUE 1 iter->data_source 0
PARAM_VALUE 2 ppos 8639320129230266368
PARAM_VALUE 2 *ppos s64min-9223372036854775806
BUF_SIZE 0 io 232
BUF_SIZE 0 io->done (-1),96
BUF_SIZE 0 io->iocb (-1),48
DATA_SOURCE 0 io r _kmalloc_noprof
DATA_SOURCE 1 iter $1
NOSPEC 1 iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 io->iocb->ki_flags 0-s32max[c][u]
USER_DATA 0 io->iocb->ki_ioprio 0-u16max
USER_DATA 0 io->iocb->ki_pos s64min-(-2),0-s64max
USER_DATA 0 io->offset 0-9223372036854775806,9223372036854775808-18446744073709551614
USER_DATA 1 iter->count 0-u64max
USER_DATA 1 iter->iov_offset 0-u64max[c]
USER_DATA 2 *ppos s64min-(-2),0-9223372036854775806
USER_PTR 2 ppos
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &iocb->ki_filp->f_inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/fuse/file.c fuse_direct_read_iter() -> __fuse_direct_read()

Type Parameter Key Value
PARAM_VALUE 0 io 7517308075540197376
PARAM_VALUE 0 io->async 0
PARAM_VALUE 0 io->blocking 0
PARAM_VALUE 0 io->bytes 0
PARAM_VALUE 0 io->done 0
PARAM_VALUE 0 io->err 0
PARAM_VALUE 0 io->iocb 4096-ptr_max
PARAM_VALUE 0 io->offset 0
PARAM_VALUE 0 io->refcnt.refcount.refs.counter 1
PARAM_VALUE 0 io->reqs 0
PARAM_VALUE 0 io->should_dirty 0
PARAM_VALUE 0 io->size 0
PARAM_VALUE 0 io->write 0
PARAM_VALUE 2 ppos 4096-ptr_max
DATA_SOURCE 1 iter $1
NOSPEC 1 iter->count
NOSPEC 2 *ppos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 iter->count 1-1000000000
USER_DATA 1 iter->iov_offset 0-u64max[c]
USER_DATA 2 *ppos 0-13442450941
USER_PTR 2 ppos
HALF_LOCKED2 &pool->lock