Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ralink/rt2x00/rt2800lib.c rt2800_probe_hw() -> rt2800_hwcrypt_disabled()

Type Parameter Key Value
PARAM_VALUE 0 rt2x00dev 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->anchor->poisoned 0-1
PARAM_VALUE 0 rt2x00dev->anchor->suspend_wakeups.counter s32min-s32max
PARAM_VALUE 0 rt2x00dev->bar_list.next->next 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->bar_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->bar_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->chan_survey 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->chip.rf 1-9,11-13,15,12400,12944,14419,21328,21344,21346,21360,21362,21392,21394,30240
PARAM_VALUE 0 rt2x00dev->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 rt2x00dev->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 rt2x00dev->clk->core->dev->power.request 0-4294967295
PARAM_VALUE 0 rt2x00dev->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 rt2x00dev->clk->core->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 rt2x00dev->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 rt2x00dev->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 rt2x00dev->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 rt2x00dev->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 rt2x00dev->conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 rt2x00dev->csr_mutex.dep_map->name 0-255
PARAM_VALUE 0 rt2x00dev->csr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rt2x00dev->csr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 rt2x00dev->csr_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 rt2x00dev->csr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 rt2x00dev->csr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 rt2x00dev->csr_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 rt2x00dev->csr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 rt2x00dev->default_ant.rx 1-3
PARAM_VALUE 0 rt2x00dev->default_ant.tx 1,3
PARAM_VALUE 0 rt2x00dev->dev 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->eeprom 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->hw 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->hw->flags 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->hw->max_rate_tries 1
PARAM_VALUE 0 rt2x00dev->hw->max_rates 1
PARAM_VALUE 0 rt2x00dev->hw->max_report_rates 7
PARAM_VALUE 0 rt2x00dev->hw->priv 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->hw->vif_data_size 184
PARAM_VALUE 0 rt2x00dev->hw->wiphy 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->hw->wiphy->addr_mask 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->hw->wiphy->dev.parent 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->hw->wiphy->retry_long 2
PARAM_VALUE 0 rt2x00dev->hw->wiphy->retry_short 2
PARAM_VALUE 0 rt2x00dev->led_assoc.flags 1
PARAM_VALUE 0 rt2x00dev->led_assoc.led_dev.brightness_set 2564269747234725888
PARAM_VALUE 0 rt2x00dev->led_assoc.rt2x00dev 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->led_assoc.rt2x00dev->chip.rf 1-9,11-13,15,12400,12944,14419,21328,21344,21346,21360,21362,21392,21394,30240
PARAM_VALUE 0 rt2x00dev->led_assoc.rt2x00dev->chip.rt 10336,10354,10371,12400-12401,12432,12944,13138,13200,13682
PARAM_VALUE 0 rt2x00dev->led_assoc.rt2x00dev->hw 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->led_assoc.type 1
PARAM_VALUE 0 rt2x00dev->led_qual.flags 1
PARAM_VALUE 0 rt2x00dev->led_qual.led_dev.brightness_set 2564269747234725888
PARAM_VALUE 0 rt2x00dev->led_qual.rt2x00dev 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->led_qual.rt2x00dev->chip.rf 1-9,11-13,15,12400,12944,14419,21328,21344,21346,21360,21362,21392,21394,30240
PARAM_VALUE 0 rt2x00dev->led_qual.rt2x00dev->chip.rt 10336,10354,10371,12400-12401,12432,12944,13138,13200,13682
PARAM_VALUE 0 rt2x00dev->led_qual.rt2x00dev->hw 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->led_qual.type 3
PARAM_VALUE 0 rt2x00dev->led_radio.flags 1
PARAM_VALUE 0 rt2x00dev->led_radio.led_dev.brightness_set 2564269747234725888
PARAM_VALUE 0 rt2x00dev->led_radio.rt2x00dev 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->led_radio.rt2x00dev->chip.rf 1-9,11-13,15,12400,12944,14419,21328,21344,21346,21360,21362,21392,21394,30240
PARAM_VALUE 0 rt2x00dev->led_radio.rt2x00dev->chip.rt 10336,10354,10371,12400-12401,12432,12944,13138,13200,13682
PARAM_VALUE 0 rt2x00dev->led_radio.rt2x00dev->hw 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->led_radio.type 0
PARAM_VALUE 0 rt2x00dev->ops 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->ops->drv 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->ops->drv->register_read 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->ops->drv->register_write 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->ops->drv_data_size 0,1584
PARAM_VALUE 0 rt2x00dev->ops->eeprom_size 0-4000000
PARAM_VALUE 0 rt2x00dev->ops->hw 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->ops->lib 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->ops->max_ap_intf 1,4,8
PARAM_VALUE 0 rt2x00dev->ops->rf_size 0-4000000
PARAM_VALUE 0 rt2x00dev->spec.channels 1796186213188349952,3085353681309143040,7947477631080222720,8188926116054867968,8349862657371115520,9103709709502459904
PARAM_VALUE 0 rt2x00dev->spec.channels_info 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->spec.ht.ampdu_density 4
PARAM_VALUE 0 rt2x00dev->spec.ht.ampdu_factor 2-3
PARAM_VALUE 0 rt2x00dev->spec.ht.cap 114,242,370-65522
PARAM_VALUE 0 rt2x00dev->spec.num_channels 14,53-54,60,62
PARAM_VALUE 0 rt2x00dev->spec.supported_bands 1,3
PARAM_VALUE 0 rt2x00dev->spec.supported_rates 3
PARAM_VALUE 0 *rt2x00dev->hw->wiphy->perm_addr 0-255
CAPPED_DATA 0 rt2x00dev->default_ant.rx_chain_num 1
CAPPED_DATA 0 rt2x00dev->default_ant.tx_chain_num 1
DATA_SOURCE 0 rt2x00dev $0
FUZZY_MAX 0 rt2x00dev->ops->drv_data_size 0
MEM_ZERO 0 &rt2x00dev->txstatus_timer
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 rt2x00dev->led_assoc.rt2x00dev->chip.rev 0-u16max
HOST_DATA 0 rt2x00dev->led_assoc.rt2x00dev->chip.rt 10336,10354,10371,12400-12401,12432,12944,13138,13200,13682[c]
HOST_DATA 0 rt2x00dev->led_qual.rt2x00dev->chip.rev 0-u16max
HOST_DATA 0 rt2x00dev->led_qual.rt2x00dev->chip.rt 10336,10354,10371,12400-12401,12432,12944,13138,13200,13682[c]
HOST_DATA 0 rt2x00dev->led_radio.rt2x00dev->chip.rev 0-u16max
HOST_DATA 0 rt2x00dev->led_radio.rt2x00dev->chip.rt 10336,10354,10371,12400-12401,12432,12944,13138,13200,13682[c]