Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/cdx/intr.c vfio_cdx_msi_set_block() -> vfio_cdx_msi_set_vector_signal()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->msi_count 1-u32max
DATA_SOURCE 0 vdev $0
PARAM_COMPARE 1 vector <= $0->msi_count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 vector 1-s32max[c]
USER_DATA 2 fd s32min-s32max
NO_OVERFLOW_SIMPLE 0 vdev->msi_count
UNITS 1 vector unit_array_size
LOCK2 _T->lock
HALF_LOCKED2 &device->dev_set->lock

drivers/vfio/cdx/intr.c vfio_cdx_msi_set_block() -> vfio_cdx_msi_set_vector_signal()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->msi_count 1-u32max
PARAM_VALUE 2 fd (-1)
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 vector 1-s32max[c]
NO_OVERFLOW_SIMPLE 0 vdev->msi_count
UNITS 1 vector unit_array_size
LOCK2 _T->lock
HALF_LOCKED2 &device->dev_set->lock