Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43/phy_g.c b43_gphy_op_radio_read() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.writes_counter 0
PARAM_VALUE 1 offset 1014
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1 [m]
BIT_INFO 2 value 0x80,0xffff
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_g.c b43_gphy_op_radio_write() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 1 offset 1014
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_g.c b43_gphy_op_read() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops->phy_read 5297716836743749632
PARAM_VALUE 0 dev->phy.writes_counter 0
PARAM_VALUE 1 offset 1020
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_g.c b43_gphy_op_write() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops->phy_write 1091963287703642112
PARAM_VALUE 1 offset 1020
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/main.c b43_phy_versioning() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->__init_status.counter 0
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->bdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->block_read 4632475226361556992,7731981233052561408
PARAM_VALUE 0 dev->dev->block_write 1125228170914029568,8359985575147864064
PARAM_VALUE 0 dev->dev->bus_may_powerdown 934422528289603584,3746675846236131328
PARAM_VALUE 0 dev->dev->bus_powerup 2611190709949759488,6904725577299886080
PARAM_VALUE 0 dev->dev->bus_sprom 4096-ptr_max
PARAM_VALUE 0 dev->dev->bus_type 0-1
PARAM_VALUE 0 dev->dev->core_rev 40,42
PARAM_VALUE 0 dev->dev->device_disable 4177537834878025728,5622025387888824320
PARAM_VALUE 0 dev->dev->device_enable 909150061579714560,2755700280924897280
PARAM_VALUE 0 dev->dev->device_is_enabled 3019643755813167104,5130525385311490048
PARAM_VALUE 0 dev->dev->read16 2326588458324860928,8584098603952517120
PARAM_VALUE 0 dev->dev->read32 1683823346012336128,1781618687639613440
PARAM_VALUE 0 dev->dev->sdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->write16 7173547569174134784,8525068196089282560
PARAM_VALUE 0 dev->dev->write32 4587694200137560064,7520095774301904896
PARAM_VALUE 0 dev->list.next 4096-ptr_max
PARAM_VALUE 0 dev->list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->phy.do_full_init 1
PARAM_VALUE 0 dev->phy.ops 0,4096-ptr_max
PARAM_VALUE 0 dev->wl 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw_registered 0
PARAM_VALUE 0 dev->wl->mutex.first_waiter 0
PARAM_VALUE 0 dev->wl->mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->wl->mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->wl->mutex.owner.counter 0
PARAM_VALUE 1 offset 984
PARAM_VALUE 2 value 0
BUF_SIZE 0 dev 1864
CAPPED_DATA 0 dev->dev->bdev 1
CAPPED_DATA 0 dev->dev->sdev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->phy.gmode 0-1

drivers/net/wireless/broadcom/b43/main.c b43_phy_versioning() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->__init_status.counter 0
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->bdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->block_read 4632475226361556992,7731981233052561408
PARAM_VALUE 0 dev->dev->block_write 1125228170914029568,8359985575147864064
PARAM_VALUE 0 dev->dev->bus_may_powerdown 934422528289603584,3746675846236131328
PARAM_VALUE 0 dev->dev->bus_powerup 2611190709949759488,6904725577299886080
PARAM_VALUE 0 dev->dev->bus_sprom 4096-ptr_max
PARAM_VALUE 0 dev->dev->bus_type 0-1
PARAM_VALUE 0 dev->dev->core_rev 40,42
PARAM_VALUE 0 dev->dev->device_disable 4177537834878025728,5622025387888824320
PARAM_VALUE 0 dev->dev->device_enable 909150061579714560,2755700280924897280
PARAM_VALUE 0 dev->dev->device_is_enabled 3019643755813167104,5130525385311490048
PARAM_VALUE 0 dev->dev->read16 2326588458324860928,8584098603952517120
PARAM_VALUE 0 dev->dev->read32 1683823346012336128,1781618687639613440
PARAM_VALUE 0 dev->dev->sdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->write16 7173547569174134784,8525068196089282560
PARAM_VALUE 0 dev->dev->write32 4587694200137560064,7520095774301904896
PARAM_VALUE 0 dev->list.next 4096-ptr_max
PARAM_VALUE 0 dev->list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->phy.do_full_init 1
PARAM_VALUE 0 dev->phy.ops 0,4096-ptr_max
PARAM_VALUE 0 dev->wl 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw_registered 0
PARAM_VALUE 0 dev->wl->mutex.first_waiter 0
PARAM_VALUE 0 dev->wl->mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->wl->mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->wl->mutex.owner.counter 0
PARAM_VALUE 1 offset 984
PARAM_VALUE 2 value 1
BUF_SIZE 0 dev 1864
CAPPED_DATA 0 dev->dev->bdev 1
CAPPED_DATA 0 dev->dev->sdev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->phy.gmode 0-1

drivers/net/wireless/broadcom/b43/main.c b43_phy_versioning() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->__init_status.counter 0
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->bdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->block_read 4632475226361556992,7731981233052561408
PARAM_VALUE 0 dev->dev->block_write 1125228170914029568,8359985575147864064
PARAM_VALUE 0 dev->dev->bus_may_powerdown 934422528289603584,3746675846236131328
PARAM_VALUE 0 dev->dev->bus_powerup 2611190709949759488,6904725577299886080
PARAM_VALUE 0 dev->dev->bus_sprom 4096-ptr_max
PARAM_VALUE 0 dev->dev->bus_type 0-1
PARAM_VALUE 0 dev->dev->core_rev 22,24-39,41,43-255
PARAM_VALUE 0 dev->dev->device_disable 4177537834878025728,5622025387888824320
PARAM_VALUE 0 dev->dev->device_enable 909150061579714560,2755700280924897280
PARAM_VALUE 0 dev->dev->device_is_enabled 3019643755813167104,5130525385311490048
PARAM_VALUE 0 dev->dev->read16 2326588458324860928,8584098603952517120
PARAM_VALUE 0 dev->dev->read32 1683823346012336128,1781618687639613440
PARAM_VALUE 0 dev->dev->sdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->write16 7173547569174134784,8525068196089282560
PARAM_VALUE 0 dev->dev->write32 4587694200137560064,7520095774301904896
PARAM_VALUE 0 dev->list.next 4096-ptr_max
PARAM_VALUE 0 dev->list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->phy.do_full_init 1
PARAM_VALUE 0 dev->phy.ops 0,4096-ptr_max
PARAM_VALUE 0 dev->wl 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw_registered 0
PARAM_VALUE 0 dev->wl->mutex.first_waiter 0
PARAM_VALUE 0 dev->wl->mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->wl->mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->wl->mutex.owner.counter 0
PARAM_VALUE 1 offset 984
PARAM_VALUE 2 value 0-2
BUF_SIZE 0 dev 1864
CAPPED_DATA 0 dev->dev->bdev 1
CAPPED_DATA 0 dev->dev->sdev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->phy.gmode 0-1

drivers/net/wireless/broadcom/b43/main.c b43_phy_versioning() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->__init_status.counter 0
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->bdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->block_read 4632475226361556992,7731981233052561408
PARAM_VALUE 0 dev->dev->block_write 1125228170914029568,8359985575147864064
PARAM_VALUE 0 dev->dev->bus_may_powerdown 934422528289603584,3746675846236131328
PARAM_VALUE 0 dev->dev->bus_powerup 2611190709949759488,6904725577299886080
PARAM_VALUE 0 dev->dev->bus_sprom 4096-ptr_max
PARAM_VALUE 0 dev->dev->bus_type 0-1
PARAM_VALUE 0 dev->dev->chip_id 0-17174,17176-u16max
PARAM_VALUE 0 dev->dev->core_rev 0-21,23
PARAM_VALUE 0 dev->dev->device_disable 4177537834878025728,5622025387888824320
PARAM_VALUE 0 dev->dev->device_enable 909150061579714560,2755700280924897280
PARAM_VALUE 0 dev->dev->device_is_enabled 3019643755813167104,5130525385311490048
PARAM_VALUE 0 dev->dev->read16 2326588458324860928,8584098603952517120
PARAM_VALUE 0 dev->dev->read32 1683823346012336128,1781618687639613440
PARAM_VALUE 0 dev->dev->sdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->write16 7173547569174134784,8525068196089282560
PARAM_VALUE 0 dev->dev->write32 4587694200137560064,7520095774301904896
PARAM_VALUE 0 dev->list.next 4096-ptr_max
PARAM_VALUE 0 dev->list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->phy.do_full_init 1
PARAM_VALUE 0 dev->phy.ops 0,4096-ptr_max
PARAM_VALUE 0 dev->wl 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw_registered 0
PARAM_VALUE 0 dev->wl->mutex.first_waiter 0
PARAM_VALUE 0 dev->wl->mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->wl->mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->wl->mutex.owner.counter 0
PARAM_VALUE 1 offset 1014
PARAM_VALUE 2 value 1
BUF_SIZE 0 dev 1864
CAPPED_DATA 0 dev->dev->bdev 1
CAPPED_DATA 0 dev->dev->sdev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->phy.gmode 0-1

