Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/pci/controller/dwc/pcie-dw-rockchip.c rockchip_pcie_host_init() -> dw_pcie_writel_dbi2()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
PARAM_VALUE 0 pci->dbi_base2 4096-ptr_max
PARAM_VALUE 0 pci->dev 4096-ptr_max
PARAM_VALUE 0 pci->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 pci->dev->driver_data->apb->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 pci->dev->driver_data->apb->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 pci->dev->driver_data->apb->cache->cached_rbnode->node.__rb_parent_color 0-1,4096-s64max
PARAM_VALUE 0 pci->dev->driver_data->supports_clkreq 0-1
PARAM_VALUE 0 pci->ops 0,4096-ptr_max
PARAM_VALUE 0 *pci->dev->driver_data->apb->cache->data 0-4294967295
PARAM_VALUE 1 reg 16
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/controller/dwc/pcie-dw-rockchip.c rockchip_pcie_host_init() -> dw_pcie_writel_dbi2()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
PARAM_VALUE 0 pci->dbi_base2 4096-ptr_max
PARAM_VALUE 0 pci->dev 4096-ptr_max
PARAM_VALUE 0 pci->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 pci->dev->driver_data->apb->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 pci->dev->driver_data->apb->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 pci->dev->driver_data->apb->cache->cached_rbnode->node.__rb_parent_color 0-1,4096-s64max
PARAM_VALUE 0 pci->dev->driver_data->supports_clkreq 0-1
PARAM_VALUE 0 pci->ops 0,4096-ptr_max
PARAM_VALUE 0 *pci->dev->driver_data->apb->cache->data 0-4294967295
PARAM_VALUE 1 reg 20
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/controller/dwc/pci-keystone.c ks_pcie_am654_ep_init() -> dw_pcie_writel_dbi2()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
PARAM_VALUE 1 reg 16
PARAM_VALUE 2 val 16383
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL