Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 phys_id r acpi_get_phys_id
RX_PATH
TASK_NOT_RUNNING
UNITS 1 acpi_id unit_array_size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock

drivers/acpi/processor_core.c acpi_get_cpuid() -> acpi_map_cpuid()

Type Parameter Key Value
DATA_SOURCE 0 phys_id r acpi_get_phys_id
DATA_SOURCE 1 acpi_id $2
RX_PATH
TASK_NOT_RUNNING