Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_rx() -> ipw_handle_data_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 rxb 4096-ptr_max
PARAM_VALUE 1 rxb->skb 4096-ptr_max
PARAM_VALUE 1 rxb->skb->data 4096-ptr_max
PARAM_VALUE 1 rxb->skb->data->u.frame.length 10-u16max
PARAM_VALUE 2 stats 6647822728181571584
PARAM_VALUE 2 stats->control 0
PARAM_VALUE 2 stats->freq 1-2
PARAM_VALUE 2 stats->len 10-u16max
PARAM_VALUE 2 stats->mask 0-15
PARAM_VALUE 2 stats->rate 0-255
PARAM_VALUE 2 stats->tsf 0
DATA_SOURCE 0 priv $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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 rxb->skb->data->frame_control 0-49151[c][u]
USER_DATA 1 rxb->skb->data->frame_ctl 0-u16max[u]
USER_DATA 1 rxb->skb->data->header.control_bits 0-255[u]
USER_DATA 1 rxb->skb->data->header.message_type 0-255[u]
USER_DATA 1 rxb->skb->data->header.reserved 0-255[u]
USER_DATA 1 rxb->skb->data->header.rx_seq_num 0-255[u]
USER_DATA 1 rxb->skb->data->seq_ctl 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.frame.agc 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.antennaAndPhy 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.control 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.frameStatus 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.length 10-u16max[u]
USER_DATA 1 rxb->skb->data->u.frame.noise 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.frame.rate 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.received_channel 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.reserved1 0-4294967295[u]
USER_DATA 1 rxb->skb->data->u.frame.rssi 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.rssi_dbm 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.rtscts_rate 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.rtscts_seen 0-255[u]
USER_DATA 1 rxb->skb->data->u.frame.signal 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.flags 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.size 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.subtype 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.assoc.state 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.auth.addr.duration 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.auth.addr.frame_ctl 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.auth.addr.seq_ctrl 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.auth.state 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.auth.status 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.beacon_state.number 0-4294967295[u]
USER_DATA 1 rxb->skb->data->u.notification.u.beacon_state.state 0-4294967295[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.channel_num 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.accumulated_rssi 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.bad_crc32 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.bad_mac_header 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.bad_plcp 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.cmd_id 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.dsp_silence_unreachable 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.good_sfd 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.invalid_acks 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.invalid_cts 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.last_rx_frame_noise 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.last_rx_frame_signal 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.long_distance_ina_fina 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.reserved 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.reserved_frame_types 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.rssi_silence_threshold 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.rx_autodetec_no_barker 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.rx_autodetec_no_ofdm 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.rx_ina 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.rx_ovfl_frame_supplied 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.rx_ovfl_frame_tossed 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.seq_num 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.valid_mpdu 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.stats.wrong_bssid 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.channel_result.uReserved 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.frag_len.frag_length 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.frag_len.reserved 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.modulation 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.rate 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.silence_count 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.silence_notification_type 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.accumulated_rssi 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.bad_crc32 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.bad_mac_header 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.bad_plcp 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.cmd_id 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.dsp_silence_unreachable 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.good_sfd 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.invalid_acks 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.invalid_cts 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.last_rx_frame_noise 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.last_rx_frame_signal 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.long_distance_ina_fina 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.reserved 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.reserved_frame_types 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.rssi_silence_threshold 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.rx_autodetec_no_barker 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.rx_autodetec_no_ofdm 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.rx_ina 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.rx_ovfl_frame_supplied 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.rx_ovfl_frame_tossed 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.seq_num 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.valid_mpdu 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.link_deterioration.stats.wrong_bssid 0-u16max[u]
USER_DATA 1 rxb->skb->data->u.notification.u.noise.value 0-4294967295[u]
USER_DATA 1 rxb->skb->data->u.notification.u.scan_complete.num_channels 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.scan_complete.reserved 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.scan_complete.scan_type 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.scan_complete.status 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.tgi_tx_key.key_state 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.tgi_tx_key.reserved 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.tgi_tx_key.security_type 0-255[u]
USER_DATA 1 rxb->skb->data->u.notification.u.tgi_tx_key.station_index 0-255[u]
USER_DATA 2 stats->len 10-u16max[u]
USER_DATA 2 stats->noise 0-255[u]
USER_DATA 2 stats->rate 0-255[u]
USER_DATA 2 stats->received_channel 0-255[u]
USER_DATA 2 stats->rssi (-128)-127
USER_DATA 2 stats->signal 0-255[c]
LOCK2 flags
LOCK2 0 &priv->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct ipw_priv)->lock