Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/ipw2x00/ipw2100.c __ipw2100_rx_process() -> ipw2100_corruption_check()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->rx_buffers 4096-ptr_max
CAPPED_DATA 1 i 1
DATA_SOURCE 0 priv $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 priv->channel 0-255
HOST_DATA 0 priv->fatal_error 0-u32max
HOST_DATA 0 *priv->bssid 0-255
HOST_DATA 0 *priv->essid 0-255
HOST_DATA 0 *priv->ieee->bssid 0-255
USER_DATA 0 priv->ieee->prev_seq_ctl 0-u16max[u]
LOCK2 flags
LOCK2 0 &priv->low_lock
HALF_LOCKED2 bh
TYPE_LOCK (struct ipw2100_priv)->low_lock