drivers/net/wireless/broadcom/b43/main.c b43_phy_versioning() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->__init_status.counter 0
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->bdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->block_read 4632475226361556992,7731981233052561408
PARAM_VALUE 0 dev->dev->block_write 1125228170914029568,8359985575147864064
PARAM_VALUE 0 dev->dev->bus_may_powerdown 934422528289603584,3746675846236131328
PARAM_VALUE 0 dev->dev->bus_powerup 2611190709949759488,6904725577299886080
PARAM_VALUE 0 dev->dev->bus_sprom 4096-ptr_max
PARAM_VALUE 0 dev->dev->bus_type 0-1
PARAM_VALUE 0 dev->dev->chip_id 0-17174,17176-u16max
PARAM_VALUE 0 dev->dev->core_rev 0-21,23
PARAM_VALUE 0 dev->dev->device_disable 4177537834878025728,5622025387888824320
PARAM_VALUE 0 dev->dev->device_enable 909150061579714560,2755700280924897280
PARAM_VALUE 0 dev->dev->device_is_enabled 3019643755813167104,5130525385311490048
PARAM_VALUE 0 dev->dev->read16 2326588458324860928,8584098603952517120
PARAM_VALUE 0 dev->dev->read32 1683823346012336128,1781618687639613440
PARAM_VALUE 0 dev->dev->sdev 4096-ptr_max
PARAM_VALUE 0 dev->dev->write16 7173547569174134784,8525068196089282560
PARAM_VALUE 0 dev->dev->write32 4587694200137560064,7520095774301904896
PARAM_VALUE 0 dev->list.next 4096-ptr_max
PARAM_VALUE 0 dev->list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->phy.do_full_init 1
PARAM_VALUE 0 dev->phy.ops 0,4096-ptr_max
PARAM_VALUE 0 dev->wl 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw 4096-ptr_max
PARAM_VALUE 0 dev->wl->hw_registered 0
PARAM_VALUE 0 dev->wl->mutex.first_waiter 0
PARAM_VALUE 0 dev->wl->mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->wl->mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->wl->mutex.owner.counter 0
PARAM_VALUE 1 offset 1014
PARAM_VALUE 2 value 1
BUF_SIZE 0 dev 1864
CAPPED_DATA 0 dev->dev->bdev 1
CAPPED_DATA 0 dev->dev->sdev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->phy.gmode 0-1

drivers/net/wireless/broadcom/b43/phy_n.c b43_nphy_op_maskset() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops->phy_maskset 2649828070482952192,8137292870463610880,8733720363899645952
PARAM_VALUE 1 offset 1020
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_n.c b43_nphy_op_radio_read() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.writes_counter 0
PARAM_VALUE 1 offset 1014
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1 [m]
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_n.c b43_nphy_op_radio_write() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 1 offset 1014
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_lp.c b43_lpphy_op_maskset() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops->phy_maskset 2649828070482952192,8137292870463610880,8733720363899645952
PARAM_VALUE 1 offset 1020
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_lp.c b43_lpphy_op_radio_read() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.writes_counter 0
PARAM_VALUE 1 offset 1014
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1 [m]
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_lp.c b43_lpphy_op_radio_write() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 1 offset 1014
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_common.c b43_phy_read() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops->phy_read 0
PARAM_VALUE 0 dev->phy.writes_counter 0
PARAM_VALUE 1 offset 1020
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_common.c b43_phy_write() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops->phy_write 0
PARAM_VALUE 1 offset 1020
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_ht.c b43_phy_ht_op_maskset() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops->phy_maskset 2649828070482952192,8137292870463610880,8733720363899645952
PARAM_VALUE 1 offset 1020
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_ht.c b43_phy_ht_op_radio_read() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 0 dev->phy.writes_counter 0
PARAM_VALUE 1 offset 984
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1 [m]
BIT_INFO 2 value 0x200,0xffff
NOCHECK_CALL

drivers/net/wireless/broadcom/b43/phy_ht.c b43_phy_ht_op_radio_write() -> b43_write16f()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->phy.ops 4096-ptr_max
PARAM_VALUE 1 offset 984
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 value $1
NOCHECK_CALL