Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/percpu.c pcpu_alloc_area() -> pcpu_block_update_hint_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | bit_off | s32min-2147483646 |
| CAPPED_DATA | 1 | bit_off | 1 |
| DATA_SOURCE | 0 | chunk | $0 |
| DATA_SOURCE | 1 | bit_off | r pcpu_find_zero_area |
| DATA_SOURCE | 2 | bits | $1 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | global &pcpu_lock | ||
| HALF_LOCKED2 | global &pcpu_alloc_mutex |
mm/percpu.c pcpu_alloc_first_chunk() -> pcpu_block_update_hint_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chunk | 4096-ptr_max |
| PARAM_VALUE | 0 | chunk->alloc_map | 1-u64max |
| PARAM_VALUE | 0 | chunk->base_addr | 0,4096-u64max |
| PARAM_VALUE | 0 | chunk->chunk_md.first_free | (-536870912)-536870911 |
| PARAM_VALUE | 0 | chunk->chunk_md.scan_hint | 0 |
| PARAM_VALUE | 0 | chunk->md_blocks | 4096-ptr_max |
| PARAM_VALUE | 0 | chunk->nr_empty_pop_pages | (-524288)-524287 |
| PARAM_VALUE | 0 | chunk->nr_pages | (-524288)-524287 |
| PARAM_VALUE | 1 | bit_off | 0 |
| PARAM_VALUE | 2 | bits | (-536870912)-536870911 |
| DATA_SOURCE | 0 | chunk | r __memblock_alloc_or_panic |
| BIT_INFO | 0 | chunk->base_addr | 0x0,0xfffffffffffff000 |
| MEM_ZERO | 0 | chunk->populated | |
| NOCHECK_CALL | |||
| LOCK2 | irq |
mm/percpu.c pcpu_alloc_first_chunk() -> pcpu_block_update_hint_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chunk | 4096-ptr_max |
| PARAM_VALUE | 0 | chunk->alloc_map | 1-u64max |
| PARAM_VALUE | 0 | chunk->base_addr | 0,4096-u64max |
| PARAM_VALUE | 0 | chunk->md_blocks | 4096-ptr_max |
| PARAM_VALUE | 0 | chunk->nr_pages | (-524288)-524287 |
| PARAM_VALUE | 2 | bits | (-536870912)-536870911 |
| DATA_SOURCE | 0 | chunk | r __memblock_alloc_or_panic |
| BIT_INFO | 0 | chunk->base_addr | 0x0,0xfffffffffffff000 |
| MEM_ZERO | 0 | chunk->populated | |
| NOCHECK_CALL | |||
| LOCK2 | irq |