Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/realtek/r8169_main.c r8168ep_ocp_read() -> _rtl_eri_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->dev->rtnl_link_ops->get_num_rx_queues | 0,1694260139628544000,4559208055891021824,7097615251001798656,8443738062496038912 |
| PARAM_VALUE | 0 | tp->dev->rtnl_link_ops->get_num_tx_queues | 0,1694260139628544000,4559208055891021824,7071371917186535424,8443738062496038912 |
| PARAM_VALUE | 0 | tp->dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 0 | tp->pci_dev->bus->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 0 | tp->pci_dev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | tp->pci_dev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | tp->pci_dev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | tp->pci_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | tp->pci_dev->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | tp->pci_dev->subordinate->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | tp->phydev->attached_dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | tp->phydev->drv->flags | 0-2,4-5,8 |
| PARAM_VALUE | 0 | tp->phydev->drv->phy_id_mask | 0,1048512,1048560,1048574,16777212,16777215,268435440,429496627,4294966272,4294967247,4294967272,4294967279-4294967280,4294967282,4294967289,4294967292,4294967294-u32max |
| PARAM_VALUE | 0 | tp->phydev->mdio.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | tp->phydev->mdio.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | tp->phydev->mdio.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | tp->tx_skb->len | 0-4294967295 |
| PARAM_VALUE | 1 | addr | 48,292,296 |
| PARAM_VALUE | 2 | type | 131072 |
| BUF_SIZE | 0 | tp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | tp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | tp->RxDescArray | (-1),4096 |
| BUF_SIZE | 0 | tp->TxDescArray | (-1),4096 |
| BUF_SIZE | 0 | tp->clk | (-1),1-s32max |
| BUF_SIZE | 0 | tp->fw_name | (-1),22 |
| BUF_SIZE | 0 | tp->leds | (-1),3136,3920 |
| BUF_SIZE | 0 | tp->pci_dev | (-1),1-s32max |
| DATA_SOURCE | 0 | tp | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| HARD_MAX | 1 | addr | 296 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | tp->cp_cmd | 0-8291 |
| HOST_DATA | 0 | tp->pci_dev->current_state | 0-3[c] |
| USER_DATA | 0 | tp->saved_wolopts | 1-62 |
| NO_OVERFLOW_SIMPLE | 0 | tp->RxPhyAddr | |
| NO_OVERFLOW_SIMPLE | 0 | tp->TxPhyAddr | |
| NO_OVERFLOW_SIMPLE | 0 | tp->counters_phys_addr | |
| NO_OVERFLOW_SIMPLE | 0 | tp->mmio_addr->node.size | |
| NO_OVERFLOW_SIMPLE | 0 | tp->napi.skb->extensions | |
| NO_OVERFLOW_SIMPLE | 0 | tp->napi.thread->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | tp->phydev->attached_dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | tp->phydev->skb | |
| NO_OVERFLOW_SIMPLE | 0 | tp->phydev->skb->end | |
| NO_OVERFLOW_SIMPLE | 0 | tp->phydev->skb->extensions | |
| NO_OVERFLOW_SIMPLE | 0 | tp->rtl_fw->fw | |
| NO_OVERFLOW_SIMPLE | 0 | tp->rtl_fw->fw->data | |
| UNITS | 0 | tp | unit_byte |
| HALF_LOCKED2 | 0 | &tp->dev->nd_net.net->rtnl_mutex |
drivers/net/ethernet/realtek/r8169_main.c rtl_eri_read() -> _rtl_eri_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->dev->rtnl_link_ops->get_num_rx_queues | 0,1694260139628544000,4559208055891021824,7097615251001798656,8443738062496038912 |
| PARAM_VALUE | 0 | tp->dev->rtnl_link_ops->get_num_tx_queues | 0,1694260139628544000,4559208055891021824,7071371917186535424,8443738062496038912 |
| PARAM_VALUE | 0 | tp->dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 0 | tp->mac_version | 5-u32max |
| PARAM_VALUE | 0 | tp->pci_dev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | tp->pci_dev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | tp->pci_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | tp->pci_dev->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | tp->pci_dev->subordinate->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | tp->phydev->attached_dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | tp->phydev->devlink->link_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | tp->phydev->drv->flags | 0-2,4-5,8 |
| PARAM_VALUE | 0 | tp->phydev->drv->phy_id_mask | 0,1048512,1048560,1048574,16777212,16777215,268435440,429496627,4294966272,4294967247,4294967272,4294967279-4294967280,4294967282,4294967289,4294967292,4294967294-u32max |
| PARAM_VALUE | 0 | tp->phydev->mdio.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | tp->phydev->mdio.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | tp->phydev->mdio.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | tp->tx_skb->len | 0-4294967295 |
| PARAM_VALUE | 1 | addr | 212,220,224,228,424,432,464,764 |
| PARAM_VALUE | 2 | type | 0 |
| BUF_SIZE | 0 | tp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | tp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | tp->RxDescArray | (-1),4096 |
| BUF_SIZE | 0 | tp->TxDescArray | (-1),4096 |
| BUF_SIZE | 0 | tp->clk | (-1),1-s32max |
| BUF_SIZE | 0 | tp->fw_name | (-1),22 |
| BUF_SIZE | 0 | tp->pci_dev | (-1),1-s32max |
| DATA_SOURCE | 0 | tp | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| FUZZY_MAX | 0 | tp->mac_version | 30 |
| HARD_MAX | 1 | addr | 764 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | tp->cp_cmd | 0-8291 |
| HOST_DATA | 0 | tp->pci_dev->current_state | 0-3[c] |
| USER_DATA | 0 | tp->saved_wolopts | 1-62 |
| UNITS | 0 | tp | unit_byte |