Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43/phy_g.c b43_gphy_aci_scan() -> b43_phy_unlock()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->read16 4096-ptr_max
PARAM_VALUE 0 dev->dev->read32 4096-ptr_max
PARAM_VALUE 0 dev->dev->write16 4096-ptr_max
PARAM_VALUE 0 dev->dev->write32 4096-ptr_max
PARAM_VALUE 0 dev->phy.g->ofdmtab_addr_direction 2
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.phy_locked 1
PARAM_VALUE 0 dev->phy.radio_locked 0
PARAM_VALUE 0 dev->phy.rev 1-255
PARAM_VALUE 0 dev->phy.type 2
PARAM_VALUE 0 dev->wl 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw->conf.chandef.chan 4096-ptr_max
PARAM_VALUE 0 dev->wl->if_type 3
PARAM_VALUE 0 dev->wl->operating 1
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->phy.rev 1
NOCHECK_CALL
HOST_DATA 0 dev->phy.analog 0-15[c]
HOST_DATA 0 dev->phy.gmode 0-1
HOST_DATA 0 dev->phy.n->classifier_state 0-7[c]
HOST_DATA 0 dev->phy.radio_rev 0-8
HOST_DATA 0 dev->phy.radio_ver 0-u16max
HOST_DATA 0 dev->phy.supports_2ghz 0-1
HOST_DATA 0 dev->phy.supports_5ghz 0-1
HOST_DATA 0 dev->phy.type 2[c]

drivers/net/wireless/broadcom/b43/phy_g.c b43_gphy_op_adjust_txpower() -> b43_phy_unlock()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->__init_status.counter 2-s32max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->read16 4096-ptr_max
PARAM_VALUE 0 dev->dev->read32 4096-ptr_max
PARAM_VALUE 0 dev->dev->write16 4096-ptr_max
PARAM_VALUE 0 dev->dev->write32 4096-ptr_max
PARAM_VALUE 0 dev->dfsentry 0,4096-ptr_max
PARAM_VALUE 0 dev->phy.g 4096-ptr_max
PARAM_VALUE 0 dev->phy.g->lo_control 4096-ptr_max
PARAM_VALUE 0 dev->phy.g->lo_control->bbatt_list.max_val 8
PARAM_VALUE 0 dev->phy.g->lo_control->calib_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->phy.g->lo_control->calib_list.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->phy.g->lo_control->rfatt_list.max_val 9,14
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops->radio_write 4096-ptr_max
PARAM_VALUE 0 dev->phy.phy_locked 1
PARAM_VALUE 0 dev->phy.radio_locked 0
PARAM_VALUE 0 dev->wl 4096-ptr_max
PARAM_VALUE 0 dev->wl->if_type 3
PARAM_VALUE 0 dev->wl->operating 1
CAPPED_DATA 0 dev->phy.g->lo_control->rfatt_list.max_val 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->phy.g->lo_control->bbatt_list.max_val > $0->phy.g->lo_control->bbatt_list.min_val
PARAM_COMPARE 0 dev->phy.g->lo_control->rfatt_list.max_val >= $0->phy.g->lo_control->rfatt_list.min_val
NOCHECK_CALL
HOST_DATA 0 dev->phy.analog 0-15[c]
HOST_DATA 0 dev->phy.g->cur_idle_tssi 0-u16max
HOST_DATA 0 dev->phy.g->initval 32-543[c]
HOST_DATA 0 dev->phy.g->lo_control->power_vector 1-u16max[c]
HOST_DATA 0 dev->phy.g->nrssislope (-4194304)-(-66576),66576-4194304[c]
HOST_DATA 0 dev->phy.g->radio_off_context.rfover 0-u16max
HOST_DATA 0 dev->phy.g->radio_off_context.rfoverval 0-u16max
HOST_DATA 0 dev->phy.gmode 0-1
HOST_DATA 0 dev->phy.radio_rev 0-255
HOST_DATA 0 dev->phy.radio_ver 0-u16max
HOST_DATA 0 dev->phy.supports_2ghz 0-1
HOST_DATA 0 dev->phy.supports_5ghz 0-1
HOST_DATA 0 dev->phy.type 2,4-5,7[c]
LOCK2 &wl->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct b43_wl)->mutex