Defined in 1 files as a function:
Referenced in 7 files:
- arch/loongarch/pci/acpi.c, line 89
- arch/x86/pci/acpi.c
- drivers/acpi/pci_root.c
- drivers/pci/of.c, line 619
- drivers/pci/pci-acpi.c, line 1602
- drivers/pci/probe.c, line 1114
- kernel/resource.c, line 1957
Smatch caller information:
arch/x86/pci/acpi.c pci_acpi_root_prepare_resources() -> resource_list_destroy_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res->end | 3327 |
| PARAM_VALUE | 0 | entry->res->flags | 256-u64max |
| PARAM_VALUE | 0 | entry->res->start | 3320 |
| CAPPED_DATA | 0 | &entry->node | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &acpi_scan_lock |
arch/x86/pci/acpi.c pci_acpi_root_prepare_resources() -> resource_list_destroy_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| CAPPED_DATA | 0 | &entry->node | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &acpi_scan_lock |
drivers/acpi/pci_root.c __acpi_pci_root_release_info() -> resource_list_destroy_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res | 4096-ptr_max |
| CAPPED_DATA | 0 | &entry->node | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/acpi/pci_root.c acpi_pci_probe_root_resources() -> resource_list_destroy_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res->flags | 268435456-u64max |
| CAPPED_DATA | 0 | &entry->node | 1 |
| STR_LEN | 0 | entry->res->name | (-1) |
| BIT_INFO | 0 | entry->res->flags | 0x10000000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &acpi_scan_lock |
drivers/acpi/pci_root.c pci_acpi_root_add_resources() -> resource_list_destroy_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res->flags | 256-u64max |
| CAPPED_DATA | 0 | &entry->node | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &acpi_scan_lock |
drivers/pci/probe.c pci_register_host_bridge() -> resource_list_destroy_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res->flags | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/resource.c resource_list_free() -> resource_list_destroy_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| CAPPED_DATA | 0 | &entry->node | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/pci/of.c pci_parse_request_of_pci_ranges() -> resource_list_destroy_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 0 | entry->res | 4096-ptr_max |
| CAPPED_DATA | 0 | &entry->node | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |