Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/afs/server_list.c afs_alloc_server_list() -> afs_put_serverlist()

Type Parameter Key Value
PARAM_VALUE 0 net->cells_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 net->cells_lock.first_waiter->type 0-1
PARAM_VALUE 1 slist 4096-ptr_max
PARAM_VALUE 1 slist->lock.magic 3736018669
PARAM_VALUE 1 slist->lock.owner (-1)
PARAM_VALUE 1 slist->lock.owner_cpu u32max
PARAM_VALUE 1 slist->usage.refs.counter 1
BUF_SIZE 1 slist 112-103079215168
BUF_SIZE 1 slist 112-103079215168
DATA_SOURCE 1 slist r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/afs/rotate.c afs_select_fileserver() -> afs_put_serverlist()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 slist->nr_servers

fs/afs/fs_operation.c afs_put_operation() -> afs_put_serverlist()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &target->i_rwsem

fs/afs/volume.c afs_destroy_volume() -> afs_put_serverlist()

Type Parameter Key Value
PARAM_VALUE 1 slist 4096-ptr_max
PARAM_VALUE 1 slist->attached 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/afs/volume.c afs_update_volume_status() -> afs_put_serverlist()

Type Parameter Key Value
PARAM_VALUE 0 net->fs_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 net->fs_proc->first->pprev 1-u64max
PARAM_VALUE 0 net->fs_proc.first->pprev 4096-ptr_max
PARAM_VALUE 1 slist 4096-ptr_max
BUF_SIZE 1 slist (-1),112-s32max
BUF_SIZE 1 slist (-1),112-s32max
CAPPED_DATA 1 slist 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &volume->volsync_lock