Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/elx/efct/efct_driver.c efct_pci_probe() -> efct_device_interrupts_required()

Type Parameter Key Value
PARAM_VALUE 0 efct 4096-ptr_max
PARAM_VALUE 0 efct->numa_node 0-s32max
PARAM_VALUE 0 efct->pci 4096-ptr_max
PARAM_VALUE 0 efct->pci->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 efct->pci->dev.class 0,4096-ptr_max
PARAM_VALUE 0 efct->pci->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 efct->pci->driver 4096-ptr_max
PARAM_VALUE 0 efct->pci->error_state 0-2,4-u32max
PARAM_VALUE 0 efct->pci->is_busmaster 1
PARAM_VALUE 0 efct->pci->pcie_cap 0-1
BUF_SIZE 0 efct 37552
BUF_SIZE 0 efct->pci (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
DATA_SOURCE 0 efct r efct_device_alloc
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 efct->pci->current_state 0-3[c]