Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpi_processor.c acpi_processor_get_info() -> acpi_processor_hotadd_init()

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,4294967274,4294967277
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
BIT_INFO 0 pr->id 0x0,0x7f
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock