Open Menu /

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_free()

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
PARAM_VALUE 0 efct->reg 4096-ptr_max
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
NOCHECK_CALL
HOST_DATA 0 efct->hw.sli.pci->acs_capabilities 0-u16max
HOST_DATA 0 efct->hw.sli.pci->class 0-16777215
HOST_DATA 0 efct->hw.sli.pci->current_state 0-3[c]
HOST_DATA 0 efct->hw.sli.pci->devcap 0-u32max
HOST_DATA 0 efct->hw.sli.pci->devfn 0-503[c]
HOST_DATA 0 efct->hw.sli.pci->device 0-u16max
HOST_DATA 0 efct->hw.sli.pci->eetlp_prefix_max 0-7[c]
HOST_DATA 0 efct->hw.sli.pci->fm_enabled 0-1[c]
HOST_DATA 0 efct->hw.sli.pci->hdr_type 0-255[c]
HOST_DATA 0 efct->hw.sli.pci->ide_cfg 0-1[c]
HOST_DATA 0 efct->hw.sli.pci->ide_tee_limit 0-1[c]
HOST_DATA 0 efct->hw.sli.pci->irq 0-255
HOST_DATA 0 efct->hw.sli.pci->is_cxl 0-1
HOST_DATA 0 efct->hw.sli.pci->multifunction 0-1[c]
HOST_DATA 0 efct->hw.sli.pci->nr_ide_mem 0-255[c]
HOST_DATA 0 efct->hw.sli.pci->pcie_mpss 0-7[c]
HOST_DATA 0 efct->hw.sli.pci->pin 0
HOST_DATA 0 efct->hw.sli.pci->pme_support 0-31[c]
HOST_DATA 0 efct->hw.sli.pci->ptm_granularity 0-255[c]
HOST_DATA 0 efct->hw.sli.pci->revision 0-255
HOST_DATA 0 efct->hw.sli.pci->subsystem_device 0-u16max
HOST_DATA 0 efct->hw.sli.pci->subsystem_vendor 0-u16max
HOST_DATA 0 efct->hw.sli.pci->supported_speeds 0,2-254[c]
HOST_DATA 0 efct->hw.sli.pci->transparent 0[c]
HOST_DATA 0 efct->hw.sli.pci->vendor 0-u16max
HOST_DATA 0 efct->pci->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 efct->hw.cmd_ctx_pool->min_nr
NO_OVERFLOW_SIMPLE 0 efct->hw.mbox_rqst_pool->min_nr

drivers/scsi/elx/efct/efct_driver.c efct_pci_remove() -> efct_device_free()

Type Parameter Key Value
PARAM_VALUE 0 efct 4096-ptr_max
PARAM_VALUE 0 efct->pci->msix_base 0
PARAM_VALUE 0 efct->reg 4096-ptr_max
BUF_SIZE 0 efct s32min-(-2),1-s32max
BUF_SIZE 0 efct s32min-(-2),1-s32max
CAPPED_DATA 0 efct->n_msix_vec 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 efct unit_byte