Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/pci-hyperv.c hv_compose_msi_msg() -> hv_msi_get_int_vector()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
BUF_SIZE 0 data (-1),56
BUF_SIZE 0 data (-1),56
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_T->lock->msi.data->mutex

drivers/pci/controller/pci-hyperv.c hv_irq_retarget_interrupt() -> hv_msi_get_int_vector()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
BUF_SIZE 0 data (-1),56
BUF_SIZE 0 data (-1),56
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 &desc->lock
HALF_LOCKED2 _T->flags