Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/cachefiles/daemon.c cachefiles_daemon_bind() -> cachefiles_add_cache()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 0 cache->bcull_percent 1-4294967294
PARAM_VALUE 0 cache->brun_percent 2-99
PARAM_VALUE 0 cache->bstop_percent 0-4294967294
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.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_percent 1-4294967294
PARAM_VALUE 0 cache->frun_percent 2-99
PARAM_VALUE 0 cache->fstop_percent 0-4294967294
PARAM_VALUE 0 cache->rootdirname 1-u64max
PARAM_VALUE 0 cache->tag 1-u64max
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
PARAM_COMPARE 0 cache->bcull_percent < $0->brun_percent
PARAM_COMPARE 0 cache->bcull_percent > $0->bstop_percent
PARAM_COMPARE 0 cache->brun_percent > $0->bstop_percent
PARAM_COMPARE 0 cache->fcull_percent < $0->frun_percent
PARAM_COMPARE 0 cache->fcull_percent > $0->fstop_percent
PARAM_COMPARE 0 cache->frun_percent > $0->fstop_percent
HARD_MAX 0 cache->brun_percent 99
HARD_MAX 0 cache->frun_percent 99
LOCK2 0 &cache->daemon_mutex
TYPE_LOCK (struct cachefiles_cache)->daemon_mutex