Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/pci/setup-bus.c pci_assign_unassigned_resources() -> acpi_ioapic_add()

Type Parameter Key Value
NOCHECK_CALL

drivers/acpi/pci_root.c acpi_pci_root_add() -> acpi_ioapic_add()

Type Parameter Key Value
PARAM_VALUE 0 root_handle->descriptor_type 0-255
PARAM_VALUE 0 root_handle->flags 0-u16max
PARAM_VALUE 0 root_handle->name.integer 0-4294967295
PARAM_VALUE 0 root_handle->owner_id 0-u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock