Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/resource.c get_free_mem_region() -> __insert_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent | 4096-ptr_max |
| PARAM_VALUE | 1 | new | 4096-ptr_max |
| BUF_SIZE | 1 | new | 64 |
| DATA_SOURCE | 0 | parent | $1 |
| DATA_SOURCE | 1 | new | r alloc_resource |
| STR_LEN | 0 | parent | (-1),11-12,14 |
| STR_LEN | 0 | parent | (-1),11-12,14 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &resource_lock |
kernel/resource.c insert_resource_conflict() -> __insert_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | new | 1-u64max |
| BUF_SIZE | 0 | parent | (-1),64 |
| BUF_SIZE | 0 | parent | (-1),64 |
| BUF_SIZE | 1 | new | (-1),64,1088 |
| BUF_SIZE | 1 | new | (-1),64,1088 |
| BUF_SIZE | 1 | new->name | s32min,(-10),(-1),1-s32max |
| DATA_SOURCE | 0 | parent | $0 |
| DATA_SOURCE | 1 | new | $1 |
| STR_LEN | 1 | new->name | (-1),10,17 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | new->start | 4096-9223372036854775806[c] |
| LOCK2 | global &resource_lock | ||
| HALF_LOCKED2 | global &pci_mmcfg_lock |
kernel/resource.c insert_resource_expand_to_fit() -> __insert_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent | 2936731392875139072,5124117421901426688 |
| PARAM_VALUE | 1 | new | 4096-ptr_max |
| PARAM_VALUE | 1 | new->parent | 0 |
| BUF_SIZE | 1 | new | (-1),64 |
| BUF_SIZE | 1 | new | (-1),64 |
| CAPPED_DATA | 0 | parent | 1 |
| DATA_SOURCE | 0 | parent | $0 |
| DATA_SOURCE | 1 | new | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &resource_lock |