Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/afs/cell.c afs_cell_purge() -> afs_queue_cell()

Type Parameter Key Value
PARAM_VALUE 0 cell 4096-ptr_max
PARAM_VALUE 1 reason 15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 cell unit_byte
LOCK2 &net->cells_lock
LOCK2 global &pernet_ops_rwsem
TYPE_LOCK (struct afs_net)->cells_lock

fs/afs/cell.c afs_lookup_cell() -> afs_queue_cell()

Type Parameter Key Value
PARAM_VALUE 0 cell 4096-ptr_max
PARAM_VALUE 0 cell->net_node.__rb_parent_color 1
PARAM_VALUE 0 cell->net_node.rb_left 4096-ptr_max
PARAM_VALUE 0 cell->net_node.rb_right 4096-ptr_max
PARAM_VALUE 1 reason 14
BUF_SIZE 0 cell (-1),8-513,960
BUF_SIZE 0 cell (-1),8-513,960
CAPPED_DATA 0 cell->name_len 1
CAPPED_DATA 0 &cell->net_node 1
STR_LEN 0 cell->net (-1)-1010101
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->cells_alias_lock

fs/afs/cell.c afs_manage_cell() -> afs_queue_cell()

Type Parameter Key Value
PARAM_VALUE 0 cell 4096-ptr_max
PARAM_VALUE 0 cell->active.counter 0
PARAM_VALUE 0 cell->net 4096-ptr_max
PARAM_VALUE 0 cell->net->cells_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 cell->net->cells_lock.first_waiter->type 0-1
PARAM_VALUE 0 cell->net->live 1
PARAM_VALUE 0 cell->state 0-2
PARAM_VALUE 0 cell->vl_servers 0,4096-ptr_max
PARAM_VALUE 1 reason 12
DATA_SOURCE 0 cell $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/afs/vl_rotate.c afs_start_vl_iteration() -> afs_queue_cell()

Type Parameter Key Value
PARAM_VALUE 0 cell 4096-ptr_max
PARAM_VALUE 0 cell->dns_expiry (-9223372036854775807)-s64max
PARAM_VALUE 0 cell->dns_source 1-255
PARAM_VALUE 1 reason 13
CAPPED_DATA 0 cell->dns_expiry 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->cells_alias_lock