Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/resource.c reallocate_resource() -> __release_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | old | 4096-ptr_max |
| PARAM_VALUE | 0 | old->parent | 1-u64max |
| PARAM_VALUE | 1 | release_child | 1 |
| BUF_SIZE | 0 | old | (-1),64 |
| BUF_SIZE | 0 | old | (-1),64 |
| BUF_SIZE | 0 | old->name | (-1),3-4,7,11-12,19,48 |
| CAPPED_DATA | 0 | old | 1 |
| DATA_SOURCE | 0 | old | $1 |
| STR_LEN | 0 | old->name | (-1),10-11 |
| NOSPEC | 0 | old->end | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | old->start | 0-u64max[c] |
| USER_DATA | 0 | old->end | 1-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | old->end | |
| LOCK2 | global &resource_lock | ||
| HALF_LOCKED2 | &evdev->mutex | ||
| HALF_LOCKED2 | &s->ops_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &balloon_mutex | ||
| HALF_LOCKED2 | global &gpmc_mem_lock | ||
| HALF_LOCKED2 | global &list_lock |
kernel/resource.c release_resource() -> __release_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | release_child | 1 |
| BUF_SIZE | 0 | old | (-1)-0,64,128,704 |
| BUF_SIZE | 0 | old | (-1)-0,64,128,704 |
| BUF_SIZE | 0 | old->name | (-1),12,16 |
| DATA_SOURCE | 0 | old | $0 |
| STR_LEN | 0 | old->name | (-1),11,15 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | old->end | |
| NO_OVERFLOW_SIMPLE | 0 | old->start | |
| LOCK2 | global &resource_lock | ||
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | &device->dev_set->lock | ||
| HALF_LOCKED2 | &image->lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &s->ops_mutex | ||
| HALF_LOCKED2 | &s->skt_mutex | ||
| HALF_LOCKED2 | &sp->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &acpi_ioapic_lock | ||
| HALF_LOCKED2 | global &balloon_mutex | ||
| HALF_LOCKED2 | global &gpmc_mem_lock | ||
| HALF_LOCKED2 | global &ioapic_list_lock | ||
| HALF_LOCKED2 | global &list_lock | ||
| HALF_LOCKED2 | global &pci_bus_sem | ||
| HALF_LOCKED2 | global &pci_mmcfg_lock | ||
| HALF_LOCKED2 | global &pci_rescan_remove_lock |
kernel/resource.c remove_resource() -> __release_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | release_child | 0 |
| BUF_SIZE | 0 | old | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | old | s32min,(-10),(-1)-s32max |
| DATA_SOURCE | 0 | old | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &resource_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | _T->lock |