Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/pci/controller/dwc/pcie-designware-ep.c dw_pcie_ep_clear_ib_maps() -> dw_pcie_disable_atu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 1 | dir | 2147483648 |
| PARAM_VALUE | 2 | index | 0-254 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pci | unit_byte |
| LOCK2 | &epc->lock | ||
| HALF_LOCKED2 | &dir->i_rwsem | ||
| HALF_LOCKED2 | &epf->lock | ||
| TYPE_LOCK | (struct pci_epc)->lock |
drivers/pci/controller/dwc/pcie-designware-ep.c dw_pcie_ep_clear_ib_maps() -> dw_pcie_disable_atu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 1 | dir | 2147483648 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pci | unit_byte |
| LOCK2 | &epc->lock | ||
| HALF_LOCKED2 | &dir->i_rwsem | ||
| HALF_LOCKED2 | &epf->lock | ||
| TYPE_LOCK | (struct pci_epc)->lock |
drivers/pci/controller/dwc/pcie-designware-ep.c dw_pcie_ep_unmap_addr() -> dw_pcie_disable_atu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 1 | dir | 0 |
| PARAM_VALUE | 2 | index | 0-64 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pci | unit_byte |
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &epc->lock | ||
| HALF_LOCKED2 | &epc->lock | ||
| HALF_LOCKED2 | &frag->frag_sem |
drivers/pci/controller/dwc/pcie-designware-host.c dw_pcie_iatu_setup() -> dw_pcie_disable_atu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->num_ob_windows | 1-u32max |
| PARAM_VALUE | 1 | dir | 0 |
| PARAM_VALUE | 2 | index | 0-s32max |
| CAPPED_DATA | 2 | index | 1 |
| FUZZY_MAX | 2 | index | 0 |
| PARAM_COMPARE | 2 | index | < $0->num_ob_windows |
| CONSTRAINT | 2 | index | <2185 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pci | unit_byte |
| UNITS | 2 | index | unit_array_size |
drivers/pci/controller/dwc/pcie-designware-host.c dw_pcie_iatu_setup() -> dw_pcie_disable_atu()
| 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_dirty | 0-1 |
| PARAM_VALUE | 0 | pci->num_ib_windows | 1-u32max |
| PARAM_VALUE | 0 | pci->num_ob_windows | 1-s32max |
| PARAM_VALUE | 0 | pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *pci->dev->driver_data->apb->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | dir | 2147483648 |
| PARAM_VALUE | 2 | index | 0-s32max |
| CAPPED_DATA | 0 | pci->num_ob_windows | 1 |
| CAPPED_DATA | 2 | index | 1 |
| FUZZY_MAX | 2 | index | 0 |
| PARAM_COMPARE | 2 | index | < $0->num_ib_windows |
| CONSTRAINT | 2 | index | <2185 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pci | unit_byte |
| UNITS | 2 | index | unit_array_size |