Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/msi.c __msi_domain_alloc_irq_at() -> msi_insert_desc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->dev 4096-ptr_max
PARAM_VALUE 1 desc->nvec_used 1
PARAM_VALUE 2 domid 0
BUF_SIZE 1 desc 96
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 desc r msi_alloc_desc
DATA_SOURCE 2 domid $1
DATA_SOURCE 3 index $2
NOSPEC 3 index
NOSPEC 3 index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 index 0-4294967294[c]
UNITS 0 dev unit_byte
UNITS 3 index unit_array_size
LOCK2 &_T->lock->msi.data->mutex

kernel/irq/msi.c msi_domain_add_simple_msi_descs() -> msi_insert_desc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->dev 4096-ptr_max
PARAM_VALUE 1 desc->nvec_used 1
PARAM_VALUE 2 domid 0
PARAM_VALUE 3 index 0-4294967294
BUF_SIZE 1 desc 96
CAPPED_DATA 3 index 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 desc r msi_alloc_desc
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
UNITS 3 index unit_array_size
LOCK2 &_T->lock->msi.data->mutex

kernel/irq/msi.c msi_domain_insert_msi_desc() -> msi_insert_desc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->dev 4096-ptr_max
PARAM_VALUE 1 desc->nvec_used 1-s32max
PARAM_VALUE 2 domid 0
BUF_SIZE 1 desc 96
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 desc r msi_alloc_desc
DATA_SOURCE 2 domid $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 desc->nvec_used 2-s32max[c]
NO_OVERFLOW_SIMPLE 1 desc->nvec_used
UNITS 3 index unit_array_size
LOCK2 &_T->lock->msi.data->mutex