Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/wireless/ralink/rt2x00/rt2x00usb.c rt2x00usb_disconnect() -> rt2x00lib_remove_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ralink/rt2x00/rt2x00pci.c rt2x00pci_remove() -> rt2x00lib_remove_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ralink/rt2x00/rt2800soc.c rt2800soc_remove() -> rt2x00lib_remove_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/net/wireless/ralink/rt2x00/rt2x00dev.c rt2x00lib_probe_dev() -> rt2x00lib_remove_dev()

Type Parameter Key Value
PARAM_VALUE 0 rt2x00dev 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->anchor->poisoned 0-1
PARAM_VALUE 0 rt2x00dev->bar_list.next 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->bar_list.next->next 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->bar_list.prev 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->chip.intf 0-3
PARAM_VALUE 0 rt2x00dev->conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 rt2x00dev->conf_mutex.first_waiter 0
PARAM_VALUE 0 rt2x00dev->conf_mutex.magic 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->conf_mutex.osq.tail.counter 0
PARAM_VALUE 0 rt2x00dev->conf_mutex.owner.counter 0
PARAM_VALUE 0 rt2x00dev->csr_mutex.dep_map->name 0-255
PARAM_VALUE 0 rt2x00dev->csr_mutex.first_waiter 0
PARAM_VALUE 0 rt2x00dev->csr_mutex.magic 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->csr_mutex.osq.tail.counter 0
PARAM_VALUE 0 rt2x00dev->csr_mutex.owner.counter 0
PARAM_VALUE 0 rt2x00dev->dev 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->eeprom 1-u64max
PARAM_VALUE 0 rt2x00dev->hw 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->hw->wiphy->addr_mask 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->ops 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->ops->tx_queues 2,4
PARAM_VALUE 0 rt2x00dev->rf 1-u64max
PARAM_VALUE 0 rt2x00dev->txstatus_timer._softexpires 0
PARAM_VALUE 0 rt2x00dev->txstatus_timer.base 4096-ptr_max
PARAM_VALUE 0 rt2x00dev->txstatus_timer.function 1-u64max
PARAM_VALUE 0 rt2x00dev->txstatus_timer.is_queued 0
PARAM_VALUE 0 rt2x00dev->txstatus_timer.is_rel 0
PARAM_VALUE 0 rt2x00dev->txstatus_timer.node.expires 0
PARAM_VALUE 0 rt2x00dev->txstatus_timer.node.node.next 0
PARAM_VALUE 0 rt2x00dev->txstatus_timer.node.node.node.__rb_parent_color 0
PARAM_VALUE 0 rt2x00dev->txstatus_timer.node.node.node.rb_left 0
PARAM_VALUE 0 rt2x00dev->txstatus_timer.node.node.node.rb_right 0
PARAM_VALUE 0 rt2x00dev->txstatus_timer.node.node.prev 0
PARAM_VALUE 0 rt2x00dev->workqueue 4096-ptr_max
BUF_SIZE 0 rt2x00dev->clk (-1),1-s32max
BUF_SIZE 0 rt2x00dev->dev (-1),1616
BUF_SIZE 0 rt2x00dev->drv_data 1584,u64max
BUF_SIZE 0 rt2x00dev->eeprom (-1),512
BUF_SIZE 0 rt2x00dev->hw (-1),208
BUF_SIZE 0 rt2x00dev->name (-1),4-25,28-29,32
BUF_SIZE 0 rt2x00dev->rf (-1),16
BUF_SIZE 0 rt2x00dev->workqueue (-1),512,528-8720
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
NOCHECK_CALL
HOST_DATA 0 rt2x00dev->atim->rt2x00dev->chip.rt 0
HOST_DATA 0 rt2x00dev->bcn->rt2x00dev->chip.rt 0
HOST_DATA 0 rt2x00dev->chip.rt 0
HOST_DATA 0 rt2x00dev->rx->rt2x00dev->chip.rt 0
NO_OVERFLOW_SIMPLE 0 rt2x00dev->data_queues