Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/cachefiles/volume.c cachefiles_acquire_volume() -> cachefiles_set_volume_xattr()

Type Parameter Key Value
PARAM_VALUE 0 volume 4096-ptr_max
PARAM_VALUE 0 volume->cache 4096-ptr_max
PARAM_VALUE 0 volume->cache_link.next 4096-ptr_max
PARAM_VALUE 0 volume->cache_link.next->next 4096-ptr_max
PARAM_VALUE 0 volume->cache_link.prev 4096-ptr_max
PARAM_VALUE 0 volume->cache_link.prev->next 4096-ptr_max
PARAM_VALUE 0 volume->cache_link.prev->prev 4096-ptr_max
PARAM_VALUE 0 volume->dentry 0,4096-ptr_max
PARAM_VALUE 0 volume->dentry->d_hash.pprev 0
PARAM_VALUE 0 volume->dentry->d_inode 0
PARAM_VALUE 0 volume->dentry->waiters 0
PARAM_VALUE 0 volume->vcookie 4096-ptr_max
PARAM_VALUE 0 volume->vcookie->cache 4096-ptr_max
BUF_SIZE 0 volume 2088
BUF_SIZE 0 volume->cache s32min-(-2),1-s32max
BUF_SIZE 0 volume->dentry (-1),1-s32max
DATA_SOURCE 0 volume r _kzalloc_noprof
HALF_LOCKED2 &cache->store->d_inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/cachefiles/volume.c cachefiles_withdraw_volume() -> cachefiles_set_volume_xattr()

Type Parameter Key Value
PARAM_VALUE 0 volume 4096-ptr_max
PARAM_VALUE 0 volume->cache_link.next->prev 4096-ptr_max
PARAM_VALUE 0 volume->cache_link.prev->next 4096-ptr_max
PARAM_VALUE 0 volume->vcookie 4096-ptr_max
PARAM_VALUE 0 volume->vcookie->ref.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 volume $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL