Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/acpi/boot.c acpi_map_cpu() -> acpi_map_cpu2node()

Type Parameter Key Value
PARAM_VALUE 0 handle 0,4096-ptr_max,(-1)
PARAM_VALUE 0 handle->common.descriptor_type 15
PARAM_VALUE 0 handle->descriptor_type 0-255
PARAM_VALUE 0 handle->flags 0-u16max
PARAM_VALUE 0 handle->name.integer 0-4294967295
PARAM_VALUE 0 handle->owner_id 0-u16max
PARAM_VALUE 0 handle->type 0-255
PARAM_VALUE 1 cpu 0
PARAM_VALUE 2 physid 0-s16max
CAPPED_DATA 2 physid 1
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 cpu r topology_hotplug_apic
DATA_SOURCE 2 physid $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &cpu_add_remove_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock