Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/msi.c msi_set_affinity() -> irq_msi_update_msg()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->common 4096-ptr_max
PARAM_VALUE 0 irqd->parent_data 4096-ptr_max
PARAM_VALUE 0 irqd->parent_data->chip 4096-ptr_max
PARAM_VALUE 1 cfg 4096-ptr_max
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 1 cfg (-1),8
BUF_SIZE 1 cfg (-1),8
DATA_SOURCE 0 irqd $0
DATA_SOURCE 1 cfg r irqd_cfg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/apic/msi.c msi_set_affinity() -> irq_msi_update_msg()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->common 4096-ptr_max
PARAM_VALUE 0 irqd->parent_data 4096-ptr_max
PARAM_VALUE 0 irqd->parent_data->chip 4096-ptr_max
PARAM_VALUE 1 cfg 4096-ptr_max
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 1 cfg (-1),8
BUF_SIZE 1 cfg (-1),8
DATA_SOURCE 0 irqd $0
DATA_SOURCE 1 cfg r irqd_cfg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/apic/msi.c msi_set_affinity() -> irq_msi_update_msg()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->common 4096-ptr_max
PARAM_VALUE 0 irqd->parent_data 4096-ptr_max
PARAM_VALUE 0 irqd->parent_data->chip 4096-ptr_max
PARAM_VALUE 1 cfg 628145024116920320
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd (-1),56
DATA_SOURCE 0 irqd $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vector_lock
HALF_LOCKED2 irq

arch/x86/kernel/apic/msi.c msi_set_affinity() -> irq_msi_update_msg()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->common 4096-ptr_max
PARAM_VALUE 0 irqd->parent_data 4096-ptr_max
PARAM_VALUE 0 irqd->parent_data->chip 4096-ptr_max
PARAM_VALUE 1 cfg 4096-ptr_max
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 1 cfg (-1),8
BUF_SIZE 1 cfg (-1),8
DATA_SOURCE 0 irqd $0
DATA_SOURCE 1 cfg r irqd_cfg
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vector_lock
HALF_LOCKED2 irq