Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/msix.c msix_request_general_irq() -> msix_request_irq()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 0 dd->irq_src_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dd->msix_info.max_requested 0-255
PARAM_VALUE 0 dd->msix_info.msix_entries 16,4096-ptr_max
PARAM_VALUE 0 dd->pcidev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 dd->pcidev->dev.msi.domain 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->is_msi_managed 1
PARAM_VALUE 0 dd->pcidev->msix_base 4096-ptr_max
PARAM_VALUE 0 dd->pcidev->msix_enabled 1
PARAM_VALUE 0 dd->pcidev->sriov->offset 0-u16max
PARAM_VALUE 0 dd->pcidev->sriov->stride 0-u16max
PARAM_VALUE 0 *dd->gi_mask (-1)
PARAM_VALUE 1 arg 4096-ptr_max
PARAM_VALUE 3 thread 0
PARAM_VALUE 4 type 3
PARAM_VALUE 5 name 1648260160995459072
BUF_SIZE 5 name 64
DATA_SOURCE 0 dd $0
DATA_SOURCE 1 arg $0
STR_LEN 0 dd 63
MEM_ZERO 0 dd->msix_info.in_use_msix
NO_OVERFLOW_SIMPLE 0 dd->msix_info.max_requested

drivers/infiniband/hw/hfi1/msix.c msix_request_rcd_irq_common() -> msix_request_irq()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 arg 4096-ptr_max
PARAM_VALUE 4 type 1
PARAM_VALUE 5 name 4463587718024351744,7411978513250672640
BUF_SIZE 5 name 64
BUF_SIZE 5 name 64
DATA_SOURCE 1 arg $0
DATA_SOURCE 2 handler $1
DATA_SOURCE 3 thread $2
DATA_SOURCE 5 name $3
STR_LEN 0 dd 63
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &hfi1_mutex

drivers/infiniband/hw/hfi1/msix.c msix_request_sdma_irq() -> msix_request_irq()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 1 arg 4096-ptr_max
PARAM_VALUE 3 thread 0
PARAM_VALUE 4 type 0
PARAM_VALUE 5 name 394367713912324096
BUF_SIZE 5 name 64
DATA_SOURCE 1 arg $0
STR_LEN 0 dd 63