Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ssb/sdio.c ssb_sdio_block_read() -> ssb_sdio_switch_core()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev->ops | 4096-ptr_max |
| DATA_SOURCE | 1 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->wl->mutex | ||
| HALF_LOCKED2 | &wl->mutex | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/ssb/sdio.c ssb_sdio_block_write() -> ssb_sdio_switch_core()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev->ops | 4096-ptr_max |
| DATA_SOURCE | 1 | dev | $0 |
| LOCK2 | &wl->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/ssb/sdio.c ssb_sdio_read16() -> ssb_sdio_switch_core()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->write16 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->write32 | 4096-ptr_max |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 1 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 0 | bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 0 | bus->chipco.status | 0-u32max |
| HOST_DATA | 0 | bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 1 | dev->bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 1 | dev->bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 1 | dev->bus->chipco.status | 0-u32max |
| HOST_DATA | 1 | dev->bus->chipco.ticks_per_ms | 1-31[c] |
| HALF_LOCKED2 | &wl->leds_lock | ||
| HALF_LOCKED2 | &wl->mutex | ||
| HALF_LOCKED2 | flags |
drivers/ssb/sdio.c ssb_sdio_read32() -> ssb_sdio_switch_core()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->dma_dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | dev->dma_dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 1 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->write16 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->write32 | 4096-ptr_max |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 1 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 0 | bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 0 | bus->chipco.status | 0-u32max |
| HOST_DATA | 0 | bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 1 | dev->bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 1 | dev->bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 1 | dev->bus->chipco.status | 0-u32max |
| HOST_DATA | 1 | dev->bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 1 | *dev->bus->host_sdio->tmpbuf | 0-255 |
| HALF_LOCKED2 | &wl->mutex |
drivers/ssb/sdio.c ssb_sdio_read8() -> ssb_sdio_switch_core()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 1 | dev | $0 |
drivers/ssb/sdio.c ssb_sdio_write16() -> ssb_sdio_switch_core()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->write16 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->write32 | 4096-ptr_max |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 1 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 0 | bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 0 | bus->chipco.status | 0-u32max |
| HOST_DATA | 0 | bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 1 | dev->bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 1 | dev->bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 1 | dev->bus->chipco.status | 0-u32max |
| HOST_DATA | 1 | dev->bus->chipco.ticks_per_ms | 1-31[c] |
| HALF_LOCKED2 | &wl->leds_lock | ||
| HALF_LOCKED2 | flags |
drivers/ssb/sdio.c ssb_sdio_write32() -> ssb_sdio_switch_core()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->dma_dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | dev->dma_dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 1 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->write16 | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->ops->write32 | 4096-ptr_max |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 1 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 0 | bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 0 | bus->chipco.status | 0-u32max |
| HOST_DATA | 0 | bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 1 | dev->bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 1 | dev->bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 1 | dev->bus->chipco.status | 0-u32max |
| HOST_DATA | 1 | dev->bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 1 | *dev->bus->host_sdio->tmpbuf | 0-255 |
| HALF_LOCKED2 | &wl->mutex |
drivers/ssb/sdio.c ssb_sdio_write8() -> ssb_sdio_switch_core()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 0 | bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->claimed | 1 |
| PARAM_VALUE | 1 | dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 1 | dev | $0 |