Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
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 | value | 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 | value | $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 | value | 3567497889842200576 |
| PARAM_VALUE | 4 | *value | 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 | value | 3378279521207533568 |
| PARAM_VALUE | 4 | *value | 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 | value | 2591033488139612160 |
| PARAM_VALUE | 4 | *value | 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 | value | 1135888244505948160 |
| PARAM_VALUE | 4 | *value | 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 | value | 7332142751480496128 |
| PARAM_VALUE | 4 | *value | 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 | value | 1601706168893825024 |
| PARAM_VALUE | 4 | *value | 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 |