Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/scan.c acpi_scan_drop_device() -> acpi_queue_hotplug_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | work | 2237084501796704256 |
| PARAM_VALUE | 0 | work->data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | work->entry.next | 2237084501796704264 |
| PARAM_VALUE | 0 | work->entry.prev | 2237084501796704264 |
| PARAM_VALUE | 0 | work->func | 7755651806161268736 |
| PARAM_VALUE | 0 | work->lockdep_map.key | 2237084501796704256 |
| PARAM_VALUE | 0 | work->lockdep_map.name | 2650865413389033472 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &acpi_device_del_lock |