Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/afs/server.c afs_lookup_server() -> afs_put_server()

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 server 4096-ptr_max
PARAM_VALUE 1 server->timer.entry.pprev 0
PARAM_VALUE 1 server->timer.flags 0-4194302
PARAM_VALUE 1 server->timer.function 0
PARAM_VALUE 2 reason 13
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/afs/server.c afs_server_destroyer() -> afs_put_server()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->fs_lock.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 net->fs_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 1 server 4096-ptr_max
PARAM_VALUE 1 server->cell 4096-ptr_max
PARAM_VALUE 1 server->cell->fs_lock.dep_map->name 0-255
PARAM_VALUE 1 server->cell->fs_lock.first_waiter->handoff_set 1
PARAM_VALUE 1 server->cell->fs_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 server->cell->fs_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 server->cell->fs_lock.first_waiter->type 0-1
PARAM_VALUE 1 server->cell->fs_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 server->cell->fs_servers.rb_node 4096-ptr_max
PARAM_VALUE 1 server->cell->net 4096-ptr_max
PARAM_VALUE 1 server->cell->net->fs_lock.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 server->cell->net->fs_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 1 server->endpoint_state 0,4096-ptr_max
PARAM_VALUE 1 server->endpoint_state->addresses 4096-ptr_max
PARAM_VALUE 1 server->probe_link.next->prev 4096-ptr_max
PARAM_VALUE 1 server->probe_link.prev->next 4096-ptr_max
PARAM_VALUE 1 server->proc_link.pprev 0
PARAM_VALUE 1 server->uuid_rb.rb_left 0,4096-ptr_max
PARAM_VALUE 1 server->uuid_rb.rb_right 0,4096-ptr_max
PARAM_VALUE 2 reason 1
CAPPED_DATA 1 &server->timer 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/afs/server.c afs_unuse_server() -> afs_put_server()

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 server 4096-ptr_max
PARAM_VALUE 2 reason 13-14
DATA_SOURCE 0 net $0
DATA_SOURCE 1 server $1
DATA_SOURCE 2 reason $2
HARD_MAX 2 reason 14
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cell->fs_lock

fs/afs/server.c afs_unuse_server_notime() -> afs_put_server()

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 server 4096-ptr_max
PARAM_VALUE 1 server->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 server->cell->vs_lock.first_waiter->type 0-1
PARAM_VALUE 2 reason 12,15
DATA_SOURCE 0 net $0
DATA_SOURCE 1 server $1
DATA_SOURCE 2 reason $2
HARD_MAX 2 reason 15
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/afs/fs_probe.c afs_dispatch_fs_probe() -> afs_put_server()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->fs_lock.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 net->fs_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 1 server 4096-ptr_max
PARAM_VALUE 1 server->probe_link.next->prev 4096-ptr_max
PARAM_VALUE 1 server->probe_link.prev->next 4096-ptr_max
PARAM_VALUE 2 reason 7
DATA_SOURCE 0 net $0
DATA_SOURCE 1 server $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL