Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/slub.c __pcs_flush_all_cpu() -> free_empty_sheaf()
| 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->size | 0 |
| 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() -> free_empty_sheaf()
| 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->size | 0 |
| 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 barn_shrink() -> free_empty_sheaf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 1 | sheaf | 4096-ptr_max |
| PARAM_VALUE | 1 | sheaf->size | 0 |
| DATA_SOURCE | 0 | s | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &slab_mutex |
mm/slub.c barn_shrink() -> free_empty_sheaf()
| 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() -> free_empty_sheaf()
| 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 | 0-4294967294 |
| PARAM_VALUE | 1 | sheaf | 4096-ptr_max |
| PARAM_VALUE | 1 | sheaf->cache | 4096-ptr_max |
| PARAM_VALUE | 1 | sheaf->capacity | 1-u32max |
| PARAM_VALUE | 1 | sheaf->objects | 4096-ptr_max |
| BUF_SIZE | 1 | sheaf | 40-s32max |
| BUF_SIZE | 1 | sheaf | 40-s32max |
| CAPPED_DATA | 0 | s->sheaf_capacity | 1 |
| DATA_SOURCE | 0 | s | $0 |
| DATA_SOURCE | 1 | sheaf | r __alloc_empty_sheaf |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sheaf->cache->object_size | |
| NO_OVERFLOW_SIMPLE | 1 | sheaf->capacity |
mm/slub.c kmem_cache_prefill_sheaf() -> free_empty_sheaf()
| 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->size | 0 |
| 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() -> free_empty_sheaf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 1 | sheaf | 4096-ptr_max |
| PARAM_VALUE | 1 | sheaf->size | 0 |
| 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() -> free_empty_sheaf()
| 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 |
| PARAM_VALUE | 1 | sheaf->size | 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_destroy() -> free_empty_sheaf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->cpu_sheaves | 1-u64max |
| PARAM_VALUE | 0 | s->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | s->random_seq | 0 |
| PARAM_VALUE | 0 | s->sheaf_capacity | 1-u32max |
| PARAM_VALUE | 1 | sheaf | 4096-ptr_max |
| PARAM_VALUE | 1 | sheaf->size | 0 |
| BUF_SIZE | 0 | s->cpu_sheaves | (-1),88 |
| BUF_SIZE | 0 | s->name | (-1),11,16 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | (-1),10,15 |
| STR_LEN | 0 | s | (-1),10,15 |
| NOCHECK_CALL |
mm/slub.c pcs_flush_all() -> free_empty_sheaf()
| 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->size | 0 |
| DATA_SOURCE | 0 | s | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
mm/slub.c rcu_free_sheaf() -> free_empty_sheaf()
| 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 |
| PARAM_VALUE | 1 | sheaf->size | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu |
mm/slub.c rcu_free_sheaf_nobarn() -> free_empty_sheaf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sheaf | 4096-ptr_max |
| PARAM_VALUE | 1 | sheaf->size | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu |