Open Menu /

Defined in 1 files as a member:

Referenced in 4 files:

Smatch caller information:

drivers/net/ethernet/3com/3c59x.c vortex_timer() -> window_write32()

Type Parameter Key Value
PARAM_VALUE 0 vp 4096-ptr_max
PARAM_VALUE 0 vp->ioaddr 4096-ptr_max
PARAM_VALUE 0 vp->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vp->medialock 0
PARAM_VALUE 0 vp->mii.dev 4096-ptr_max
PARAM_VALUE 0 vp->mii.dev->if_port 0-15
PARAM_VALUE 0 vp->mii.dev->priv->full_duplex 0-1
PARAM_VALUE 0 vp->mii.dev->priv->mii->dev->pcpu_refcnt s32min-s32max
PARAM_VALUE 0 vp->mii.dev->priv->mii.advertising s32min-s32max
PARAM_VALUE 0 vp->mii.dev->priv->mii.full_duplex 0-1
PARAM_VALUE 0 vp->mii.dev->priv->window 0,2-7
PARAM_VALUE 0 vp->mii.dev->priv->window_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vp->window 0,2-7
PARAM_VALUE 0 vp->window_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 window 3
PARAM_VALUE 3 addr 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 value 0-u32max
LOCK2 irq
LOCK2 0 &vp->lock
TYPE_LOCK (struct vortex_private)->lock

drivers/net/ethernet/3com/3c59x.c vortex_up() -> window_write32()

Type Parameter Key Value
PARAM_VALUE 0 vp 4096-ptr_max
PARAM_VALUE 0 vp->gendev 0,4096-ptr_max
PARAM_VALUE 0 vp->ioaddr 0-ptr_max
PARAM_VALUE 0 vp->timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 vp->timer.entry.pprev 0,4096-ptr_max
PARAM_VALUE 0 vp->timer.lockdep_map->name 0-255
PARAM_VALUE 0 vp->window 0,2-7
PARAM_VALUE 0 vp->window_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 window 3
PARAM_VALUE 3 addr 0
CAPPED_DATA 0 &vp->timer 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 value 0-u32max
HALF_LOCKED2 &vp->lock