Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/broadcom/b43legacy/phy.c ssb_read16() -> (struct ssb_bus_ops)->read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->host_pcmcia->socket->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| 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 | 1 | offset | 994,996,998,1004,1012,1022 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| HARD_MAX | 1 | offset | 1022 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/broadcom/b43legacy/xmit.c ssb_read16() -> (struct ssb_bus_ops)->read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
drivers/ssb/driver_pcicore.c ssb_read16() -> (struct ssb_bus_ops)->read16()
| 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_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->need_retune | s32min-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->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->read32 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->write32 | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 2048,2058 |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| HARD_MAX | 1 | offset | 2058 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
drivers/net/wireless/broadcom/b43/bus.c ssb_read16() -> (struct ssb_bus_ops)->read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->wl->mutex | ||
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/broadcom/b43legacy/rfkill.c ssb_read16() -> (struct ssb_bus_ops)->read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->chipco.pmu.crystalfreq | 0,2,12000,13000,14400,15360,16200,16800,19200,19800,20000,24000,25000,26000,30000,38400,40000 |
| PARAM_VALUE | 0 | dev->id.revision | 0-2 |
| 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 | 1 | offset | 1178 |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| HARD_MAX | 0 | dev->id.revision | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
| LOCK2 | &wl->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &rdev->wiphy.mtx | ||
| TYPE_LOCK | (struct b43legacy_wl)->mutex |
drivers/net/wireless/broadcom/b43legacy/leds.c ssb_read16() -> (struct ssb_bus_ops)->read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->chipco.pmu.crystalfreq | 0,2,12000,13000,14400,15360,16200,16800,19200,19800,20000,24000,25000,26000,30000,38400,40000 |
| 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 | 1 | offset | 1180 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
| 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 ssb_read16() -> (struct ssb_bus_ops)->read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/broadcom/b43legacy/radio.c ssb_read16() -> (struct ssb_bus_ops)->read16()
| 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->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->bus->host_pcmcia->socket->ops_mutex.first_waiter->task->blocked_on | (-1)-0 |
| 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 | 1 | offset | 992,994,998,1004,1012,1018 |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| HARD_MAX | 1 | offset | 1018 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/broadcom/b43legacy/main.c ssb_read16() -> (struct ssb_bus_ops)->read16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| 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 | 1 | offset | 94,356,358,776,792,808,824,992,1016,1018,1182,1294,1586,1588,1590,1592,1626,1680 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
| HALF_LOCKED2 | &dev->wl->irq_lock | ||
| HALF_LOCKED2 | &wl->irq_lock | ||
| HALF_LOCKED2 | &wl->mutex | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &reading_mutex |