Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43/main.c b43_wireless_core_attach() -> b43_device_disable()

Type Parameter Key Value
PARAM_VALUE 0 wldev 4096-ptr_max
PARAM_VALUE 0 wldev->__init_status.counter 0
PARAM_VALUE 0 wldev->dev 4096-ptr_max
PARAM_VALUE 0 wldev->dev->bdev 4096-ptr_max
PARAM_VALUE 0 wldev->dev->block_read 4632475226361556992,7731981233052561408
PARAM_VALUE 0 wldev->dev->block_write 1125228170914029568,8359985575147864064
PARAM_VALUE 0 wldev->dev->bus_may_powerdown 934422528289603584,3746675846236131328
PARAM_VALUE 0 wldev->dev->bus_powerup 2611190709949759488,6904725577299886080
PARAM_VALUE 0 wldev->dev->bus_sprom 4096-ptr_max
PARAM_VALUE 0 wldev->dev->bus_type 0-1
PARAM_VALUE 0 wldev->dev->device_disable 4177537834878025728,5622025387888824320
PARAM_VALUE 0 wldev->dev->device_enable 909150061579714560,2755700280924897280
PARAM_VALUE 0 wldev->dev->device_is_enabled 3019643755813167104,5130525385311490048
PARAM_VALUE 0 wldev->dev->read16 2326588458324860928,8584098603952517120
PARAM_VALUE 0 wldev->dev->read32 1683823346012336128,1781618687639613440
PARAM_VALUE 0 wldev->dev->sdev 4096-ptr_max
PARAM_VALUE 0 wldev->dev->write16 7173547569174134784,8525068196089282560
PARAM_VALUE 0 wldev->dev->write32 4587694200137560064,7520095774301904896
PARAM_VALUE 0 wldev->list.next 4096-ptr_max
PARAM_VALUE 0 wldev->list.next->next 4096-ptr_max
PARAM_VALUE 0 wldev->list.prev 4096-ptr_max
PARAM_VALUE 0 wldev->list.prev->next 4096-ptr_max
PARAM_VALUE 0 wldev->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 wldev->phy.analog 0-15
PARAM_VALUE 0 wldev->phy.do_full_init 1
PARAM_VALUE 0 wldev->phy.g 4096-ptr_max
PARAM_VALUE 0 wldev->phy.g->tgt_idle_tssi 1-254
PARAM_VALUE 0 wldev->phy.g->tssi2dbm 4096-ptr_max
PARAM_VALUE 0 wldev->phy.ht 4096-ptr_max
PARAM_VALUE 0 wldev->phy.lp 4096-ptr_max
PARAM_VALUE 0 wldev->phy.n 4096-ptr_max
PARAM_VALUE 0 wldev->phy.n->iqcal_chanspec_2G.channel_type 0-3
PARAM_VALUE 0 wldev->phy.n->iqcal_chanspec_5G.channel_type 0-3
PARAM_VALUE 0 wldev->phy.n->rssical_chanspec_2G.channel_type 0-3
PARAM_VALUE 0 wldev->phy.n->rssical_chanspec_5G.channel_type 0-3
PARAM_VALUE 0 wldev->phy.n->txiqlocal_chanspec.channel_type 0-3
PARAM_VALUE 0 wldev->phy.ops 4096-ptr_max
PARAM_VALUE 0 wldev->phy.ops->exit 0,4096-ptr_max
PARAM_VALUE 0 wldev->phy.ops->free 4096-ptr_max
PARAM_VALUE 0 wldev->phy.ops->init 4096-ptr_max
PARAM_VALUE 0 wldev->phy.radio_manuf 383
PARAM_VALUE 0 wldev->phy.rev 0-18
PARAM_VALUE 0 wldev->phy.type 1-2,4-5,7-8,11
PARAM_VALUE 0 wldev->wl 4096-ptr_max
PARAM_VALUE 0 wldev->wl->current_dev 1-u64max
PARAM_VALUE 0 wldev->wl->hw 4096-ptr_max
PARAM_VALUE 0 wldev->wl->hw_registered 0
PARAM_VALUE 0 wldev->wl->mutex.first_waiter 0
PARAM_VALUE 0 wldev->wl->mutex.magic 4096-ptr_max
PARAM_VALUE 0 wldev->wl->mutex.osq.tail.counter 0
PARAM_VALUE 0 wldev->wl->mutex.owner.counter 0
PARAM_VALUE 1 core_specific_flags 0
BUF_SIZE 0 wldev 1864
BUF_SIZE 0 wldev->dev 160
CAPPED_DATA 0 wldev->dev->bdev 1
CAPPED_DATA 0 wldev->dev->sdev 1
DATA_SOURCE 0 wldev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wldev->phy.analog 0-15[c]
HOST_DATA 0 wldev->phy.gmode 0-1
HOST_DATA 0 wldev->phy.radio_rev 0-255
HOST_DATA 0 wldev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->phy.rev 0-18
HOST_DATA 0 wldev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->phy.type 2,4-5,7[c]

