Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->cumul_error.responded 1
PARAM_VALUE 0 op->estate 4096-ptr_max
PARAM_VALUE 0 op->fetch.subreq 4096-ptr_max
PARAM_VALUE 0 op->fetch.subreq->rreq 4096-ptr_max
PARAM_VALUE 0 op->key 4096-ptr_max
PARAM_VALUE 0 op->ops 8379933260634849280
PARAM_VALUE 0 op->volume 0,4096-ptr_max
PARAM_VALUE 0 op->volume->cell->fs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 op->volume->cell->fs_lock.first_waiter->type 0-1
PARAM_VALUE 0 op->volume->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 op->volume->cell->vs_lock.first_waiter->type 0-1
BUF_SIZE 0 op 664
BUF_SIZE 0 op->ops 56
DATA_SOURCE 0 op r afs_alloc_operation
NOSPEC 0 op->fetch.subreq->io_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 op->fetch.subreq->io_iter.count 0-9223372036854775806[c]
USER_DATA 0 op->fetch.subreq->io_iter.iov_offset 0-u64max[c]
USER_DATA 0 op->fetch.subreq->len 0-9223372036854775806[c]
USER_DATA 0 op->fetch.subreq->start 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 op->key->quotalen

fs/afs/file.c afs_read_receive() -> afs_issue_read_call()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->call 0
PARAM_VALUE 0 op->cumul_error.responded 1
PARAM_VALUE 0 op->estate 4096-ptr_max
PARAM_VALUE 0 op->flags 0,2-u32max
PARAM_VALUE 0 op->volume->cell->fs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 op->volume->cell->fs_lock.first_waiter->type 0-1
PARAM_VALUE 0 op->volume->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 op->volume->cell->vs_lock.first_waiter->type 0-1
NOCHECK_CALL