Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/slub.c __kmem_cache_alloc_bulk() -> __kmem_cache_free_bulk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 1 | size | 0-s32max |
| PARAM_VALUE | 2 | p | 4096-ptr_max |
| CAPPED_DATA | 0 | s | 1 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| DATA_SOURCE | 2 | p | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | size | 1-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | size |
mm/slub.c __sheaf_flush_main_batch() -> __kmem_cache_free_bulk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->sheaf_capacity | 1-u32max |
| PARAM_VALUE | 1 | size | 0-32 |
| PARAM_VALUE | 2 | p | 6179359596504616960 |
| BUF_SIZE | 2 | p | 256 |
| CAPPED_DATA | 0 | s->sheaf_capacity | 1 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/slub.c free_to_pcs_bulk() -> __kmem_cache_free_bulk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->sheaf_capacity | 1-u32max |
| PARAM_VALUE | 1 | size | 1-u32max,18446744069414584321-u64max |
| DATA_SOURCE | 0 | s | $0 |
| DATA_SOURCE | 1 | size | $1 [m] |
| DATA_SOURCE | 2 | p | $2 [m] |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | s->object_size | |
| UNITS | 1 | size | unit_array_size |
mm/slub.c free_to_pcs_bulk() -> __kmem_cache_free_bulk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->sheaf_capacity | 1-u32max |
| PARAM_VALUE | 1 | size | 1-u32max |
| BUF_SIZE | 2 | p | (-1)-s32max |
| BUF_SIZE | 2 | p | (-1)-s32max |
| DATA_SOURCE | 0 | s | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | s->object_size | |
| UNITS | 1 | size | unit_array_size |
mm/slub.c kmem_cache_alloc_bulk_noprof() -> __kmem_cache_free_bulk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | *(*p) | (-4611686018427387904)-4611686018427387903 |
| BUF_SIZE | 2 | p | (-1)-s32max |
| BUF_SIZE | 2 | p | (-1)-s32max |
| CAPPED_DATA | 0 | s | 1 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 0 | s | $0 [m] |
| DATA_SOURCE | 1 | size | r alloc_from_pcs_bulk |
| DATA_SOURCE | 2 | p | $3 |
| PARAM_COMPARE | 0 | s | == $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | size | 1-4294967294[c][u] |
| UNITS | 1 | size | unit_array_size |
| HALF_LOCKED2 | &queue->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
mm/slub.c sheaf_flush_unused() -> __kmem_cache_free_bulk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->cpu_stats | 4096-ptr_max |
| PARAM_VALUE | 1 | size | 1-u32max |
| PARAM_VALUE | 2 | p | 4096-ptr_max |
| 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 | |||
| NO_OVERFLOW_SIMPLE | 1 | size | |
| HALF_LOCKED2 | global &slab_mutex |