Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sun/sungem.c gem_poll() -> gem_rx()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 queue->asleep_wol 0-1
HOST_DATA 0 queue->cell_enabled s32min-s32max
HOST_DATA 0 queue->gblock_dvma 0-u64max
HOST_DATA 0 queue->has_wol 0-1
HOST_DATA 0 queue->last_forced_speed s32min-s32max
HOST_DATA 0 queue->link_timer.expires 0-u64max
HOST_DATA 0 queue->link_timer.flags 0-u32max
HOST_DATA 0 queue->lstate 0-u32max
HOST_DATA 0 queue->mac_rx_cfg 0-u32max
HOST_DATA 0 queue->mii_phy_addr s32min-s32max
HOST_DATA 0 queue->msg_enable 0-u32max
HOST_DATA 0 queue->napi.defer_hard_irqs 0-u32max
HOST_DATA 0 queue->napi.defer_hard_irqs_count 0-u32max
HOST_DATA 0 queue->napi.gro.bitmask 0-u64max
HOST_DATA 0 queue->napi.gro.cached_napi_id 0-u32max
HOST_DATA 0 queue->napi.gro.rx_count 0-u32max
HOST_DATA 0 queue->napi.gro_flush_timeout 0-u64max
HOST_DATA 0 queue->napi.index s32min-s32max
HOST_DATA 0 queue->napi.irq s32min-s32max
HOST_DATA 0 queue->napi.irq_suspend_timeout 0-u64max
HOST_DATA 0 queue->napi.list_owner s32min-s32max
HOST_DATA 0 queue->napi.napi_id 0-u32max
HOST_DATA 0 queue->napi.napi_rmap_idx s32min-s32max
HOST_DATA 0 queue->napi.notify.irq 0-u32max
HOST_DATA 0 queue->napi.notify.kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 queue->napi.notify.work.data.counter s64min-s64max
HOST_DATA 0 queue->napi.poll_owner s32min-s32max
HOST_DATA 0 queue->napi.state 0-u64max
HOST_DATA 0 queue->napi.timer._softexpires s64min-s64max
HOST_DATA 0 queue->napi.timer.is_hard 0-1
HOST_DATA 0 queue->napi.timer.is_lazy 0-1
HOST_DATA 0 queue->napi.timer.is_queued 0-1
HOST_DATA 0 queue->napi.timer.is_rel 0-1
HOST_DATA 0 queue->napi.timer.is_soft 0-1
HOST_DATA 0 queue->napi.timer.node.expires s64min-s64max
HOST_DATA 0 queue->napi.timer.node.node.node.__rb_parent_color 0-u64max
HOST_DATA 0 queue->napi.weight s32min-s32max
HOST_DATA 0 queue->pause_entered 0-u64max
HOST_DATA 0 queue->pause_last_time_recvd 0-u16max
HOST_DATA 0 queue->phy_mii.advertising 0-u32max
HOST_DATA 0 queue->phy_mii.autoneg s32min-s32max
HOST_DATA 0 queue->phy_mii.duplex s32min-s32max
HOST_DATA 0 queue->phy_mii.mii_id s32min-s32max
HOST_DATA 0 queue->phy_mii.pause s32min-s32max
HOST_DATA 0 queue->phy_mii.speed s32min-s32max
HOST_DATA 0 queue->phy_type 0-u32max
HOST_DATA 0 queue->reset_task.data.counter s64min-s64max
HOST_DATA 0 queue->reset_task_pending s32min-s32max
HOST_DATA 0 queue->rx_buf_sz s32min-s32max
HOST_DATA 0 queue->rx_fifo_sz s32min-s32max
HOST_DATA 0 queue->rx_new 0-127
HOST_DATA 0 queue->rx_old s32min-s32max
HOST_DATA 0 queue->rx_pause_off s32min-s32max
HOST_DATA 0 queue->rx_pause_on s32min-s32max
HOST_DATA 0 queue->status 1-u32max
HOST_DATA 0 queue->swrst_base 0-u32max
HOST_DATA 0 queue->timer_ticks s32min-s32max
HOST_DATA 0 queue->tx_fifo_sz s32min-s32max
HOST_DATA 0 queue->tx_new s32min-s32max
HOST_DATA 0 queue->tx_old s32min-s32max
HOST_DATA 0 queue->wake_on_lan s32min-s32max
HOST_DATA 0 queue->want_autoneg s32min-s32max
HOST_DATA 0 *queue 0-u64max
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/cadence/macb_main.c macb_rx_poll() -> (struct macb_or_gem_ops)->mog_rx()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->bp 4096-ptr_max
PARAM_VALUE 1 napi 4096-ptr_max
BUF_SIZE 1 napi (-1),128
BUF_SIZE 1 napi (-1),128
DATA_SOURCE 1 napi $0
DATA_SOURCE 2 budget $1
PARAM_COMPARE 0 queue > $1
PARAM_COMPARE 1 napi < $0
PARAM_COMPARE 1 napi < $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read