Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 key->quotalen
UNITS 1 key unit_byte
HALF_LOCKED2 &volume->volsync_lock