Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/super.c super_cache_scan() -> (struct super_operations)->free_cached_objects()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_op 4096-ptr_max
PARAM_VALUE 0 sb->s_op->nr_cached_objects 0,456927727844597760,2165740340428103680,6857875743730688000
PARAM_VALUE 0 sb->s_root 1-u64max
PARAM_VALUE 1 sc 273323331379130368,2304079381943222272,3067962247664386048,4213384192971792384
PARAM_VALUE 1 sc->memcg 0,4096-ptr_max
PARAM_VALUE 1 sc->nr_to_scan 0,9223372036854775809-u64max
BUF_SIZE 0 sb s32min-(-2),1-s32max
BUF_SIZE 0 sb s32min-(-2),1-s32max
CAPPED_DATA 1 sc->nr_to_scan 1
DATA_SOURCE 1 sc $1
CONTAINER 0 -192-64+0 $(-1)
BIT_INFO 1 sc->gfp_mask 0x80,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 sc->nr_to_scan
LOCK2 0 &sb->s_umount
HALF_LOCKED2 global &bch_register_lock
TYPE_LOCK (struct super_block)->s_umount