Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c kmem_cache_prefill_sheaf() -> __prefill_sheaf_pfmemalloc()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cpu_stats 4096-ptr_max
PARAM_VALUE 0 s->sheaf_capacity 1-u32max
PARAM_VALUE 1 sheaf 4096-ptr_max
PARAM_VALUE 1 sheaf->capacity 1-u32max
PARAM_VALUE 1 sheaf->pfmemalloc 0
PARAM_VALUE 1 sheaf->size 0-4294967294
BUF_SIZE 1 sheaf (-1),40-s32max
BUF_SIZE 1 sheaf (-1),40-s32max
CAPPED_DATA 1 sheaf->size 1
DATA_SOURCE 0 s $0
DATA_SOURCE 2 gfp $1
PARAM_COMPARE 0 s->sheaf_capacity > $1->size
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
NO_OVERFLOW_SIMPLE 1 sheaf->capacity

mm/slub.c kmem_cache_refill_sheaf() -> __prefill_sheaf_pfmemalloc()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sheaf_capacity 1-u32max
PARAM_VALUE 1 sheaf 4096-ptr_max
PARAM_VALUE 1 sheaf->capacity 1-u32max
PARAM_VALUE 1 sheaf->size 0-4294967294
CAPPED_DATA 0 s->sheaf_capacity 1
CAPPED_DATA 1 sheaf->capacity 1
CAPPED_DATA 1 sheaf->size 1
DATA_SOURCE 0 s $0
DATA_SOURCE 2 gfp $1
PARAM_COMPARE 0 s->sheaf_capacity == $1->capacity
PARAM_COMPARE 0 s->sheaf_capacity > $1->size
PARAM_COMPARE 1 sheaf->capacity > $1->size
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &(&mas)->tree->ma_lock