Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ralink/rt2x00/rt61pci.c rt61pci_set_device_state() -> rt61pci_toggle_irq()

Type Parameter Key Value
PARAM_VALUE 0 rt2x00dev 4096-ptr_max
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->csr_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
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->blocked_on (-1)-0
PARAM_VALUE 0 rt2x00dev->csr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 rt2x00dev->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rt2x00dev->dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 rt2x00dev->drv_data->bbp25 0-255
PARAM_VALUE 0 rt2x00dev->drv_data->bbp26 0-255
PARAM_VALUE 0 rt2x00dev->drv_data->calibration_bw20 6-255
PARAM_VALUE 0 rt2x00dev->drv_data->calibration_bw40 6-255
PARAM_VALUE 0 rt2x00dev->drv_data->rx_calibration_bw20 (-128)-127
PARAM_VALUE 0 rt2x00dev->drv_data->tx_calibration_bw20 (-128)-127
PARAM_VALUE 0 rt2x00dev->ops 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->ops->debugfs 661380844824739840,1698801941074878464,2541582219747942400,3609206277277921280,8549348951704489984,9213724259068534784
PARAM_VALUE 0 rt2x00dev->ops->drv 0,332978319311577088,874932404732743680,7459920950547537920
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->name 487675897492750336,1187642647444320256,4564670603263664128,4877587143084142592,7051817821241810944,7574783047695609856,8316501062012157952,9153477636979302400
PARAM_VALUE 0 rt2x00dev->ops->queue_init 425716194215067648,1345169613979299840,1383339257185177600,1547308370066001920,1765874127210516480,5611278749481279488,5632091516209950720
PARAM_VALUE 0 rt2x00dev->ops->rf_size 0-4000000
PARAM_VALUE 0 rt2x00dev->ops->tx_queues 2,4
PARAM_VALUE 0 rt2x00dev->rx->rt2x00dev->ops->lib 86363416958484480,1392210833246048256,3146989351599603712,7433950327573024768,7976857085666332672,8592212253900943360,8750388595194716160,8945671758285221888
PARAM_VALUE 0 rt2x00dev->rx->rt2x00dev->ops->lib->flush_queue 864683334679437312,2065010748947841024,7851684249076948992
PARAM_VALUE 0 *rt2x00dev->atim->index 0-u16max
PARAM_VALUE 0 *rt2x00dev->bcn->index 0-u16max
PARAM_VALUE 0 *rt2x00dev->rx->index 0-u16max
PARAM_VALUE 0 *rt2x00dev->tx->index 0-u16max
PARAM_VALUE 1 state 6-7
CAPPED_DATA 0 rt2x00dev 1
DATA_SOURCE 0 rt2x00dev $0
DATA_SOURCE 1 state $1
BIT_INFO 1 state 0x6,0x7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 rt2x00dev->atim->rt2x00dev->chip.rt 0
HOST_DATA 0 rt2x00dev->bcn->rt2x00dev->chip.rt 0
HOST_DATA 0 rt2x00dev->rx->rt2x00dev->chip.rt 0
NO_OVERFLOW_SIMPLE 0 rt2x00dev->atim->limit
NO_OVERFLOW_SIMPLE 0 rt2x00dev->atim->rt2x00dev->data_queues
NO_OVERFLOW_SIMPLE 0 rt2x00dev->bcn->limit
NO_OVERFLOW_SIMPLE 0 rt2x00dev->bcn->rt2x00dev->data_queues
NO_OVERFLOW_SIMPLE 0 rt2x00dev->data_queues
NO_OVERFLOW_SIMPLE 0 rt2x00dev->dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 0 rt2x00dev->hw->wiphy->fw_version
NO_OVERFLOW_SIMPLE 0 rt2x00dev->led_assoc.led_dev.delayed_set_value
NO_OVERFLOW_SIMPLE 0 rt2x00dev->led_qual.led_dev.delayed_set_value
NO_OVERFLOW_SIMPLE 0 rt2x00dev->led_radio.led_dev.delayed_set_value
NO_OVERFLOW_SIMPLE 0 rt2x00dev->ops->eeprom_size
NO_OVERFLOW_SIMPLE 0 rt2x00dev->ops->rf_size
NO_OVERFLOW_SIMPLE 0 rt2x00dev->rx->limit
NO_OVERFLOW_SIMPLE 0 rt2x00dev->rx->rt2x00dev->data_queues