drivers/net/wireless/broadcom/b43/main.c b43_wireless_core_exit() -> b43_device_disable()

Type Parameter Key Value
PARAM_VALUE 0 wldev 4096-ptr_max
PARAM_VALUE 0 wldev->__init_status.counter 0
PARAM_VALUE 0 wldev->dev 4096-ptr_max
PARAM_VALUE 0 wldev->dev->read32 4096-ptr_max
PARAM_VALUE 0 wldev->dev->write32 4096-ptr_max
PARAM_VALUE 0 wldev->dfsentry 0,4096-ptr_max
PARAM_VALUE 0 wldev->phy.do_full_init 1
PARAM_VALUE 0 wldev->phy.g->lo_control->bbatt_list.len 9
PARAM_VALUE 0 wldev->phy.g->lo_control->bbatt_list.list 144726016315772928
PARAM_VALUE 0 wldev->phy.g->lo_control->bbatt_list.max_val 8
PARAM_VALUE 0 wldev->phy.g->lo_control->rfatt_list.len 7,14
PARAM_VALUE 0 wldev->phy.g->lo_control->rfatt_list.list 3019603989279825920,3594635489906069504,7596049338479575040
PARAM_VALUE 0 wldev->phy.g->lo_control->rfatt_list.max_val 9,14
PARAM_VALUE 0 wldev->phy.lp->channel 0-255
PARAM_VALUE 0 wldev->phy.n->iqcal_chanspec_2G.channel_type 0-3
PARAM_VALUE 0 wldev->phy.n->iqcal_chanspec_5G.channel_type 0-3
PARAM_VALUE 0 wldev->phy.n->rssical_chanspec_2G.channel_type 0-3
PARAM_VALUE 0 wldev->phy.n->rssical_chanspec_5G.channel_type 0-3
PARAM_VALUE 0 wldev->phy.n->txiqlocal_chanspec.channel_type 0-3
PARAM_VALUE 0 wldev->phy.ops 4096-ptr_max
PARAM_VALUE 0 wldev->phy.ops->exit 0,4096-ptr_max
PARAM_VALUE 0 wldev->phy.ops->free 4096-ptr_max
PARAM_VALUE 0 wldev->phy.ops->init 4096-ptr_max
PARAM_VALUE 0 wldev->phy.ops->software_rfkill 4096-ptr_max
PARAM_VALUE 0 wldev->phy.radio_on 0
PARAM_VALUE 0 wldev->wl 4096-ptr_max
PARAM_VALUE 0 wldev->wl->current_beacon 0
PARAM_VALUE 0 *wldev->dma_reason 0-4294967295
PARAM_VALUE 0 *wldev->phy.g->lo_control->dc_lt 0-u16max
PARAM_VALUE 0 *wldev->phy.g->minlowsig 0-u16max
PARAM_VALUE 0 *wldev->phy.g->nrssi s16min-s16max
PARAM_VALUE 0 *wldev->phy.g->nrssi_lt (-128)-127
PARAM_VALUE 0 *wldev->phy.n->adj_pwr_tbl 0-u16max
PARAM_VALUE 0 *wldev->phy.n->mphase_txcal_bestcoeffs 0-u16max
PARAM_VALUE 0 *wldev->phy.n->tx_rx_cal_radio_saveregs 0-u16max
PARAM_VALUE 0 *wldev->phy.n->txiqlocal_bestc 0-u16max
PARAM_VALUE 0 *wldev->wl->bssid 0-255
PARAM_VALUE 0 *wldev->wl->hw->wiphy->fw_version 0-255
PARAM_VALUE 0 *wldev->wl->mac_addr 0-255
PARAM_VALUE 1 core_specific_flags 0
DATA_SOURCE 0 wldev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wldev->dma.rx_ring->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->dma.rx_ring->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->dma.rx_ring->dev->phy.gmode 0-1
HOST_DATA 0 wldev->dma.rx_ring->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->dma.rx_ring->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->dma.rx_ring->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->dma.rx_ring->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->dma.rx_ring->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->dma.tx_ring_AC_BE->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_AC_BE->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->dma.tx_ring_AC_BE->dev->phy.gmode 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_BE->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->dma.tx_ring_AC_BE->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_AC_BE->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_BE->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_BE->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->dma.tx_ring_AC_BK->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_AC_BK->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->dma.tx_ring_AC_BK->dev->phy.gmode 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_BK->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->dma.tx_ring_AC_BK->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_AC_BK->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_BK->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_BK->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->dma.tx_ring_AC_VI->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_AC_VI->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->dma.tx_ring_AC_VI->dev->phy.gmode 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_VI->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->dma.tx_ring_AC_VI->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_AC_VI->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_VI->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_VI->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->dma.tx_ring_AC_VO->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_AC_VO->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->dma.tx_ring_AC_VO->dev->phy.gmode 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_VO->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->dma.tx_ring_AC_VO->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_AC_VO->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_VO->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_AC_VO->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->dma.tx_ring_mcast->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_mcast->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->dma.tx_ring_mcast->dev->phy.gmode 0-1
HOST_DATA 0 wldev->dma.tx_ring_mcast->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->dma.tx_ring_mcast->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->dma.tx_ring_mcast->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_mcast->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->dma.tx_ring_mcast->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->fw.patch 0-u16max
HOST_DATA 0 wldev->ktp 0-u16max
HOST_DATA 0 wldev->phy.analog 0-15[c]
HOST_DATA 0 wldev->phy.g->cur_idle_tssi 0-u16max
HOST_DATA 0 wldev->phy.g->initval 32-543[c]
HOST_DATA 0 wldev->phy.g->lo_control->power_vector 1-u16max[c]
HOST_DATA 0 wldev->phy.g->nrssislope (-4194304)-(-66576),66576-4194304[c]
HOST_DATA 0 wldev->phy.g->radio_off_context.rfover 0-u16max
HOST_DATA 0 wldev->phy.g->radio_off_context.rfoverval 0-u16max
HOST_DATA 0 wldev->phy.gmode 0-1
HOST_DATA 0 wldev->phy.n->classifier_state 0-7[c]
HOST_DATA 0 wldev->phy.n->rfctrl_intc1_save 0-u16max
HOST_DATA 0 wldev->phy.n->rfctrl_intc2_save 0-u16max
HOST_DATA 0 wldev->phy.radio_rev 0-255
HOST_DATA 0 wldev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->pio.rx_queue->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->pio.rx_queue->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->pio.rx_queue->dev->phy.gmode 0-1
HOST_DATA 0 wldev->pio.rx_queue->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->pio.rx_queue->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->pio.rx_queue->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->pio.rx_queue->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->pio.rx_queue->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->pio.tx_queue_AC_BE->buffer_size 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_BE->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_BE->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->pio.tx_queue_AC_BE->dev->phy.gmode 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_BE->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->pio.tx_queue_AC_BE->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_BE->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_BE->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_BE->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->pio.tx_queue_AC_BK->buffer_size 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_BK->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_BK->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->pio.tx_queue_AC_BK->dev->phy.gmode 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_BK->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->pio.tx_queue_AC_BK->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_BK->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_BK->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_BK->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->pio.tx_queue_AC_VI->buffer_size 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_VI->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_VI->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->pio.tx_queue_AC_VI->dev->phy.gmode 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_VI->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->pio.tx_queue_AC_VI->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_VI->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_VI->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_VI->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->pio.tx_queue_AC_VO->buffer_size 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_VO->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_VO->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->pio.tx_queue_AC_VO->dev->phy.gmode 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_VO->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->pio.tx_queue_AC_VO->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_AC_VO->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_VO->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_AC_VO->dev->phy.type 2,4-5,7[c]
HOST_DATA 0 wldev->pio.tx_queue_mcast->buffer_size 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_mcast->dev->fw.patch 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_mcast->dev->phy.analog 0-15[c]
HOST_DATA 0 wldev->pio.tx_queue_mcast->dev->phy.gmode 0-1
HOST_DATA 0 wldev->pio.tx_queue_mcast->dev->phy.radio_rev 0-255
HOST_DATA 0 wldev->pio.tx_queue_mcast->dev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->pio.tx_queue_mcast->dev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_mcast->dev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->pio.tx_queue_mcast->dev->phy.type 2,4-5,7[c]
UNITS 0 wldev unit_byte
LOCK2 &wl->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/rfkill.c b43_rfkill_poll() -> b43_device_disable()

