Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/afs/vl_alias.c afs_query_for_alias() -> afs_query_for_alias_one()

Type Parameter Key Value
PARAM_VALUE 0 cell 4096-ptr_max
PARAM_VALUE 0 cell->anonymous_key->user->qnbytes s32min-s32max
PARAM_VALUE 0 cell->key_desc 4096-ptr_max
PARAM_VALUE 0 cell->net 4096-ptr_max
PARAM_VALUE 0 cell->net->cells_alias_lock.dep_map->name 0-255
PARAM_VALUE 0 cell->net->cells_alias_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cell->net->cells_alias_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 cell->net->cells_alias_lock.wait_lock.dep_map->name 0-255
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->proc_cells_lock.dep_map->name 0-255
PARAM_VALUE 0 cell->net->proc_cells_lock.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 cell->net->proc_cells_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cell->net->proc_cells_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 cell->net->proc_cells_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 key 4096-ptr_max
PARAM_VALUE 1 key->sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 key->sem.first_waiter->type 0-1
PARAM_VALUE 1 key->user->qnbytes s32min-s32max
PARAM_VALUE 1 key->user->qnkeys s32min-s32max
PARAM_VALUE 2 p 4096-ptr_max
PARAM_VALUE 2 p->alias_of 0
PARAM_VALUE 2 p->root_volume 0
BUF_SIZE 0 cell (-1),8-513,960
BUF_SIZE 0 cell (-1),8-513,960
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 1 key (-1)-s32max
CAPPED_DATA 0 cell 1
CAPPED_DATA 0 &cell->net->proc_cells_lock 1
DATA_SOURCE 0 cell $0
DATA_SOURCE 1 key $1
PARAM_COMPARE 0 cell != $2
PARAM_COMPARE 0 cell != $2
PARAM_COMPARE 2 p != $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 cell->anonymous_key->quotalen
NO_OVERFLOW_SIMPLE 1 key->quotalen
LOCK2 &net->cells_alias_lock
HALF_LOCKED2 &fc->uapi_mutex
TYPE_LOCK (struct afs_net)->cells_alias_lock