Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/processor_core.c acpi_get_ioapic_id() -> parse_mat_ioapic_entry()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
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 2 phys_addr 2136756591048822784
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 gsi_base $1
DATA_SOURCE 2 phys_addr $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 gsi_base unit_array_size
LOCK2 global &ioapic_list_lock