Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

fs/afs/file.c afs_fetch_data_notify() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
NOSPEC 0 subreq->io_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.count 0-9223372036854775806[c]
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-9223372036854775806[c]
USER_DATA 0 subreq->start 0-18446744073709551614

fs/afs/file.c afs_issue_read() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->error (-4095)-(-1)
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.next_head_slot 0-30
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->end_operation 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->issue_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write_subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->query_occupancy 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->netfs_ops 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->netfs_ops->issue_read 4096-ptr_max
BUF_SIZE 0 subreq->error (-1)-s32max
BUF_SIZE 0 subreq->rreq (-1)-s32max
DATA_SOURCE 0 subreq $0
NOSPEC 0 subreq->io_iter.count
NOSPEC 0 subreq->len
NOSPEC 0 subreq->rreq->buffer.iter.count
NOSPEC 0 subreq->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.count 0-9223372036854775806[c]
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-9223372036854775806[c]
USER_DATA 0 subreq->rreq->buffer.iter.count 1-1000000000
USER_DATA 0 subreq->rreq->buffer.iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->rreq->direct_bv_count 1-488284[c][u]
USER_DATA 0 subreq->rreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->start 0-18446744073709551614
USER_DATA 0 subreq->rreq->submitted 0-18446744073709551614
USER_DATA 0 subreq->start 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 subreq->rreq->i_size

fs/afs/file.c afs_issue_read() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->error (-512)
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.next_head_slot 0-30
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->end_operation 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->issue_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write_subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->query_occupancy 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->netfs_ops 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->netfs_ops->issue_read 4096-ptr_max
BUF_SIZE 0 subreq->rreq (-1)-s32max
DATA_SOURCE 0 subreq $0
NOSPEC 0 subreq->io_iter.count
NOSPEC 0 subreq->len
NOSPEC 0 subreq->rreq->buffer.iter.count
NOSPEC 0 subreq->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.count 0-9223372036854775806[c]
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-9223372036854775806[c]
USER_DATA 0 subreq->rreq->buffer.iter.count 1-1000000000
USER_DATA 0 subreq->rreq->buffer.iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->rreq->direct_bv_count 1-488284[c][u]
USER_DATA 0 subreq->rreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->start 0-18446744073709551614
USER_DATA 0 subreq->rreq->submitted 0-18446744073709551614
USER_DATA 0 subreq->start 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 subreq->rreq->i_size

fs/nfs/fscache.c nfs_netfs_issue_read() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->error (-12)
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.next_head_slot 0-30
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->end_operation 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->issue_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write_subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->query_occupancy 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->netfs_ops 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->netfs_ops->issue_read 4096-ptr_max
BUF_SIZE 0 subreq->rreq (-1)-s32max
DATA_SOURCE 0 subreq $0
NOSPEC 0 subreq->io_iter.count
NOSPEC 0 subreq->len
NOSPEC 0 subreq->rreq->buffer.iter.count
NOSPEC 0 subreq->start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 subreq->io_iter.count 0-9223372036854775806[c]
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-9223372036854775806[c]
USER_DATA 0 subreq->rreq->buffer.iter.count 1-1000000000
USER_DATA 0 subreq->rreq->buffer.iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->rreq->direct_bv_count 1-488284[c][u]
USER_DATA 0 subreq->rreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->start 0-18446744073709551614
USER_DATA 0 subreq->rreq->submitted 0-18446744073709551614
USER_DATA 0 subreq->start 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 subreq->rreq->i_size

fs/nfs/fscache.c nfs_netfs_put() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
CAPPED_DATA 0 subreq->transferred 1
BIT_INFO 0 subreq->transferred 0x0,0x7fffffffffffffff
NOSPEC 0 subreq->io_iter.count
NOSPEC 0 subreq->len
NOSPEC 0 subreq->start
NOSPEC 0 subreq->transferred
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.count 0-9223372036854775806[c]
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-9223372036854775806[c]
USER_DATA 0 subreq->start 0-18446744073709551614
USER_DATA 0 subreq->transferred 1-9223372036854775806[c]

fs/smb/client/smb2pdu.c smb2_readv_callback() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
NOCHECK_CALL

