Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/vector.c apic_set_affinity() -> assign_vector_locked()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->common 4096-ptr_max
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
LOCK2 global &vector_lock
HALF_LOCKED2 irq

arch/x86/kernel/apic/vector.c assign_irq_vector() -> assign_vector_locked()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->common 4096-ptr_max
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd->chip (-1),280
BUF_SIZE 0 irqd->chip_data (-1),56
DATA_SOURCE 0 irqd $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &vector_lock
HALF_LOCKED2 &domain->root->mutex

arch/x86/kernel/apic/vector.c assign_irq_vector_any_locked() -> assign_vector_locked()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->common 4096-ptr_max
PARAM_VALUE 0 irqd->domain->ops 4096-ptr_max
PARAM_VALUE 0 irqd->domain->ops->activate 1-u64max
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd (-1),56
DATA_SOURCE 0 irqd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &vector_lock

arch/x86/kernel/apic/vector.c assign_irq_vector_any_locked() -> assign_vector_locked()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->domain->ops 4096-ptr_max
PARAM_VALUE 0 irqd->domain->ops->activate 1-u64max
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd (-1),56
DATA_SOURCE 0 irqd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &vector_lock

arch/x86/kernel/apic/vector.c assign_irq_vector_any_locked() -> assign_vector_locked()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->domain->ops 4096-ptr_max
PARAM_VALUE 0 irqd->domain->ops->activate 1-u64max
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 1 dest (-1),1024
DATA_SOURCE 0 irqd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &vector_lock

arch/x86/kernel/apic/vector.c assign_irq_vector_any_locked() -> assign_vector_locked()

Type Parameter Key Value
PARAM_VALUE 0 irqd 4096-ptr_max
PARAM_VALUE 0 irqd->domain->ops 4096-ptr_max
PARAM_VALUE 0 irqd->domain->ops->activate 1-u64max
PARAM_VALUE 1 dest 7398857465241333760
BUF_SIZE 0 irqd (-1),56
BUF_SIZE 0 irqd (-1),56
DATA_SOURCE 0 irqd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &vector_lock