Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kernel/apic/io_apic.c mp_irqdomain_alloc() -> irq_resolve_mapping()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->ops 4096-ptr_max
PARAM_VALUE 0 domain->ops->alloc 1-u64max
PARAM_VALUE 1 hwirq 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 domain (-1),4,24,64,168-s32max
BUF_SIZE 0 domain (-1),4,24,64,168-s32max
CAPPED_DATA 0 domain 1
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 hwirq unit_array_size
HALF_LOCKED2 0 &domain->root->mutex

kernel/irq/msi.c msi_domain_alloc() -> irq_resolve_mapping()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->host_data 4096-ptr_max
PARAM_VALUE 0 domain->ops 4096-ptr_max
PARAM_VALUE 0 domain->ops->alloc 1-u64max
BUF_SIZE 0 domain (-1),376-s32max
BUF_SIZE 0 domain (-1),376-s32max
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &domain->root->mutex

kernel/irq/irqdesc.c generic_handle_demux_domain_irq() -> irq_resolve_mapping()

Type Parameter Key Value
PARAM_VALUE 1 hwirq 0-4294967326
CAPPED_DATA 1 hwirq 1
CAPPED_DATA 1 hwirq 1
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 hwirq $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

kernel/irq/irqdesc.c generic_handle_domain_irq() -> irq_resolve_mapping()

Type Parameter Key Value
BUF_SIZE 0 domain s32min-(-1),1-s32max
BUF_SIZE 0 domain s32min-(-1),1-s32max
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 hwirq $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 hwirq 0-u32max
UNITS 0 domain unit_byte
UNITS 1 hwirq unit_array_size
HALF_LOCKED2 &bank->wa_lock
HALF_LOCKED2 &client->event_cb_lock
HALF_LOCKED2 &dln2->event_cb_lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
HALF_LOCKED2 wa_lock_flags

kernel/irq/irqdesc.c generic_handle_domain_irq_safe() -> irq_resolve_mapping()

Type Parameter Key Value
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 hwirq $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags

kernel/irq/irqdesc.c generic_handle_domain_nmi() -> irq_resolve_mapping()

Type Parameter Key Value
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 hwirq $1