Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c __pcs_flush_all_cpu() -> sheaf_flush_unused()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sheaf_capacity 1-u32max
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8-9,11-29,31-34,38
STR_LEN 0 s (-1),8-9,11-29,31-34,38
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &slab_mutex
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

mm/slub.c __pcs_flush_all_cpu() -> sheaf_flush_unused()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sheaf_capacity 1-u32max
PARAM_VALUE 1 sheaf 1-u64max
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8-9,11-29,31-34,38
STR_LEN 0 s (-1),8-9,11-29,31-34,38
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &slab_mutex
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

mm/slub.c __pcs_replace_empty_main() -> sheaf_flush_unused()

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
BUF_SIZE 1 sheaf (-1),40-s32max
BUF_SIZE 1 sheaf (-1),40-s32max
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
NO_OVERFLOW_SIMPLE 1 sheaf->size

mm/slub.c __pcs_replace_full_main() -> sheaf_flush_unused()

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
CAPPED_DATA 0 s->sheaf_capacity 1
DATA_SOURCE 0 s $0
CONSTRAINT 0 s->sheaf_capacity <=3018
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity

mm/slub.c barn_shrink() -> sheaf_flush_unused()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 sheaf 4096-ptr_max
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &slab_mutex

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

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
BUF_SIZE 1 sheaf (-1),40-s32max
BUF_SIZE 1 sheaf (-1),40-s32max
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
NO_OVERFLOW_SIMPLE 1 sheaf->capacity
NO_OVERFLOW_SIMPLE 1 sheaf->size

mm/slub.c kmem_cache_return_sheaf() -> sheaf_flush_unused()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 sheaf 4096-ptr_max
DATA_SOURCE 0 s $0
DATA_SOURCE 1 sheaf $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sheaf->capacity
NO_OVERFLOW_SIMPLE 1 sheaf->size

mm/slub.c kmem_cache_return_sheaf() -> sheaf_flush_unused()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cpu_stats 4096-ptr_max
PARAM_VALUE 1 sheaf 4096-ptr_max
PARAM_VALUE 1 sheaf->pfmemalloc 0
CAPPED_DATA 0 s->sheaf_capacity 1
CAPPED_DATA 1 sheaf->capacity 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 sheaf $2
PARAM_COMPARE 0 s->sheaf_capacity == $1->capacity
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sheaf->capacity
NO_OVERFLOW_SIMPLE 1 sheaf->size

mm/slub.c pcs_flush_all() -> sheaf_flush_unused()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sheaf_capacity 1-u32max
PARAM_VALUE 1 sheaf 1-u64max
DATA_SOURCE 0 s $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

mm/slub.c rcu_free_sheaf() -> sheaf_flush_unused()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cpu_stats 4096-ptr_max
PARAM_VALUE 1 sheaf 4096-ptr_max
PARAM_VALUE 1 sheaf->cache->cpu_stats 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

mm/slub.c rcu_free_sheaf_nobarn() -> sheaf_flush_unused()

Type Parameter Key Value
PARAM_VALUE 1 sheaf 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu