Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

fs/cachefiles/interface.c cachefiles_lookup_cookie() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/cachefiles/interface.c cachefiles_lookup_cookie() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/cachefiles/interface.c cachefiles_resize_cookie() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ci->i_truncate_mutex
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem

fs/cachefiles/interface.c cachefiles_withdraw_cookie() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/cachefiles/cache.c cachefiles_add_cache() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache->cache (-1),64
BUF_SIZE 0 cache->graveyard (-1),1-s32max
BUF_SIZE 0 cache->store (-1),1-s32max
CAPPED_DATA 0 cache->bcull_percent 1
CAPPED_DATA 0 cache->bstop_percent 1
CAPPED_DATA 0 cache->fcull_percent 1
CAPPED_DATA 0 cache->fstop_percent 1
DATA_SOURCE 0 cache $0
NOCHECK_CALL
LOCK2 0 &cache->daemon_mutex
HALF_LOCKED2 &root->d_lockref.lock
TYPE_LOCK (struct cachefiles_cache)->daemon_mutex

fs/cachefiles/cache.c cachefiles_add_cache() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache->cache (-1),64
CAPPED_DATA 0 cache->bcull_percent 1
CAPPED_DATA 0 cache->bstop_percent 1
CAPPED_DATA 0 cache->fcull_percent 1
CAPPED_DATA 0 cache->fstop_percent 1
DATA_SOURCE 0 cache $0
NOCHECK_CALL
LOCK2 0 &cache->daemon_mutex
HALF_LOCKED2 &root->d_lockref.lock
TYPE_LOCK (struct cachefiles_cache)->daemon_mutex

fs/cachefiles/cache.c cachefiles_sync_cache() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache (-1),26
BUF_SIZE 0 cache (-1),26
CAPPED_DATA 0 &cache->mnt->mnt_sb->s_umount 1
DATA_SOURCE 0 cache $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/cachefiles/namei.c cachefiles_create_tmpfile() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
NOCHECK_CALL
LOCK2 &pool->lock

fs/cachefiles/daemon.c cachefiles_daemon_cull() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
DATA_SOURCE 0 cache $0
NOCHECK_CALL
LOCK2 0 &cache->daemon_mutex
TYPE_LOCK (struct cachefiles_cache)->daemon_mutex

fs/cachefiles/daemon.c cachefiles_daemon_inuse() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
DATA_SOURCE 0 cache $0
NOCHECK_CALL
LOCK2 0 &cache->daemon_mutex
TYPE_LOCK (struct cachefiles_cache)->daemon_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &cache->store->d_inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &cache->store->d_inode->i_rwsem

fs/cachefiles/io.c cachefiles_do_prepare_read() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/cachefiles/io.c cachefiles_issue_write() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/cachefiles/io.c cachefiles_prepare_write() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/cachefiles/xattr.c cachefiles_prepare_to_write() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/cachefiles/security.c cachefiles_determine_cache_security() -> cachefiles_end_secure()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
CAPPED_DATA 0 cache->bcull_percent 1
CAPPED_DATA 0 cache->bstop_percent 1
CAPPED_DATA 0 cache->fcull_percent 1
CAPPED_DATA 0 cache->fstop_percent 1
DATA_SOURCE 0 cache $0
NOCHECK_CALL
LOCK2 0 &cache->daemon_mutex
TYPE_LOCK (struct cachefiles_cache)->daemon_mutex