Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sun/sungem.c gem_abnormal_irq() -> gem_mac_interrupt()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 *dev->name 0-255
PARAM_VALUE 1 gp 4096-ptr_max
PARAM_VALUE 1 gp->status 32-u32max
PARAM_VALUE 2 gem_status 65536-u32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 gp $1
DATA_SOURCE 2 gem_status $2
BIT_INFO 2 gem_status 0x10000,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 gp->asleep_wol 0-1
HOST_DATA 1 gp->cell_enabled s32min-s32max
HOST_DATA 1 gp->gblock_dvma 0-u64max
HOST_DATA 1 gp->has_wol 0-1
HOST_DATA 1 gp->last_forced_speed s32min-s32max
HOST_DATA 1 gp->link_timer.expires 0-u64max
HOST_DATA 1 gp->link_timer.flags 0-u32max
HOST_DATA 1 gp->lstate 0-u32max
HOST_DATA 1 gp->mac_rx_cfg 0-u32max
HOST_DATA 1 gp->mii_phy_addr s32min-s32max
HOST_DATA 1 gp->msg_enable 0-u32max
HOST_DATA 1 gp->napi.defer_hard_irqs 0-u32max
HOST_DATA 1 gp->napi.defer_hard_irqs_count 0-u32max
HOST_DATA 1 gp->napi.gro.bitmask 0-u64max
HOST_DATA 1 gp->napi.gro.cached_napi_id 0-u32max
HOST_DATA 1 gp->napi.gro.rx_count 0-u32max
HOST_DATA 1 gp->napi.gro_flush_timeout 0-u64max
HOST_DATA 1 gp->napi.index s32min-s32max
HOST_DATA 1 gp->napi.irq s32min-s32max
HOST_DATA 1 gp->napi.irq_suspend_timeout 0-u64max
HOST_DATA 1 gp->napi.list_owner s32min-s32max
HOST_DATA 1 gp->napi.napi_id 0-u32max
HOST_DATA 1 gp->napi.napi_rmap_idx s32min-s32max
HOST_DATA 1 gp->napi.notify.irq 0-u32max
HOST_DATA 1 gp->napi.notify.kref.refcount.refs.counter s32min-s32max
HOST_DATA 1 gp->napi.notify.work.data.counter s64min-s64max
HOST_DATA 1 gp->napi.poll_owner s32min-s32max
HOST_DATA 1 gp->napi.state 0-u64max
HOST_DATA 1 gp->napi.timer._softexpires s64min-s64max
HOST_DATA 1 gp->napi.timer.is_hard 0-1
HOST_DATA 1 gp->napi.timer.is_lazy 0-1
HOST_DATA 1 gp->napi.timer.is_queued 0-1
HOST_DATA 1 gp->napi.timer.is_rel 0-1
HOST_DATA 1 gp->napi.timer.is_soft 0-1
HOST_DATA 1 gp->napi.timer.node.expires s64min-s64max
HOST_DATA 1 gp->napi.timer.node.node.node.__rb_parent_color 0-u64max
HOST_DATA 1 gp->napi.weight s32min-s32max
HOST_DATA 1 gp->pause_entered 0-u64max
HOST_DATA 1 gp->pause_last_time_recvd 0-u16max
HOST_DATA 1 gp->phy_mii.advertising 0-u32max
HOST_DATA 1 gp->phy_mii.autoneg s32min-s32max
HOST_DATA 1 gp->phy_mii.duplex s32min-s32max
HOST_DATA 1 gp->phy_mii.mii_id s32min-s32max
HOST_DATA 1 gp->phy_mii.pause s32min-s32max
HOST_DATA 1 gp->phy_mii.speed s32min-s32max
HOST_DATA 1 gp->phy_type 0-u32max
HOST_DATA 1 gp->reset_task.data.counter s64min-s64max
HOST_DATA 1 gp->reset_task_pending s32min-s32max
HOST_DATA 1 gp->rx_buf_sz s32min-s32max
HOST_DATA 1 gp->rx_fifo_sz s32min-s32max
HOST_DATA 1 gp->rx_new 0-127
HOST_DATA 1 gp->rx_old s32min-s32max
HOST_DATA 1 gp->rx_pause_off s32min-s32max
HOST_DATA 1 gp->rx_pause_on s32min-s32max
HOST_DATA 1 gp->status 32-u32max
HOST_DATA 1 gp->swrst_base 0-u32max
HOST_DATA 1 gp->timer_ticks s32min-s32max
HOST_DATA 1 gp->tx_fifo_sz s32min-s32max
HOST_DATA 1 gp->tx_new s32min-s32max
HOST_DATA 1 gp->tx_old s32min-s32max
HOST_DATA 1 gp->wake_on_lan s32min-s32max
HOST_DATA 1 gp->want_autoneg s32min-s32max
HOST_DATA 2 gem_status 65536-u32max
LOCK2 &txq->_xmit_lock
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct netdev_queue)->_xmit_lock