Defined in 1 files as a function:
Referenced in 5 files:
- drivers/acpi/arm64/iort.c, line 827
- drivers/acpi/bus.c, line 626
- drivers/acpi/device_pm.c, line 556
- drivers/acpi/irq.c, line 133
- drivers/acpi/scan.c, line 492
Smatch caller information:
drivers/acpi/device_pm.c acpi_pm_notify_handler() -> acpi_put_acpi_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adev | 4096-ptr_max |
| PARAM_VALUE | 0 | adev->wakeup.context.dev->power.wakeirq->status | 0-4294967295 |
| DATA_SOURCE | 0 | adev | r acpi_get_acpi_dev |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/acpi/bus.c acpi_bus_notify() -> acpi_put_acpi_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | adev | r acpi_get_acpi_dev |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/acpi/scan.c acpi_device_hotplug() -> acpi_put_acpi_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adev | 4096-ptr_max |
| PARAM_VALUE | 0 | adev->hp | 0,4096-ptr_max |
| DATA_SOURCE | 0 | adev | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &acpi_scan_lock | ||
| LOCK2 | global &device_hotplug_lock | ||
| HALF_LOCKED2 | &pool->lock |