Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 35 files:
- arch/powerpc/platforms/powermac/pci.c
- arch/powerpc/sysdev/fsl_pci.c, line 759
- arch/um/drivers/virt-pci.c, line 208
- drivers/pci/access.c, line 106
- drivers/pci/controller/cadence/pci-j721e.c, line 348
- drivers/pci/controller/cadence/pcie-cadence-host-hpa.c, line 84
- drivers/pci/controller/cadence/pcie-cadence-host.c, line 74
- drivers/pci/controller/cadence/pcie-sg2042.c, line 30
- drivers/pci/controller/dwc/pci-keystone.c
- drivers/pci/controller/dwc/pci-meson.c, line 323
- drivers/pci/controller/dwc/pcie-al.c
- drivers/pci/controller/dwc/pcie-designware-host.c
- drivers/pci/controller/dwc/pcie-hisi.c, line 41
- drivers/pci/controller/dwc/pcie-qcom.c, line 1934
- drivers/pci/controller/dwc/pcie-tegra194-acpi.c, line 106
- drivers/pci/controller/dwc/pcie-tegra194.c, line 589
- drivers/pci/controller/mobiveil/pcie-mobiveil-host.c, line 79
- drivers/pci/controller/pci-host-generic.c, line 47
- drivers/pci/controller/pci-loongson.c
- drivers/pci/controller/pci-rcar-gen2.c, line 274
- drivers/pci/controller/pci-tegra.c, line 470
- drivers/pci/controller/pci-thunder-ecam.c
- drivers/pci/controller/pci-thunder-pem.c, line 154
- drivers/pci/controller/pci-v3-semi.c, line 411
- drivers/pci/controller/pcie-apple.c, line 845
- drivers/pci/controller/pcie-brcmstb.c, line 2031
- drivers/pci/controller/pcie-mediatek.c, line 911
- drivers/pci/controller/pcie-mt7621.c, line 140
- drivers/pci/controller/pcie-rzg3s-host.c, line 563
- drivers/pci/controller/pcie-xilinx-dma-pl.c, line 210
- drivers/pci/controller/pcie-xilinx-nwl.c, line 250
- drivers/pci/controller/pcie-xilinx.c, line 192
- drivers/pci/controller/plda/pcie-microchip-host.c, line 807
- drivers/pci/controller/plda/pcie-starfive.c, line 97
- drivers/pci/ecam.c
Smatch caller information:
drivers/pci/controller/plda/pcie-starfive.c starfive_pcie_config_read() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/pci-v3-semi.c v3_pci_read_config() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/dwc/pcie-designware-host.c dw_pcie_rd_other_conf() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/dwc/pcie-tegra194.c tegra_pcie_dw_rd_own_conf() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/cadence/pci-j721e.c cdns_ti_pcie_config_read() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->parent | 1-u64max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/dwc/pci-meson.c meson_pcie_rd_own_conf() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/dwc/pcie-hisi.c hisi_pcie_rd_conf() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 0 | bus->sysdata | 4096-ptr_max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/pci-tegra.c tegra_pcie_config_read() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->number | 1-255 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/pci-thunder-pem.c thunder_pem_config_read() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 0 | bus->sysdata | 4096-ptr_max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| CAPPED_DATA | 0 | bus->number | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/pci-thunder-ecam.c thunder_ecam_config_read() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/controller/pci-thunder-ecam.c thunder_ecam_p2_config_read() -> pci_generic_config_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,4-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &inject_lock | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/irq.c pci_check_and_set_intx_mask() -> (struct pci_ops)->read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 2 | where | 4 |
| PARAM_VALUE | 3 | size | 4 |
| PARAM_VALUE | 4 | val | 4570323270825865216 |
| CONTAINER | 0 | -24-192+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | global &pci_lock | ||
| HALF_LOCKED2 | &vdev->irqlock | ||
| HALF_LOCKED2 | flags |
drivers/pci/pcie/aer_inject.c aer_inj_read() -> (struct pci_ops)->read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | bus->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | bus->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| BUF_SIZE | 0 | bus | (-1),88,1904,1984-3064,3712 |
| CAPPED_DATA | 0 | bus | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| DATA_SOURCE | 3 | size | $3 |
| DATA_SOURCE | 4 | val | $4 |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,4-253,256-4092[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | bus->dev.physical_location | |
| LOCK2 | global &inject_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &pci_lock | ||
| HALF_LOCKED2 | irq |
drivers/pci/access.c pci_bus_read_config_byte() -> (struct pci_ops)->read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 3 | size | 1 |
| PARAM_VALUE | 4 | val | 3567497889842200576 |
| PARAM_VALUE | 4 | *val | 0 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| CONTAINER | 0 | -24-192+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 65-253[c] |
drivers/pci/access.c pci_bus_read_config_dword() -> (struct pci_ops)->read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 3 | size | 4 |
| PARAM_VALUE | 4 | val | 3378279521207533568 |
| PARAM_VALUE | 4 | *val | 0 |
| BUF_SIZE | 0 | bus | (-1)-0,1904 |
| BUF_SIZE | 0 | bus | (-1)-0,1904 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| CONTAINER | 0 | -24-192+0 | $(-1) |
| BIT_INFO | 2 | where | 0x0,0x7ffffffc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HALF_LOCKED2 | &asus->hotplug_lock | ||
| HALF_LOCKED2 | &eeepc->hotplug_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &pci_rescan_remove_lock | ||
| HALF_LOCKED2 | rcu_read |
drivers/pci/access.c pci_bus_read_config_word() -> (struct pci_ops)->read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 3 | size | 2 |
| PARAM_VALUE | 4 | val | 2591033488139612160 |
| PARAM_VALUE | 4 | *val | 0 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | devfn | $1 |
| DATA_SOURCE | 2 | where | $2 |
| CONTAINER | 0 | -24-192+0 | $(-1) |
| BIT_INFO | 2 | where | 0x0,0x7ffffffe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 1 | devfn | 0-503[c] |
| HOST_DATA | 2 | where | 0,64-252[c] |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &list_rwsem |
drivers/pci/access.c pci_user_read_config_byte() -> (struct pci_ops)->read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | size | 1 |
| PARAM_VALUE | 4 | val | 1135888244505948160 |
| PARAM_VALUE | 4 | *val | u32max |
| DATA_SOURCE | 2 | where | $1 |
| CONTAINER | 0 | *(-24-192+0) | $(-1) |
| CONTAINER | 1 | *(-24-192-16+56) | $(-1) |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | where | 0-2000000011[c] |
| LOCK2 | global &pci_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &of->mutex |
drivers/pci/access.c pci_user_read_config_dword() -> (struct pci_ops)->read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | size | 4 |
| PARAM_VALUE | 4 | val | 7332142751480496128 |
| PARAM_VALUE | 4 | *val | u32max |
| DATA_SOURCE | 2 | where | $1 |
| CONTAINER | 0 | *(-24-192+0) | $(-1) |
| CONTAINER | 1 | *(-24-192-16+56) | $(-1) |
| BIT_INFO | 2 | where | 0x0,0x7ffffffc |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | devfn | 0-503[c] |
| USER_DATA | 2 | where | 0-2000000012[c] |
| LOCK2 | global &pci_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &vdev->memory_lock | ||
| HALF_LOCKED2 | &vpd->lock |
drivers/pci/access.c pci_user_read_config_word() -> (struct pci_ops)->read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | size | 2 |
| PARAM_VALUE | 4 | val | 1601706168893825024 |
| PARAM_VALUE | 4 | *val | u32max |
| DATA_SOURCE | 2 | where | $1 |
| CONTAINER | 0 | *(-24-192+0) | $(-1) |
| CONTAINER | 1 | *(-24-192-16+56) | $(-1) |
| BIT_INFO | 2 | where | 0x0,0x7ffffffe |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | devfn | 0-503[c] |
| USER_DATA | 2 | where | 0-1000000010[c] |
| LOCK2 | global &pci_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &vdev->memory_lock | ||
| HALF_LOCKED2 | &vpd->lock |