Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/cachefiles/interface.c cachefiles_put_object() -> fscache_put_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->volume->cache->ops->invalidate_cookie 4096-ptr_max
PARAM_VALUE 0 cookie->volume->cache->ops->prepare_to_write 4096-ptr_max
PARAM_VALUE 1 where 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/netfs/fscache_cookie.c __fscache_queue_cookie() -> fscache_put_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->volume->cache->ops->invalidate_cookie 4096-ptr_max
PARAM_VALUE 0 cookie->volume->cache->ops->prepare_to_write 4096-ptr_max
PARAM_VALUE 1 where 13
CAPPED_DATA 0 cookie 1
CAPPED_DATA 0 &cookie->work 1
DATA_SOURCE 0 cookie $0
NOSPEC 0 cookie->object_size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cookie->object_size (-9223372036854775807)-(-4),0-s64max
HALF_LOCKED2 0 &cookie->lock

fs/netfs/fscache_cookie.c __fscache_relinquish_cookie() -> fscache_put_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->hash_link.next 0,4096-ptr_max
PARAM_VALUE 0 cookie->hash_link.pprev 4096-ptr_max
PARAM_VALUE 0 cookie->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->n_active.counter 0
PARAM_VALUE 0 cookie->state 9
PARAM_VALUE 0 cookie->volume 4096-ptr_max
PARAM_VALUE 1 where 14
CAPPED_DATA 0 cookie 1
DATA_SOURCE 0 cookie $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/netfs/fscache_cookie.c fscache_cookie_drop_from_lru() -> fscache_put_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->commit_link.next->prev 4096-ptr_max
PARAM_VALUE 0 cookie->commit_link.prev->next 4096-ptr_max
PARAM_VALUE 0 cookie->volume->cache->ops->invalidate_cookie 4326305979280683008
PARAM_VALUE 0 cookie->volume->cache->ops->prepare_to_write 3772765655910715392
PARAM_VALUE 1 where 11
CAPPED_DATA 0 &cookie->commit_link 1
DATA_SOURCE 0 cookie $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/netfs/fscache_cookie.c fscache_cookie_lru_do_one() -> fscache_put_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->volume->cache->cache_link.next->prev 4096-ptr_max
PARAM_VALUE 0 cookie->volume->cache->cache_link.prev->next 4096-ptr_max
PARAM_VALUE 0 cookie->volume->cache_priv->cache->object_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_flags 0-4294967295
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_lockref.count s32min-s32max
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_parent->d_lockref.count 0
PARAM_VALUE 0 cookie->volume->cache_priv->vcookie->cache_priv 0
PARAM_VALUE 0 cookie->volume->proc_link.next->prev 4096-ptr_max
PARAM_VALUE 0 cookie->volume->proc_link.prev->next 4096-ptr_max
PARAM_VALUE 0 *cookie->volume->cache_priv->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *cookie->volume->cache_priv->dentry->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 where 11
DATA_SOURCE 0 cookie $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/netfs/fscache_cookie.c fscache_cookie_worker() -> fscache_put_cookie()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->cache_priv 0,4096-ptr_max
PARAM_VALUE 0 cookie->cache_priv->content_info 0
PARAM_VALUE 0 cookie->cache_priv->file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_flags 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_inode->i_count.counter s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_inode->i_rwsem.osq.tail.counter s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_flags 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_path.dentry->d_parent->d_lockref.count s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->file->f_task_work.func 5179756662909861888
PARAM_VALUE 0 cookie->cache_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->cache_priv->ondemand->ondemand_work.lockdep_map->name 0-255
PARAM_VALUE 0 cookie->cache_priv->ondemand->state 0,2-4294967295
PARAM_VALUE 0 cookie->cache_priv->volume->cache->gravecounter.counter s32min-s32max
PARAM_VALUE 0 cookie->cache_priv->volume->cache->msg_id_next 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->volume->cache->object_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->cache_priv->volume->cache->ondemand_ids.xa_flags 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->volume->cache->reqs.xa_flags 0-4294967295
PARAM_VALUE 0 cookie->cache_priv->volume->cache->reqs.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->commit_link.next->prev 4096-ptr_max
PARAM_VALUE 0 cookie->commit_link.prev->next 4096-ptr_max
PARAM_VALUE 0 cookie->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->state 0,3-5,9
PARAM_VALUE 0 cookie->volume->cache->cache_priv->object_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->volume->cache_priv->cache->object_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->volume->cache_priv->dentry->d_fsdata->d_inode->i_wb->dwork.work.function 1626621062881370112
PARAM_VALUE 0 cookie->volume->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 cookie->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 *cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *cookie->cache_priv->file->f_path.dentry->d_parent->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *cookie->volume->cache_priv->dentry->d_fsdata->name 0-255
PARAM_VALUE 1 where 16
CAPPED_DATA 0 cookie 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->state 0-8,10-u32max
PARAM_VALUE 0 cookie->volume->cache->ops->invalidate_cookie 4096-ptr_max
PARAM_VALUE 0 cookie->volume->cache->ops->prepare_to_write 4096-ptr_max
PARAM_VALUE 1 where 10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mdsc->snap_rwsem