Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/dec/tulip/dmfe.c dmfe_interrupt() -> dmfe_rx_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->priv->cr5_data | 64-u32max |
| PARAM_VALUE | 0 | dev->priv->rx_avail_cnt | 1-u64max |
| PARAM_VALUE | 1 | db | 4096-ptr_max |
| PARAM_VALUE | 1 | db->cr5_data | 64-u32max |
| PARAM_VALUE | 1 | db->ioaddr | 4096-ptr_max |
| PARAM_VALUE | 1 | db->rx_avail_cnt | 1-u64max |
| DATA_SOURCE | 0 | dev | $1 |
| PARAM_COMPARE | 1 | db | == $0->priv |
| PARAM_COMPARE | 1 | db | == $0->priv |
| BIT_INFO | 1 | db->cr5_data | 0x40,0xffffdfff |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | db->HPNA_command | 0-u16max |
| HOST_DATA | 1 | db->HPNA_present | 0-255 |
| HOST_DATA | 1 | db->HPNA_timer | 0-u16max |
| HOST_DATA | 1 | db->NIC_capability | 0-u16max |
| HOST_DATA | 1 | db->PHY_reg4 | 0-u16max |
| HOST_DATA | 1 | db->buf_pool_dma_ptr | 0-u64max |
| HOST_DATA | 1 | db->buf_pool_dma_start | 0-u64max |
| HOST_DATA | 1 | db->chip_id | 0-u32max |
| HOST_DATA | 1 | db->chip_revision | 0-255 |
| HOST_DATA | 1 | db->chip_type | 0-255 |
| HOST_DATA | 1 | db->cr0_data | 0-u32max |
| HOST_DATA | 1 | db->cr15_data | 0-u32max |
| HOST_DATA | 1 | db->cr5_data | 64-u32max |
| HOST_DATA | 1 | db->cr6_data | 0-u32max |
| HOST_DATA | 1 | db->cr7_data | 0-u32max |
| HOST_DATA | 1 | db->dbug_cnt | 0-u16max |
| HOST_DATA | 1 | db->desc_pool_dma_ptr | 0-u64max |
| HOST_DATA | 1 | db->dm910x_chk_mode | 0-255 |
| HOST_DATA | 1 | db->first_in_callback | 0-255 |
| HOST_DATA | 1 | db->first_rx_desc_dma | 0-u64max |
| HOST_DATA | 1 | db->first_tx_desc_dma | 0-u64max |
| HOST_DATA | 1 | db->interval_rx_cnt | 0-u64max |
| HOST_DATA | 1 | db->media_mode | 0-255 |
| HOST_DATA | 1 | db->op_mode | 0-255 |
| HOST_DATA | 1 | db->phy_addr | 0-255 |
| HOST_DATA | 1 | db->reset_TXtimeout | 0-u64max |
| HOST_DATA | 1 | db->reset_count | 0-u64max |
| HOST_DATA | 1 | db->reset_cr8 | 0-u64max |
| HOST_DATA | 1 | db->reset_fatal | 0-u64max |
| HOST_DATA | 1 | db->rx_avail_cnt | 1-u64max |
| HOST_DATA | 1 | db->timer.expires | 0-u64max |
| HOST_DATA | 1 | db->timer.flags | 0-u32max |
| HOST_DATA | 1 | db->tx_excessive_collision | 0-u64max |
| HOST_DATA | 1 | db->tx_fifo_underrun | 0-u64max |
| HOST_DATA | 1 | db->tx_jabber_timeout | 0-u64max |
| HOST_DATA | 1 | db->tx_late_collision | 0-u64max |
| HOST_DATA | 1 | db->tx_loss_carrier | 0-u64max |
| HOST_DATA | 1 | db->tx_no_carrier | 0-u64max |
| HOST_DATA | 1 | db->tx_packet_cnt | 0-u64max |
| HOST_DATA | 1 | db->tx_queue_cnt | 0-u64max |
| HOST_DATA | 1 | db->wait_reset | 0-255 |
| HOST_DATA | 1 | db->wol_mode | 0-255 |
| HOST_DATA | 1 | *db | 0-u64max |
| LOCK2 | flags | ||
| LOCK2 | 1 | &db->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct dmfe_board_info)->lock |