Type Parameter Key Value
PARAM_VALUE 0 wldev 4096-ptr_max
PARAM_VALUE 0 wldev->__init_status.counter s32min-0
PARAM_VALUE 0 wldev->dev 4096-ptr_max
PARAM_VALUE 0 wldev->dev->bus_powerup 4096-ptr_max
PARAM_VALUE 0 wldev->dev->device_enable 4096-ptr_max
PARAM_VALUE 0 wldev->dev->read32 4096-ptr_max
PARAM_VALUE 0 wldev->phy.g->lo_control->bbatt_list.len 9
PARAM_VALUE 0 wldev->phy.g->lo_control->bbatt_list.max_val 8
PARAM_VALUE 0 wldev->phy.g->lo_control->rfatt_list.len 7,14
PARAM_VALUE 0 wldev->phy.g->lo_control->rfatt_list.max_val 9,14
PARAM_VALUE 0 wldev->phy.ops->software_rfkill 4096-ptr_max
PARAM_VALUE 1 core_specific_flags 0
NOCHECK_CALL
HOST_DATA 0 wldev->phy.analog 0-15[c]
HOST_DATA 0 wldev->phy.g->radio_off_context.rfover 0-u16max
HOST_DATA 0 wldev->phy.g->radio_off_context.rfoverval 0-u16max
HOST_DATA 0 wldev->phy.gmode 0-1
HOST_DATA 0 wldev->phy.n->classifier_state 0-7[c]
HOST_DATA 0 wldev->phy.radio_rev 0-255
HOST_DATA 0 wldev->phy.radio_ver 0-u16max
HOST_DATA 0 wldev->phy.supports_2ghz 0-1
HOST_DATA 0 wldev->phy.supports_5ghz 0-1
HOST_DATA 0 wldev->phy.type 2,4-5,7[c]
LOCK2 &pool->lock
LOCK2 &rdev->wiphy.mtx
LOCK2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex
TYPE_LOCK (struct wiphy)->mtx