Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/processor_core.c map_madt_entry() -> map_core_pic_id()

Type Parameter Key Value
PARAM_VALUE 0 entry 4140-ptr_max
PARAM_VALUE 1 device_declaration 0-1
PARAM_VALUE 3 phys_id 5745318495435579392
PARAM_VALUE 3 *phys_id u32max
DATA_SOURCE 1 device_declaration $1
DATA_SOURCE 2 acpi_id $2
FUZZY_MAX 1 device_declaration 1
HARD_MAX 1 device_declaration 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 entry unit_byte
UNITS 2 acpi_id unit_array_size

drivers/acpi/processor_core.c map_mat_entry() -> map_core_pic_id()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 1 device_declaration 0-1
PARAM_VALUE 3 phys_id 2210663397546758144
PARAM_VALUE 3 *phys_id u32max
DATA_SOURCE 1 device_declaration $1
DATA_SOURCE 2 acpi_id $2
FUZZY_MAX 1 device_declaration 1
HARD_MAX 1 device_declaration 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 acpi_id unit_array_size