Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_rx() -> is_duplicate_packet()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->assoc_network 0,4096-ptr_max
PARAM_VALUE 0 priv->ieee 4096-ptr_max
PARAM_VALUE 0 priv->ieee->iw_mode s32min-5,7-s32max
PARAM_VALUE 0 priv->irq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->pci_dev->dev.flags 4096-ptr_max
PARAM_VALUE 0 priv->prom_net_dev 0,4096-ptr_max
PARAM_VALUE 0 priv->rxq 4096-ptr_max
PARAM_VALUE 0 priv->rxq->queue 4096-ptr_max
PARAM_VALUE 1 header 4096-ptr_max
DATA_SOURCE 0 priv $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 priv->assoc_network->stats.rssi (-128)-127
USER_DATA 0 priv->exp_avg_rssi (-28688)-28687[c]
USER_DATA 0 priv->ieee->prev_seq_ctl 0-u16max[u]
USER_DATA 0 priv->prom_priv->ieee->prev_seq_ctl 0-u16max[u]
USER_DATA 1 header->duration_id 0-u16max[u]
USER_DATA 1 header->frame_ctl 0-u16max[u]
USER_DATA 1 header->seq_ctl 0-u16max[u]
UNITS 1 header unit_byte
USER_PTR 1 header
LOCK2 flags
LOCK2 0 &priv->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct ipw_priv)->lock