fs/9p/vfs_addr.c v9fs_issue_read() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.next_head_slot 0-30
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->end_operation 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->issue_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write_subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->query_occupancy 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_size s64min-(-1),1-s64max
PARAM_VALUE 0 subreq->rreq->netfs_ops 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->netfs_ops->issue_read 4096-ptr_max
BUF_SIZE 0 subreq->rreq (-1)-s32max
DATA_SOURCE 0 subreq $0
NOSPEC 0 subreq->io_iter.count
NOSPEC 0 subreq->len
NOSPEC 0 subreq->rreq->buffer.iter.count
NOSPEC 0 subreq->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.count 0-u64max
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-9223372036854775806[c]
USER_DATA 0 subreq->rreq->buffer.iter.count 1-1000000000
USER_DATA 0 subreq->rreq->buffer.iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->rreq->direct_bv_count 1-488284[c][u]
USER_DATA 0 subreq->rreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->start 0-18446744073709551614
USER_DATA 0 subreq->rreq->submitted 0-18446744073709551614
USER_DATA 0 subreq->start 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 subreq->rreq->i_size

fs/smb/client/file.c cifs_issue_read() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.next_head_slot 0-30
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->end_operation 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->issue_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write_subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->query_occupancy 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->netfs_ops 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->netfs_ops->issue_read 4096-ptr_max
BUF_SIZE 0 subreq->rreq (-1)-s32max
DATA_SOURCE 0 subreq $0
NOSPEC 0 subreq->io_iter.count
NOSPEC 0 subreq->len
NOSPEC 0 subreq->rreq->buffer.iter.count
NOSPEC 0 subreq->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.count 0-9223372036854775806[c]
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-9223372036854775806[c]
USER_DATA 0 subreq->rreq->buffer.iter.count 1-1000000000
USER_DATA 0 subreq->rreq->buffer.iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->rreq->direct_bv_count 1-488284[c][u]
USER_DATA 0 subreq->rreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->start 0-18446744073709551614
USER_DATA 0 subreq->rreq->submitted 0-18446744073709551614
USER_DATA 0 subreq->start 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 subreq->error
NO_OVERFLOW_SIMPLE 0 subreq->rreq->i_size

fs/netfs/read_collect.c netfs_cache_read_terminated() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
DATA_SOURCE 0 subreq $0
NOCHECK_CALL

fs/netfs/read_collect.c netfs_cancel_read() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->ref.refs.counter 2
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.next_head_slot 0-30
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->end_operation 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->issue_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write_subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->query_occupancy 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->netfs_ops 4096-ptr_max
PARAM_VALUE 0 subreq->rreq_link.next 4096-ptr_max
PARAM_VALUE 0 subreq->rreq_link.next->next 4096-ptr_max
PARAM_VALUE 0 subreq->rreq_link.prev->next 4096-ptr_max
PARAM_VALUE 0 subreq->rreq_link.prev->prev 4096-ptr_max
PARAM_VALUE 0 subreq->source 1-4
CAPPED_DATA 0 subreq->error 1
CAPPED_DATA 0 subreq->rreq->gfp 1
DATA_SOURCE 0 subreq $0
NOSPEC 0 subreq->len
NOSPEC 0 subreq->rreq->buffer.iter.count
NOSPEC 0 subreq->start
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->buffer.iter.count 1-1000000000
USER_DATA 0 subreq->rreq->buffer.iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->rreq->direct_bv_count 1-488284[c][u]
USER_DATA 0 subreq->rreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->start 0-18446744073709551614
USER_DATA 0 subreq->rreq->submitted 0-18446744073709551614
USER_DATA 0 subreq->start 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 subreq->rreq->direct_bv_count
NO_OVERFLOW_SIMPLE 0 subreq->rreq->i_size

fs/netfs/buffered_read.c netfs_issue_read() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->error 0
PARAM_VALUE 0 subreq->ref.refs.counter 2
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.head 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.head->vec.nr 0-61
PARAM_VALUE 0 subreq->rreq->buffer.iter.__iov 4096-u64max
PARAM_VALUE 0 subreq->rreq->buffer.iter.bvec 4096-u64max
PARAM_VALUE 0 subreq->rreq->buffer.iter.folioq 1-u64max
PARAM_VALUE 0 subreq->rreq->buffer.next_head_slot 0-30
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->end_operation 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->issue_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write_subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->query_occupancy 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->netfs_ops 4096-ptr_max
PARAM_VALUE 0 subreq->rreq_link.next 4096-ptr_max
PARAM_VALUE 0 subreq->rreq_link.next->next 4096-ptr_max
PARAM_VALUE 0 subreq->rreq_link.prev->next 4096-ptr_max
PARAM_VALUE 0 subreq->rreq_link.prev->prev 4096-ptr_max
PARAM_VALUE 0 subreq->source 1,4
CAPPED_DATA 0 subreq->len 1
CAPPED_DATA 0 subreq->rreq->gfp 1
CAPPED_DATA 0 subreq->transferred 1
DATA_SOURCE 0 subreq $1
NOSPEC 0 subreq->rreq->buffer.iter.count
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-17592186040320[c]
USER_DATA 0 subreq->rreq->buffer.iter.count 1-1000000000
USER_DATA 0 subreq->rreq->buffer.iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->rreq->direct_bv_count 1-488284[c][u]
USER_DATA 0 subreq->rreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->start 0-18446744073709551614
USER_DATA 0 subreq->rreq->submitted 0-18446744073709551614
USER_DATA 0 subreq->start 0-18446744073709551614
USER_DATA 0 subreq->transferred 0-17592186040320[c]
NO_OVERFLOW_SIMPLE 0 subreq->rreq->direct_bv_count
NO_OVERFLOW_SIMPLE 0 subreq->rreq->i_size
HALF_LOCKED2 &inode->i_rwsem

fs/ceph/addr.c ceph_netfs_issue_op_inline() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.next_head_slot 0-30
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->end_operation 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->issue_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write_subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->query_occupancy 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->netfs_ops 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->netfs_ops->issue_read 4096-ptr_max
DATA_SOURCE 0 subreq $0
NOSPEC 0 subreq->io_iter.count
NOSPEC 0 subreq->len
NOSPEC 0 subreq->rreq->buffer.iter.count
NOSPEC 0 subreq->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.count 0-9223372036854775806[c]
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-9223372036854775806[c]
USER_DATA 0 subreq->rreq->buffer.iter.count 1-1000000000
USER_DATA 0 subreq->rreq->buffer.iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->rreq->direct_bv_count 1-488284[c][u]
USER_DATA 0 subreq->rreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->start 0-18446744073709551614
USER_DATA 0 subreq->rreq->submitted 0-18446744073709551614
USER_DATA 0 subreq->start 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 subreq->rreq->i_size

fs/ceph/addr.c ceph_netfs_issue_read() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->buffer.next_head_slot 0-30
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->end_operation 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->issue_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->prepare_write_subreq 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->query_occupancy 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->read 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->cache_resources.ops->write 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 subreq->rreq->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 subreq->rreq->netfs_ops 4096-ptr_max
PARAM_VALUE 0 subreq->rreq->netfs_ops->issue_read 4096-ptr_max
BUF_SIZE 0 subreq->rreq (-1)-s32max
DATA_SOURCE 0 subreq $0
NOSPEC 0 subreq->io_iter.count
NOSPEC 0 subreq->io_iter.iov_offset
NOSPEC 0 subreq->len
NOSPEC 0 subreq->rreq->buffer.iter.count
NOSPEC 0 subreq->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 subreq->io_iter.count 0-u64max
USER_DATA 0 subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->len 0-9223372036854775806[c]
USER_DATA 0 subreq->rreq->buffer.iter.count 1-1000000000
USER_DATA 0 subreq->rreq->buffer.iter.iov_offset 0-u64max[c]
USER_DATA 0 subreq->rreq->direct_bv_count 1-488284[c][u]
USER_DATA 0 subreq->rreq->len 0-17592186040320
USER_DATA 0 subreq->rreq->start 0-18446744073709551614
USER_DATA 0 subreq->rreq->submitted 0-18446744073709551614
USER_DATA 0 subreq->start 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 subreq->rreq->i_size

fs/ceph/addr.c finish_netfs_read() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
BUF_SIZE 0 subreq 1-s32max
BUF_SIZE 0 subreq 1-s32max
NOSPEC 0 subreq->error
NOSPEC 0 subreq->transferred
NOCHECK_CALL
USER_DATA 0 subreq->error s16min-s16max[c]
USER_DATA 0 subreq->transferred 1-s32max[c]
UNITS 0 subreq unit_byte
HALF_LOCKED2 &pool->lock

fs/smb/client/cifssmb.c cifs_readv_callback() -> netfs_read_subreq_terminated()

Type Parameter Key Value
PARAM_VALUE 0 subreq 4096-ptr_max
PARAM_VALUE 0 subreq->error (-11),(-5),0
NOCHECK_CALL