Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/afs/volume.c afs_alloc_volume() -> afs_alloc_server_list()

Type Parameter Key Value
PARAM_VALUE 0 volume 4096-ptr_max
PARAM_VALUE 0 volume->cb_check_lock.dep_map->name 0-255
PARAM_VALUE 0 volume->cb_check_lock.first_waiter 0
PARAM_VALUE 0 volume->cb_check_lock.magic 4096-ptr_max
PARAM_VALUE 0 volume->cb_check_lock.osq.tail.counter 0
PARAM_VALUE 0 volume->cb_check_lock.owner.counter 0
PARAM_VALUE 0 volume->cb_v_break_lock.magic 3736018669
PARAM_VALUE 0 volume->cb_v_break_lock.owner (-1)
PARAM_VALUE 0 volume->cb_v_break_lock.owner_cpu u32max
PARAM_VALUE 0 volume->cell 4096-ptr_max
PARAM_VALUE 0 volume->cell->fs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 volume->cell->fs_lock.first_waiter->type 0-1
PARAM_VALUE 0 volume->cell->net->cells_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 volume->cell->net->cells_lock.first_waiter->type 0-1
PARAM_VALUE 0 volume->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 volume->cell->vs_lock.first_waiter->type 0-1
PARAM_VALUE 0 volume->creation_time s64min
PARAM_VALUE 0 volume->open_mmaps.next 4096-ptr_max
PARAM_VALUE 0 volume->open_mmaps.next->next 4096-ptr_max
PARAM_VALUE 0 volume->open_mmaps.prev 4096-ptr_max
PARAM_VALUE 0 volume->open_mmaps.prev->next 4096-ptr_max
PARAM_VALUE 0 volume->open_mmaps.prev->prev 4096-ptr_max
PARAM_VALUE 0 volume->open_mmaps_lock.count.counter 0
PARAM_VALUE 0 volume->open_mmaps_lock.dep_map->name 0-255
PARAM_VALUE 0 volume->open_mmaps_lock.first_waiter 0
PARAM_VALUE 0 volume->open_mmaps_lock.magic 4096-ptr_max
PARAM_VALUE 0 volume->open_mmaps_lock.owner.counter 0
PARAM_VALUE 0 volume->proc_link.next 0
PARAM_VALUE 0 volume->proc_link.pprev 0
PARAM_VALUE 0 volume->ref.refs.counter 1
PARAM_VALUE 0 volume->servers_lock.magic 3736018669
PARAM_VALUE 0 volume->servers_lock.owner (-1)
PARAM_VALUE 0 volume->servers_lock.owner_cpu u32max
PARAM_VALUE 0 volume->type_force 0-1
PARAM_VALUE 0 volume->update_time s64min
PARAM_VALUE 0 volume->vid 0-u32max
PARAM_VALUE 0 volume->vids 4096-ptr_max
PARAM_VALUE 0 volume->volsync_lock.dep_map->name 0-255
PARAM_VALUE 0 volume->volsync_lock.first_waiter 0
PARAM_VALUE 0 volume->volsync_lock.magic 4096-ptr_max
PARAM_VALUE 0 volume->volsync_lock.osq.tail.counter 0
PARAM_VALUE 0 volume->volsync_lock.owner.counter 0
PARAM_VALUE 1 key 4096-ptr_max
PARAM_VALUE 1 key->user->qnbytes s32min-s32max
PARAM_VALUE 1 key->user->qnkeys s32min-s32max
PARAM_VALUE 2 vldb 4096-ptr_max
PARAM_VALUE 2 vldb->vid 4096-ptr_max
BUF_SIZE 0 volume 968
BUF_SIZE 0 volume->cell (-1),8-513,960
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 1 key (-1)-s32max
DATA_SOURCE 0 volume r _kzalloc_noprof
DATA_SOURCE 2 vldb $1
STR_LEN 0 volume->cell (-1),9
BIT_INFO 0 volume->debug_id 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 key->quotalen
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &net->cells_alias_lock

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

Type Parameter Key Value
PARAM_VALUE 0 volume 4096-ptr_max
PARAM_VALUE 0 volume->cell->fs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 volume->cell->fs_lock.first_waiter->type 0-1
PARAM_VALUE 0 volume->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 volume->cell->vs_lock.first_waiter->type 0-1
PARAM_VALUE 1 key->sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 key->sem.first_waiter->type 0-1
DATA_SOURCE 0 volume $0
DATA_SOURCE 1 key $1
DATA_SOURCE 2 vldb r afs_vl_lookup_vldb
PARAM_COMPARE 2 vldb->name_len == $0->name_len
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 key->quotalen
UNITS 1 key unit_byte
HALF_LOCKED2 &volume->volsync_lock