Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/pci/controller/dwc/pci-exynos.c, line 208
- drivers/pci/controller/dwc/pcie-designware.c, line 418
- drivers/pci/controller/dwc/pcie-designware.h
- drivers/pci/controller/dwc/pcie-histb.c, line 145
- drivers/pci/controller/dwc/pcie-kirin.c, line 534
Smatch caller information:
drivers/pci/controller/dwc/pcie-designware-ep.c dw_pcie_ep_write_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 1-2,4 |
| DATA_SOURCE | 2 | size | $3 |
| DATA_SOURCE | 3 | val | $4 |
| HARD_MAX | 2 | size | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
| UNITS | 0 | pci | unit_byte |
| HALF_LOCKED2 | &epc->lock |
drivers/pci/controller/dwc/pcie-designware-ep.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->cma_area->nranges | s32min-s32max |
| 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 | 1 | reg | 260-4096 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| 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->region_limit | u32max,8589934591-u64max[c] |
| HOST_DATA | 0 | pci->type | 0-u32max |
| HOST_DATA | 1 | reg | 260-4096[c] |
| HOST_DATA | 3 | val | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | pci->num_ob_windows | |
| UNITS | 0 | pci | unit_byte |
| HALF_LOCKED2 | &epc->lock |
drivers/pci/controller/dwc/pcie-intel-gw.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 16,80-268 |
| PARAM_VALUE | 2 | size | 4 |
| PARAM_VALUE | 3 | val | 0,4-u32max |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| BIT_INFO | 3 | val | 0x0,0xffffffec |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0,4-u32max[c] |
drivers/pci/controller/dwc/pcie-qcom-common.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev | 4096-ptr_max |
| 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->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->link_up | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->start_link | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->write_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 2192,2216,2220,2944,2948 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| HARD_MAX | 1 | reg | 2948 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | pci->edma.ll_rd_cnt | 0-u16max[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 |
| HOST_DATA | 3 | val | 0-u32max[c] |
drivers/pci/controller/dwc/pcie-andes-qilai.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 2236,2280 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| HARD_MAX | 1 | reg | 2280 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pcie-armada8k.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | pci->dev->driver_data->apb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| 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->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32768,32796,32800,32848,32852,32860,32864 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| HARD_MAX | 1 | reg | 32864 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | pci->edma.ll_rd_cnt | 0-u16max[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 |
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pcie-sophgo.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 12,76-264,2236 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pcie-designware-debugfs.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
| USER_DATA | 3 | val | 0-u32max[c][u] |
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &ptm_debugfs->lock | ||
| HALF_LOCKED2 | &rinfo->reg_event_lock |
drivers/pci/controller/dwc/pcie-ultrarisc.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | pci->dev->driver_data->apb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| 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->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->link_up | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 40,48,104-300,1800,1816,4194304 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | pci->edma.ll_rd_cnt | 0-u16max[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 |
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pcie-qcom.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 2236 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pcie-kirin.c kirin_pcie_wr_own_conf() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 1 | reg | $2 |
| DATA_SOURCE | 2 | size | $3 |
| DATA_SOURCE | 3 | val | $4 |
| NOSPEC | 1 | reg | |
| NOSPEC | 1 | reg | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
| USER_DATA | 1 | reg | 0-1000000012[c] |
| USER_DATA | 3 | val | 0-u32max |
| UNITS | 0 | pci | unit_byte |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/dwc/pci-exynos.c exynos_pcie_wr_own_conf() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 1 | reg | $2 |
| DATA_SOURCE | 2 | size | $3 |
| DATA_SOURCE | 3 | val | $4 |
| NOSPEC | 1 | reg | |
| NOSPEC | 1 | reg | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
| USER_DATA | 1 | reg | 0-1000000012[c] |
| USER_DATA | 3 | val | 0-u32max |
| UNITS | 0 | pci | unit_byte |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/dwc/pcie-designware-host.c dw_pcie_writeb_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->write_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 268-2147487771 |
| PARAM_VALUE | 2 | size | 1 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/pci/controller/dwc/pcie-designware-host.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
| UNITS | 0 | pci | unit_byte |
| HALF_LOCKED2 | &pp->lock |
drivers/pci/controller/dwc/pcie-designware-host.c dw_pcie_writew_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->write_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 10 |
| PARAM_VALUE | 2 | size | 2 |
| PARAM_VALUE | 3 | val | 1540 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pci | unit_byte |
drivers/pci/controller/dwc/pcie-eswin.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev | 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->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 2236 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pcie-eswin.c dw_pcie_writew_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev | 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->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 0,2 |
| PARAM_VALUE | 2 | size | 2 |
| PARAM_VALUE | 3 | val | 8161,8240 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| HARD_MAX | 1 | reg | 2 |
| HARD_MAX | 3 | val | 8240 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/pci/controller/dwc/pcie-tegra194.c dw_pcie_writeb_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->write_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 2 | size | 1 |
| PARAM_VALUE | 3 | val | 85 |
| BUF_SIZE | 0 | pci | 7224 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 85[c] |
drivers/pci/controller/dwc/pcie-tegra194.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->cma_area->nranges | s32min-s32max |
| 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 | 2 | size | 4 |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | pci->edma.ll_rd_cnt | 0-u16max[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 |
| HOST_DATA | 1 | reg | 260-4096[c] |
| HOST_DATA | 3 | val | 0-u32max |
| HALF_LOCKED2 | &s->lock |
drivers/pci/controller/dwc/pcie-tegra194.c dw_pcie_writew_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 2 |
| BUF_SIZE | 0 | pci | (-1),7224 |
| BUF_SIZE | 0 | pci | (-1),7224 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u16max |
drivers/pci/controller/dwc/pcie-nxp-s32g.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 1800,2192,2236,2272,2276,2280 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| HARD_MAX | 1 | reg | 2280 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pci-layerscape.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev | 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->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 2236 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pci-meson.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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 |
| PARAM_VALUE | 0 | pci->dev->driver_data->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 8,72-260 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | 7224 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pcie-designware.c dw_pcie_writeb_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->write_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 1,52,65-253 |
| PARAM_VALUE | 2 | size | 1 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | reg | 1,65-253[c] |
| HOST_DATA | 3 | val | 0-255[c] |
drivers/pci/controller/dwc/pcie-designware.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->cma_area->nranges | s32min-s32max |
| 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->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 12,48,76-4096 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| 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->region_limit | u32max,8589934591-u64max[c] |
| HOST_DATA | 0 | pci->type | 0-u32max |
| HOST_DATA | 1 | reg | 12,48,76-300[c] |
| HOST_DATA | 3 | val | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | pci->num_ob_windows | |
| UNITS | 0 | pci | unit_byte |
drivers/pci/controller/dwc/pcie-spacemit-k1.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | (-1),7224 |
| BUF_SIZE | 0 | pci | (-1),7224 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pcie-spacemit-k1.c dw_pcie_writew_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->driver_data->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 0,2 |
| PARAM_VALUE | 2 | size | 2 |
| PARAM_VALUE | 3 | val | 1,8223 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| HARD_MAX | 1 | reg | 2 |
| HARD_MAX | 3 | val | 8223 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/pci/controller/dwc/pcie-dw-rockchip.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 76-264,2236 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pcie-fu740.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->cma_area->nranges | s32min-s32max |
| 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->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->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->link_up | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->start_link | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->write_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 12,76-264,2060,2236 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | pci->edma.ll_rd_cnt | 0-u16max[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 |
| HOST_DATA | 1 | reg | 12,76-264[c] |
| HOST_DATA | 3 | val | 0-u32max |
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &epc->lock | ||
| HALF_LOCKED2 | &frag->frag_sem |
drivers/pci/controller/dwc/pci-dra7xx.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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 |
| PARAM_VALUE | 0 | pci->dev->driver_data->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->mode | 3 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 4 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
| HALF_LOCKED2 | &fsm->lock |
drivers/pci/controller/dwc/pcie-qcom-ep.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->class | 0,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 |
| PARAM_VALUE | 0 | pci->dev->driver_data->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | pci->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | pci->dev->power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pci->dev->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ep.epc | 0,4096-u64max |
| PARAM_VALUE | 0 | pci->ep.epc->init_complete | 0 |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | pci->ep.epc->list_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reg | 12,76-264,2236 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | (-1),7224 |
| BUF_SIZE | 0 | pci | (-1),7224 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
| HALF_LOCKED2 | _T->lock |
drivers/pci/controller/dwc/pci-keystone.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 16,20,2236 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| HARD_MAX | 1 | reg | 2236 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pci-keystone.c dw_pcie_writew_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->pp.bridge | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 0,2 |
| PARAM_VALUE | 2 | size | 2 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| HARD_MAX | 1 | reg | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/pci/controller/dwc/pci-imx6.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci->dev->cma_area->nranges | s32min-s32max |
| 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 | 1 | reg | 12,76-264,2060,2068,2192,2236 |
| PARAM_VALUE | 2 | size | 4 |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | pci | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | pci->edma.ll_rd_cnt | 0-u16max[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 |
| HOST_DATA | 1 | reg | 12,76-264[c] |
| HOST_DATA | 3 | val | 0-u32max |
drivers/pci/controller/dwc/pci-imx6.c dw_pcie_writew_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->pp.irq_domain->msi_parent_ops->bus_select_token | 0,3,5,9,12-13 |
| PARAM_VALUE | 1 | reg | 2,66-254 |
| PARAM_VALUE | 2 | size | 2 |
| BUF_SIZE | 0 | pci | (-1),7224 |
| BUF_SIZE | 0 | pci | (-1),7224 |
| BUF_SIZE | 0 | pci->dev | (-1),1616 |
| BUF_SIZE | 0 | pci->ops | (-1),64 |
| BUF_SIZE | 0 | pci->pp.ops | (-1),40 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | pci->pp.cfg->res.start |
drivers/pci/controller/dwc/pci-layerscape-ep.c dw_pcie_writel_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 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->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 12,76-264,2236 |
| PARAM_VALUE | 2 | size | 4 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |
drivers/pci/controller/dwc/pcie-spear13xx.c dw_pcie_writew_dbi() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->dev | 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 |
| PARAM_VALUE | 0 | pci->dev->driver_data->apb->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->ops->read_dbi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 0,2,8,72-260 |
| PARAM_VALUE | 2 | size | 2 |
| PARAM_VALUE | 3 | val | 0-36863,52608 |
| DATA_SOURCE | 0 | pci | $0 |
| DATA_SOURCE | 1 | reg | $1 |
| DATA_SOURCE | 3 | val | $2 |
| BIT_INFO | 3 | val | 0x0,0xdfff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-36863[c] |
drivers/pci/controller/dwc/pcie-histb.c histb_pcie_wr_own_conf() -> dw_pcie_write_dbi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 1 | reg | $2 |
| DATA_SOURCE | 2 | size | $3 |
| DATA_SOURCE | 3 | val | $4 |
| NOSPEC | 1 | reg | |
| NOSPEC | 1 | reg | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | val | 0-u32max |
| USER_DATA | 1 | reg | 0-1000000012[c] |
| USER_DATA | 3 | val | 0-u32max |
| UNITS | 0 | pci | unit_byte |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |