Defined in 1 files as a function:
Referenced in 4 files:
- drivers/net/wireless/broadcom/b43/bus.c, line 160
- drivers/net/wireless/broadcom/b43legacy/b43legacy.h, line 815
- drivers/ssb/driver_gige.c, line 56
- drivers/ssb/driver_pcicore.c, line 46
Smatch caller information:
drivers/net/wireless/broadcom/b43legacy/phy.c b43legacy_write16() -> ssb_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->write16 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->write32 | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 994,996,998,1004,1012,1020,1022 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| HARD_MAX | 1 | offset | 1022 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 0 | dev->bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 0 | dev->bus->chipco.status | 0-u32max |
| HOST_DATA | 0 | dev->bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 2 | value | 0-u16max |
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/broadcom/b43legacy/xmit.c b43legacy_write16() -> ssb_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| NOCHECK_CALL |
drivers/ssb/driver_pcicore.c pcicore_write16() -> ssb_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->bar_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->bus->host_pcmcia->socket->cis_mem.card_start | 0-4294967295 |
| PARAM_VALUE | 0 | dev->bus->host_pcmcia->socket->cis_mem.flags | 0-255 |
| PARAM_VALUE | 0 | dev->bus->host_pcmcia->socket->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->claimed | 0 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->claimer | 0 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->cqe_on | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->doing_retune | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.flags | 0-4294967295 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->fail_mmc_request.space.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->fail_mmc_request.times.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->hold_retune | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->need_retune | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->ongoing_mrq->cmd_completion.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->parent->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->parent->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->cookie | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->cookie_sg_count | (-22),0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->dma_len | 1-4294967295 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->next_data.cookie | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->next_data.dma_len | 0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->pcr->pci->dev.dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->pcr->pcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->sg_count | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->retune_now | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->uhs2_app_cmd | 0-1 |
| PARAM_VALUE | 0 | dev->bus->mapped_device | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->mapped_device->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->sdio_sbaddr | 0-255,402653184-403697664 |
| PARAM_VALUE | 0 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->write32 | 4096-ptr_max |
| PARAM_VALUE | 0 | *dev->bus->host_pcmcia->socket->cis_virt | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *dev->bus->host_sdio->card->host->private->regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->bus->host_sdio->card->host->private->ucr->cmd_buf | 0-255 |
| PARAM_VALUE | 1 | offset | 2048,2058 |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| HARD_MAX | 1 | offset | 2058 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 0 | dev->bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 0 | dev->bus->chipco.status | 0-u32max |
| HOST_DATA | 0 | dev->bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 2 | value | 0-u16max[c] |
drivers/net/wireless/broadcom/b43/bus.c b43_bus_ssb_write16() -> ssb_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-u16max |
| HALF_LOCKED2 | &dev->wl->mutex | ||
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/broadcom/b43legacy/leds.c b43legacy_write16() -> ssb_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->bar_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->bus->host_pcmcia->socket->cis_mem.card_start | 0-4294967295 |
| PARAM_VALUE | 0 | dev->bus->host_pcmcia->socket->cis_mem.flags | 0-255 |
| PARAM_VALUE | 0 | dev->bus->host_pcmcia->socket->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->claimed | 0 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->claimer | 0 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->cqe_on | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->doing_retune | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.flags | 0-4294967295 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->fail_mmc_request.space.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->fail_mmc_request.times.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->hold_retune | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->need_retune | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->ongoing_mrq->cmd_completion.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->parent->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->parent->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->cookie | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->cookie_sg_count | (-22),0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->dma_len | 1-4294967295 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->next_data.cookie | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->next_data.dma_len | 0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->pcr->pci->dev.dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->pcr->pcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->sg_count | s32min-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->retune_now | 0-1 |
| PARAM_VALUE | 0 | dev->bus->host_sdio->card->host->uhs2_app_cmd | 0-1 |
| PARAM_VALUE | 0 | dev->bus->mapped_device | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->mapped_device->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->sdio_sbaddr | 0-255,402653184-403697664 |
| PARAM_VALUE | 0 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->write16 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->write32 | 4096-ptr_max |
| PARAM_VALUE | 0 | *dev->bus->host_pcmcia->socket->cis_virt | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *dev->bus->host_sdio->card->host->private->regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->bus->host_sdio->card->host->private->ucr->cmd_buf | 0-255 |
| PARAM_VALUE | 1 | offset | 1180 |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 0 | dev->bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 0 | dev->bus->chipco.status | 0-u32max |
| HOST_DATA | 0 | dev->bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 2 | value | 0-u16max |
| LOCK2 | &wl->leds_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &wl->mutex | ||
| TYPE_LOCK | (struct b43legacy_wl)->leds_lock |
drivers/net/wireless/broadcom/b43legacy/pio.c b43legacy_write16() -> ssb_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-u16max |
| USER_DATA | 2 | value | 0-u16max |
| HALF_LOCKED2 | &dev->wl->irq_lock | ||
| HALF_LOCKED2 | flags |
drivers/net/wireless/broadcom/b43legacy/radio.c b43legacy_write16() -> ssb_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->write16 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->write32 | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 994,998,1004,1008,1012,1014,1018 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| HARD_MAX | 1 | offset | 1018 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 0 | dev->bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 0 | dev->bus->chipco.status | 0-u32max |
| HOST_DATA | 0 | dev->bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 2 | value | 0-u16max |
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/broadcom/b43legacy/main.c b43legacy_write16() -> ssb_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | value | $2 |
| NOCHECK_CALL |