Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 29 files:

Smatch caller information:

kernel/irq/irqdomain.c irq_domain_remove() -> irq_set_default_domain()

Type Parameter Key Value
PARAM_VALUE 0 domain 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &irq_domain_mutex
HALF_LOCKED2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &bank->deferred_lock
HALF_LOCKED2 &child_device->mutex
HALF_LOCKED2 &chip->reg_lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &acpi_ioapic_lock
HALF_LOCKED2 global &ioapic_list_lock
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/irqchip/irq-xilinx-intc.c xilinx_intc_of_init() -> irq_set_default_domain()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
NOCHECK_CALL

arch/x86/kernel/apic/vector.c arch_early_irq_init() -> irq_set_default_domain()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
BUF_SIZE 0 domain 376-s32max
BUF_SIZE 0 domain 376-s32max
CAPPED_DATA 0 domain->hwirq_max 1
DATA_SOURCE 0 domain r irq_domain_create_tree
NOCHECK_CALL

drivers/irqchip/irq-pic32-evic.c pic32_of_init() -> irq_set_default_domain()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->gc 4096-ptr_max
PARAM_VALUE 0 domain->gc->exit 0
PARAM_VALUE 0 domain->gc->gc_flags 0
PARAM_VALUE 0 domain->gc->irq_flags_to_clear 7168
PARAM_VALUE 0 domain->gc->irq_flags_to_set 0
PARAM_VALUE 0 domain->gc->num_chips 1-u32max
BUF_SIZE 0 domain 376-s32max
BUF_SIZE 0 domain 376-s32max
CAPPED_DATA 0 domain->gc->num_chips 1
CAPPED_DATA 0 domain->hwirq_max 1
DATA_SOURCE 0 domain r irq_domain_create_linear
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 domain->gc->num_chips