Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/msi.c msi_set_affinity() -> (struct irq_chip)->irq_retrigger()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->common 4096-ptr_max
PARAM_VALUE 0 data->parent_data 4096-ptr_max
PARAM_VALUE 0 data->parent_data->chip 4096-ptr_max
BUF_SIZE 0 data (-1),56
BUF_SIZE 0 data (-1),56
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

kernel/irq/resend.c try_retrigger() -> (struct irq_chip)->irq_retrigger()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip 4096-ptr_max
CONTAINER 0 -96-24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->lock
HALF_LOCKED2 &desc->request_mutex

kernel/irq/chip.c irq_chip_retrigger_hierarchy() -> (struct irq_chip)->irq_retrigger()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip 4096-ptr_max
PARAM_VALUE 0 data->chip->irq_retrigger 1-u64max
DATA_SOURCE 0 data $0 [m]
CONTAINER 0 -96-24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->lock

arch/x86/kernel/irq.c fixup_irqs() -> (struct irq_chip)->irq_retrigger()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip->irq_retrigger 1-u64max
BUF_SIZE 0 data 56
DATA_SOURCE 0 data r irq_desc_get_irq_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &desc->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct irq_desc)->lock