Defined in 1 files as a function:

No references found in the database

Smatch caller information:

drivers/pci/controller/dwc/pcie-designware.c dw_pcie_find_capability() -> dw_pcie_read_cfg_byte()

Type Parameter Key Value
PARAM_VALUE 0 pci->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 pci->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pci->edma.dw->core 0-s64max
PARAM_VALUE 0 pci->edma.dw->nr_irqs s32min-s32max
PARAM_VALUE 0 pci->edma.dw->rd_ch_cnt 0-u16max
PARAM_VALUE 0 pci->edma.dw->wr_ch_cnt 0-u16max
PARAM_VALUE 0 pci->pp.irq_domain->msi_parent_ops->bus_select_token 0,3,5,9,12-13
PARAM_VALUE 1 where 52
PARAM_VALUE 2 val 7180195289936838656
PARAM_VALUE 2 *val 52
BUF_SIZE 0 pci s32min-(-1),1-s32max
BUF_SIZE 0 pci s32min-(-1),1-s32max
BUF_SIZE 0 pci->dev (-1),1616
BUF_SIZE 0 pci->ep.ops (-1),48
BUF_SIZE 0 pci->ops (-1),64
BUF_SIZE 0 pci->pp.ops (-1),40
DATA_SOURCE 0 pci $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pci->edma.ll_rd_cnt 0-u16max[c]
HOST_DATA 0 pci->max_link_speed s32min-s32max[c]
HOST_DATA 0 pci->num_lanes s32min-s32max[c]
HOST_DATA 0 pci->region_limit u32max,8589934591-u64max[c]
HOST_DATA 0 pci->type 0-u32max
NO_OVERFLOW_SIMPLE 0 pci->num_ob_windows
NO_OVERFLOW_SIMPLE 0 pci->pp.cfg->res.start
UNITS 0 pci unit_byte

drivers/pci/controller/dwc/pcie-designware.c dw_pcie_remove_capability() -> dw_pcie_read_cfg_byte()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
PARAM_VALUE 1 where 52
PARAM_VALUE 2 val 8732904902320799744
PARAM_VALUE 2 *val 52
DATA_SOURCE 0 pci $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pci unit_byte