Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/manage.c irq_set_vcpu_affinity() -> (struct irq_chip)->irq_set_vcpu_affinity()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip->irq_set_vcpu_affinity 1-u64max
PARAM_VALUE 1 info 0,9728151792627712,5563313686903660544
BUF_SIZE 0 data (-1),56
BUF_SIZE 0 data (-1),56
BUF_SIZE 1 info (-1),16,32
BUF_SIZE 1 info (-1),16,32
DATA_SOURCE 1 info $1
HALF_LOCKED2 &svm->ir_list_lock
HALF_LOCKED2 irq

kernel/irq/chip.c irq_chip_set_vcpu_affinity_parent() -> (struct irq_chip)->irq_set_vcpu_affinity()

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_set_vcpu_affinity 1-u64max
PARAM_VALUE 0 data->parent_data->chip 4096-ptr_max
BUF_SIZE 1 info (-1),16,32
BUF_SIZE 1 info (-1),16,32
DATA_SOURCE 0 data $0 [m]
DATA_SOURCE 1 info $1
CONTAINER 0 -224-24+0 $(-1)