Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/base/node.c register_mem_block_under_node_hotplug() -> do_register_memory_block_under_node()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mem_blk | 1-1025,1027-1029,1031-u64max |
| DATA_SOURCE | 1 | mem_blk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &device_hotplug_lock |
drivers/base/node.c register_memory_blocks_under_nodes() -> do_register_memory_block_under_node()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mem_blk | 4096-ptr_max |
| PARAM_VALUE | 1 | mem_blk->zone | 0,4096-ptr_max |
| PARAM_VALUE | 1 | mem_blk->zone->present_pages | 1 |
| PARAM_VALUE | 1 | mem_blk->zone->spanned_pages | 1-u64max |
| PARAM_VALUE | 1 | mem_blk->zone->zone_start_pfn | 0-18446744073709551614 |
| DATA_SOURCE | 1 | mem_blk | r memory_block_get |
| NOCHECK_CALL |