Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/processor_pdc.c acpi_processor_set_pdc() -> acpi_processor_eval_pdc()

Type Parameter Key Value
PARAM_VALUE 0 handle 0,4096-ptr_max,(-1)
PARAM_VALUE 0 handle->common.descriptor_type 15
PARAM_VALUE 1 pdc_in 4096-ptr_max
PARAM_VALUE 1 pdc_in->count 1
PARAM_VALUE 1 pdc_in->pointer 4096-ptr_max
PARAM_VALUE 1 pdc_in->pointer->buffer.length 12
PARAM_VALUE 1 pdc_in->pointer->buffer.pointer 4096-ptr_max
PARAM_VALUE 1 pdc_in->pointer->type 3
BUF_SIZE 1 pdc_in 16
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 pdc_in r acpi_processor_alloc_pdc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpu_add_remove_lock