Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/netfs/fscache_cookie.c fscache_hash_cookie() -> fscache_cookie_same()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->advice 0-1
PARAM_VALUE 0 a->aux 1-u64max
PARAM_VALUE 0 a->aux_len 0,4,8,24,40
PARAM_VALUE 0 a->commit_link.next 4096-ptr_max
PARAM_VALUE 0 a->commit_link.next->next 4096-ptr_max
PARAM_VALUE 0 a->commit_link.prev 4096-ptr_max
PARAM_VALUE 0 a->commit_link.prev->next 4096-ptr_max
PARAM_VALUE 0 a->commit_link.prev->prev 4096-ptr_max
PARAM_VALUE 0 a->inline_aux 1-u64max
PARAM_VALUE 0 a->inline_key 4096-ptr_max
PARAM_VALUE 0 a->key 4096-ptr_max
PARAM_VALUE 0 a->key_len 1-255
PARAM_VALUE 0 a->proc_link.next 8487986129973424128
PARAM_VALUE 0 a->proc_link.prev 4096-ptr_max
PARAM_VALUE 0 a->ref.refs.counter 1
PARAM_VALUE 0 a->state 0
PARAM_VALUE 0 a->volume 1-u64max
PARAM_VALUE 1 b 4096-ptr_max
CAPPED_DATA 0 a->aux_len 1
CAPPED_DATA 0 a->key_len 1
CAPPED_DATA 0 a->volume 1
DATA_SOURCE 0 a $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 a->object_size
HALF_LOCKED2 &mdsc->snap_rwsem