Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/e100.c e100_disable_irq() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | 0,u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | *nic->cb_to_use->u.ucode | 0-4294967295 |
| PARAM_VALUE | 0 | *nic->eeprom | 0-u16max |
| BUF_SIZE | 0 | nic->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | nic | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | nic->pdev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | nic->cbs_pool->allocation | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &nic->cmd_lock | |
| TYPE_LOCK | (struct nic)->cmd_lock |
drivers/net/ethernet/intel/e100.c e100_eeprom_read() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | 0,u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | nic->pdev->dev.cma_area->nranges | s32min-s32max |
| BUF_SIZE | 0 | nic->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | nic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | nic->pdev->current_state | 0-3[c] |
drivers/net/ethernet/intel/e100.c e100_eeprom_read() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | 0,u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | nic->pdev->dev.cma_area->nranges | s32min-s32max |
| BUF_SIZE | 0 | nic->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | nic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | nic->pdev->current_state | 0-3[c] |
drivers/net/ethernet/intel/e100.c e100_eeprom_read() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | 0,u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | nic->pdev->dev.cma_area->nranges | s32min-s32max |
| BUF_SIZE | 0 | nic->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | nic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | nic->pdev->current_state | 0-3[c] |
drivers/net/ethernet/intel/e100.c e100_eeprom_read() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | 0,u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | nic->pdev->dev.cma_area->nranges | s32min-s32max |
| BUF_SIZE | 0 | nic->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | nic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | nic->pdev->current_state | 0-3[c] |
drivers/net/ethernet/intel/e100.c e100_eeprom_write() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->eeprom | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->eeprom_wc | 2-u16max |
| DATA_SOURCE | 0 | nic | $0 |
| POWER_OF_TWO | 0 | *nic | |
| NOCHECK_CALL |
drivers/net/ethernet/intel/e100.c e100_eeprom_write() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->eeprom | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->eeprom_wc | 2-u16max |
| DATA_SOURCE | 0 | nic | $0 |
| POWER_OF_TWO | 0 | *nic | |
| NOCHECK_CALL |
drivers/net/ethernet/intel/e100.c e100_eeprom_write() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->eeprom | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->eeprom_wc | 2-u16max |
| DATA_SOURCE | 0 | nic | $0 |
| POWER_OF_TWO | 0 | *nic | |
| NOCHECK_CALL |
drivers/net/ethernet/intel/e100.c e100_eeprom_write() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->eeprom | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->eeprom_wc | 2-u16max |
| DATA_SOURCE | 0 | nic | $0 |
| POWER_OF_TWO | 0 | *nic | |
| NOCHECK_CALL |
drivers/net/ethernet/intel/e100.c e100_enable_irq() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cmd_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->mem->selftest.result | 0,u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | nic->netdev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 0 | nic->netdev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| PARAM_VALUE | 0 | *nic->rx_to_clean->skb->cb | 0-255 |
| DATA_SOURCE | 0 | nic | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &nic->cmd_lock | |
| TYPE_LOCK | (struct nic)->cmd_lock |
drivers/net/ethernet/intel/e100.c e100_hw_reset() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | 0,u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | *nic->eeprom | 0-u16max |
| BUF_SIZE | 0 | nic->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | nic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | nic->pdev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | nic->cbs_pool->allocation |
drivers/net/ethernet/intel/e100.c e100_hw_reset() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | 0,u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | *nic->eeprom | 0-u16max |
| BUF_SIZE | 0 | nic->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | nic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | nic->pdev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | nic->cbs_pool->allocation |
drivers/net/ethernet/intel/e100.c e100_load_ucode_wait() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->cb_to_clean | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cb_to_use->prev->command | 0-49151 |
| PARAM_VALUE | 0 | nic->cb_to_use->skb | 0,4096-ptr_max |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.addr_wake | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.arp_wake | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.byte_count | 22,32 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.cna_intr | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.crc_16_bit | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.crs_or_cdt | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.csma_disabled | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.direct_rx_dma | 1 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.fc_delay_hi | 64 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.fc_delay_lo | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.fc_priority_location | 1 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.fc_priority_threshold | 7 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.fc_reject | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.fc_restart | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.fc_restop | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.full_duplex_pin | 1 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.ifs | 6 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.ignore_ul_bit | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.ip_addr_hi | 242 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.ip_addr_lo | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.mcmatch_wake | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.multi_ia | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.no_source_addr_insertion | 1 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad0 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad1 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad10 | 6 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad11 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad12 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad15_1 | 1 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad15_2 | 1 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad18 | 1 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad20_1 | 31 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad20_2 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad21_1 | 5 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad21_2 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad22 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad3 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad4 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad7 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad8 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.pad9 | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.preamble_length | 2 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.rx_fifo_limit | 8 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.rx_stripping | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.rx_vlan_drop | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.tx_dynamic_tbd | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.tx_fifo_limit | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.tx_padding | 1 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.tx_underrun_retry | 3 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.type_enable | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.vlan_arp_tco | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.config.wait_after_win | 0 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.tcb.tbd_count | 1 |
| PARAM_VALUE | 0 | nic->cb_to_use->u.tcb.tcb_byte_count | 0 |
| PARAM_VALUE | 0 | nic->cbs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cbs_pool | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->alloc_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | nic->cbs_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->cbs_pool->size | 0-s32max |
| PARAM_VALUE | 0 | nic->cmd_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->cuc_cmd | 16 |
| PARAM_VALUE | 0 | nic->fw | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->fw->data | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->fw->size | 539 |
| PARAM_VALUE | 0 | nic->mac | 8-9,15-16 |
| PARAM_VALUE | 0 | nic->mdio_ctrl | 4661850478365921280,6843390758505443328 |
| PARAM_VALUE | 0 | nic->mem | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | nic->mii.phy_id | 0-31 |
| PARAM_VALUE | 0 | nic->pdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->ru_running | 0 |
| PARAM_VALUE | 0 | nic->rx_to_clean | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_to_clean->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_to_use | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rxs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rxs->dma_addr | 0-18446744073709551614 |
| PARAM_VALUE | 0 | nic->rxs->next | 16,24,4096-ptr_max |
| PARAM_VALUE | 0 | nic->rxs->prev->skb->data->link | 0-4294967295 |
| PARAM_VALUE | 0 | nic->rxs->skb | 4096-ptr_max |
| PARAM_VALUE | 0 | *nic->cb_to_use->u.iaaddr | 0-255 |
| PARAM_VALUE | 0 | *nic->cb_to_use->u.ucode | 0-4294967295 |
| PARAM_VALUE | 0 | *nic->eeprom | 0-u16max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| CAPPED_DATA | 0 | nic->cbs_pool->size | 1 |
| CAPPED_DATA | 0 | nic->params.cbs.count | 1 |
| CAPPED_DATA | 0 | nic->params.rfds.count | 1 |
| DATA_SOURCE | 0 | nic | $0 |
| BIT_INFO | 0 | nic->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | nic->cbs_pool->allocation | |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/intel/e100.c e100_self_test() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | *nic->eeprom | 0-u16max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| DATA_SOURCE | 0 | nic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | nic->cbs_pool->allocation | |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/intel/e100.c e100_watchdog() -> e100_write_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cmd_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->mii.dev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mii.mdio_read | 4096-ptr_max |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| BIT_INFO | 0 | nic->msg_enable | 0x0,0xffffffff |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &nic->cmd_lock | |
| TYPE_LOCK | (struct nic)->cmd_lock |