Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 0 cache->bcull 0
PARAM_VALUE 0 cache->bcull_percent 1-4294967294
PARAM_VALUE 0 cache->brun 0
PARAM_VALUE 0 cache->brun_percent 2-99
PARAM_VALUE 0 cache->bshift 0-63
PARAM_VALUE 0 cache->bstop 0
PARAM_VALUE 0 cache->bstop_percent 0-4294967294
PARAM_VALUE 0 cache->cache 4096-ptr_max
PARAM_VALUE 0 cache->cache->ref.refs.counter 0-s32max
PARAM_VALUE 0 cache->cache_cred 4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->group_info 4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->jit_keyring 1
PARAM_VALUE 0 cache->cache_cred->non_rcu 0
PARAM_VALUE 0 cache->cache_cred->process_keyring 0,4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->process_keyring->user->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cache->cache_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 cache->cache_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 cache->cache_cred->request_key_auth 0,4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->request_key_auth->user->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cache->cache_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 cache->cache_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 cache->cache_cred->security 0,4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->session_keyring 0,4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->session_keyring->user->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cache->cache_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 cache->cache_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 cache->cache_cred->thread_keyring 0,4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->thread_keyring->user->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cache->cache_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 cache->cache_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 cache->cache_cred->ucounts 4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->ucounts->ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->ucounts->ns->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->usage.counter 1
PARAM_VALUE 0 cache->cache_cred->user 4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->user->uidhash_node->next->pprev 1-u64max
PARAM_VALUE 0 cache->cache_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 cache->cache_cred->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 cache->cache_cred->user_ns->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 cache->daemon_mutex.dep_map->name 0-255
PARAM_VALUE 0 cache->daemon_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cache->daemon_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cache->daemon_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 cache->daemon_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cache->daemon_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cache->daemon_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 cache->daemon_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 cache->fcull 0
PARAM_VALUE 0 cache->fcull_percent 1-4294967294
PARAM_VALUE 0 cache->frun 0
PARAM_VALUE 0 cache->frun_percent 2-99
PARAM_VALUE 0 cache->fstop 0
PARAM_VALUE 0 cache->fstop_percent 0-4294967294
PARAM_VALUE 0 cache->graveyard 0,4096-ptr_max
PARAM_VALUE 0 cache->graveyard->d_hash.pprev 0
PARAM_VALUE 0 cache->graveyard->d_inode 0
PARAM_VALUE 0 cache->graveyard->waiters 0
PARAM_VALUE 0 cache->mnt 4096-ptr_max
PARAM_VALUE 0 cache->rootdirname 4096-ptr_max
PARAM_VALUE 0 cache->store 0,4096-ptr_max
PARAM_VALUE 0 cache->store->d_hash.pprev 0
PARAM_VALUE 0 cache->store->d_inode 0
PARAM_VALUE 0 cache->store->waiters 0
PARAM_VALUE 0 cache->tag 1-u64max
PARAM_VALUE 1 fnr 0
PARAM_VALUE 2 bnr 0
PARAM_VALUE 3 reason 0
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
HARD_MAX 0 cache->brun_percent 99
HARD_MAX 0 cache->frun_percent 99
NOCHECK_CALL
LOCK2 0 &cache->daemon_mutex
HALF_LOCKED2 &root->d_lockref.lock
TYPE_LOCK (struct cachefiles_cache)->daemon_mutex

fs/cachefiles/namei.c cachefiles_create_file() -> cachefiles_has_space()

Type Parameter Key Value
PARAM_VALUE 0 cache->graveyard->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 fnr 1
PARAM_VALUE 2 bnr 0
PARAM_VALUE 3 reason 2
LOCK2 &pool->lock

fs/cachefiles/namei.c cachefiles_get_directory() -> cachefiles_has_space()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 0 cache->graveyard->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 cache->store->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 cache->store->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 cache->store->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 fnr 1
PARAM_VALUE 2 bnr 0
PARAM_VALUE 3 reason 2
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache->store (-1),1-s32max
DATA_SOURCE 0 cache $0
STR_LEN 0 cache (-1),5,9
STR_LEN 0 cache (-1),5,9
HALF_LOCKED2 0 &cache->daemon_mutex
HALF_LOCKED2 0 &cache->store->d_inode->i_rwsem

fs/cachefiles/daemon.c cachefiles_do_daemon_read() -> cachefiles_has_space()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 1 fnr 0
PARAM_VALUE 2 bnr 0
PARAM_VALUE 3 reason 0
BUF_SIZE 0 cache s32min-(-2),1-s32max
BUF_SIZE 0 cache s32min-(-2),1-s32max
DATA_SOURCE 0 cache $0
NOCHECK_CALL

fs/cachefiles/io.c __cachefiles_prepare_write() -> cachefiles_has_space()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 1 fnr 0
PARAM_VALUE 3 reason 0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bnr unit_page

fs/cachefiles/io.c __cachefiles_prepare_write() -> cachefiles_has_space()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 1 fnr 0
PARAM_VALUE 3 reason 1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bnr unit_page