Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/cpuhotplug.c migrate_one_irq() -> irq_needs_fixup()

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