Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/acpi_processor.c acpi_processor_get_info() -> acpi_processor_set_per_cpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pr | 4096-ptr_max |
| PARAM_VALUE | 0 | pr->handle | 0,4096-ptr_max,(-1) |
| PARAM_VALUE | 0 | pr->handle->common.descriptor_type | 15 |
| PARAM_VALUE | 0 | pr->id | 0-64 |
| PARAM_VALUE | 1 | device | 4096-ptr_max |
| PARAM_VALUE | 1 | device->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | device->driver_data | 4096-ptr_max |
| PARAM_VALUE | 1 | device->handle->child->descriptor_type | 0-255 |
| PARAM_VALUE | 1 | device->handle->child->flags | 0-u16max |
| PARAM_VALUE | 1 | device->handle->child->name.integer | 0-4294967295 |
| PARAM_VALUE | 1 | device->handle->child->owner_id | 0-u16max |
| PARAM_VALUE | 1 | device->handle->child->type | 0-255 |
| PARAM_VALUE | 1 | device->handler | 4096-ptr_max |
| PARAM_VALUE | 1 | device->handler->attach | 4096-ptr_max |
| PARAM_VALUE | 1 | device->handler->ids | 4096-ptr_max |
| PARAM_VALUE | 1 | device->handler->match | 0,4096-ptr_max |
| PARAM_VALUE | 1 | device->status.enabled | 1 |
| BUF_SIZE | 0 | pr | 992 |
| BUF_SIZE | 1 | device->driver_data | 992 |
| CAPPED_DATA | 0 | pr->id | 1 |
| CAPPED_DATA | 0 | pr->phys_id | 1 |
| CAPPED_DATA | 1 | device | 1 |
| DATA_SOURCE | 1 | device | $0 |
| PARAM_COMPARE | 0 | pr | == $1->driver_data |
| PARAM_COMPARE | 1 | device->driver_data | == $0 |
| CONSTRAINT | 0 | pr->id | <3035 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &acpi_scan_lock |
drivers/acpi/acpi_processor.c acpi_processor_hotadd_init() -> acpi_processor_set_per_cpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pr | 4096-ptr_max |
| PARAM_VALUE | 0 | pr->handle | 0,4096-ptr_max,(-1) |
| PARAM_VALUE | 0 | pr->handle->common.descriptor_type | 15 |
| PARAM_VALUE | 0 | pr->handle->descriptor_type | 0-255 |
| PARAM_VALUE | 0 | pr->handle->flags | 0-u16max |
| PARAM_VALUE | 0 | pr->handle->name.integer | 0-4294967295 |
| PARAM_VALUE | 0 | pr->handle->owner_id | 0-u16max |
| PARAM_VALUE | 0 | pr->id | 0 |
| PARAM_VALUE | 0 | pr->phys_id | 0-s16max |
| PARAM_VALUE | 1 | device | 4096-ptr_max |
| PARAM_VALUE | 1 | device->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | device->driver_data | 4096-ptr_max |
| PARAM_VALUE | 1 | device->handler | 4096-ptr_max |
| PARAM_VALUE | 1 | device->handler->attach | 4096-ptr_max |
| PARAM_VALUE | 1 | device->handler->ids | 4096-ptr_max |
| PARAM_VALUE | 1 | device->handler->match | 0,4096-ptr_max |
| PARAM_VALUE | 1 | device->status.enabled | 1 |
| BUF_SIZE | 0 | pr | 992 |
| BUF_SIZE | 1 | device->driver_data | 992 |
| CAPPED_DATA | 0 | pr->phys_id | 1 |
| DATA_SOURCE | 0 | pr | $0 |
| DATA_SOURCE | 1 | device | $1 |
| HARD_MAX | 0 | pr->phys_id | s16max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | device->handle->object->string.length | |
| LOCK2 | global &cpu_add_remove_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &acpi_scan_lock |