Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
CAPPED_DATA 0 phys_id 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock

drivers/xen/xen-acpi-processor.c read_acpi_id() -> invalid_phys_cpuid()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/processor_core.c acpi_get_phys_id() -> invalid_phys_cpuid()

Type Parameter Key Value
DATA_SOURCE 0 phys_id r map_mat_entry
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
DATA_SOURCE 0 phys_id $0
RX_PATH
TASK_NOT_RUNNING