Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ssb/sdio.c ssb_sdio_block_read() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 0,4096-ptr_max
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_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 0,4096-ptr_max
LOCK2 &wl->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct b43_wl)->mutex

drivers/ssb/sdio.c ssb_sdio_get_invariants() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 4096-ptr_max
BUF_SIZE 0 bus->host_pci (-1),1-s32max
BUF_SIZE 0 bus->ops 64
CAPPED_DATA 0 bus->chipco.dev 1
DATA_SOURCE 0 bus $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bus->chipco->dev->bus->host_sdio->tmpbuf 0-255
HOST_DATA 0 bus->chipco.dev->bus->chipco.capabilities 0-u32max
HOST_DATA 0 bus->chipco.dev->bus->chipco.max_timer_ms 2114-u16max,541200-u32max[c]
HOST_DATA 0 bus->chipco.dev->bus->chipco.status 0-u32max
HOST_DATA 0 bus->chipco.dev->bus->chipco.ticks_per_ms 1-31[c]
HOST_DATA 0 bus->chipco.status 0-u32max
HOST_DATA 0 bus->host_pci->current_state 0-3[c]

drivers/ssb/sdio.c ssb_sdio_read16() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 4096-ptr_max
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]
HALF_LOCKED2 &wl->leds_lock
HALF_LOCKED2 &wl->mutex
HALF_LOCKED2 flags

drivers/ssb/sdio.c ssb_sdio_read32() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 4096-ptr_max
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 0 *bus->host_sdio->tmpbuf 0-255
HALF_LOCKED2 &wl->mutex

drivers/ssb/sdio.c ssb_sdio_read8() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 0,4096-ptr_max

drivers/ssb/sdio.c ssb_sdio_scan_read32() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 4096-ptr_max
BUF_SIZE 0 bus->chipco.dev (-1),1024
BUF_SIZE 0 bus->host_pci (-1),1-s32max
BUF_SIZE 0 bus->ops 64
BUF_SIZE 0 bus->pcicore.dev (-1),1024
DATA_SOURCE 0 bus $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bus->chip_id 0-u16max
HOST_DATA 0 bus->chip_package 0-15[c]
HOST_DATA 0 bus->chip_rev 0-15[c]
HOST_DATA 0 bus->chipco.capabilities 0-u32max
HOST_DATA 0 bus->chipco.dev->id.coreid 2048[c]
HOST_DATA 0 bus->chipco.dev->id.revision 0-127[c]
HOST_DATA 0 bus->chipco.dev->id.vendor 0-u16max
HOST_DATA 0 bus->host_pci->current_state 0-3[c]
HOST_DATA 0 bus->nr_devices 0-15[c]
HOST_DATA 0 bus->pcicore.dev->id.coreid 2052,2080[c]
HOST_DATA 0 bus->pcicore.dev->id.revision 0-127[c]
HOST_DATA 0 bus->pcicore.dev->id.vendor 0-u16max
HOST_DATA 0 *bus->host_sdio->tmpbuf 0-255

drivers/ssb/sdio.c ssb_sdio_scan_switch_coreidx() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 0,4096-ptr_max
BUF_SIZE 0 bus->chipco.dev (-1),1024
BUF_SIZE 0 bus->host_pci (-1),1-s32max
BUF_SIZE 0 bus->ops 64
BUF_SIZE 0 bus->pcicore.dev (-1),1024
CAPPED_DATA 0 bus->sdio_sbaddr 1
DATA_SOURCE 0 bus $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bus->chip_id 0-u16max
HOST_DATA 0 bus->chip_package 0-15[c]
HOST_DATA 0 bus->chip_rev 0-15[c]
HOST_DATA 0 bus->chipco.capabilities 0-u32max
HOST_DATA 0 bus->chipco.dev->id.coreid 2048[c]
HOST_DATA 0 bus->chipco.dev->id.revision 0-127[c]
HOST_DATA 0 bus->chipco.dev->id.vendor 0-u16max
HOST_DATA 0 bus->host_pci->current_state 0-3[c]
HOST_DATA 0 bus->nr_devices 1-15[c]
HOST_DATA 0 bus->pcicore.dev->id.coreid 2052,2080[c]
HOST_DATA 0 bus->pcicore.dev->id.revision 0-127[c]
HOST_DATA 0 bus->pcicore.dev->id.vendor 0-u16max

drivers/ssb/sdio.c ssb_sdio_set_sbaddr_window() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 0,4096-ptr_max
BUF_SIZE 0 bus->chipco.dev (-1),1024
BUF_SIZE 0 bus->ops (-1),64
BUF_SIZE 0 bus->pcicore.dev (-1),1024
CAPPED_DATA 0 bus->sdio_sbaddr 1
DATA_SOURCE 0 bus $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bus->chip_id 0-u16max
HOST_DATA 0 bus->chip_package 0-15[c]
HOST_DATA 0 bus->chip_rev 0-15[c]
HOST_DATA 0 bus->chipco.capabilities 0-u32max
HOST_DATA 0 bus->chipco.dev->id.coreid 2048[c]
HOST_DATA 0 bus->chipco.dev->id.revision 0-127[c]
HOST_DATA 0 bus->chipco.dev->id.vendor 0-u16max
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 0 bus->host_pci->current_state 0-3[c]
HOST_DATA 0 bus->nr_devices 1-15[c]
HOST_DATA 0 bus->pcicore.dev->id.coreid 2052,2080[c]
HOST_DATA 0 bus->pcicore.dev->id.revision 0-127[c]
HOST_DATA 0 bus->pcicore.dev->id.vendor 0-u16max

drivers/ssb/sdio.c ssb_sdio_switch_core() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 0,4096-ptr_max
CAPPED_DATA 0 bus->sdio_sbaddr 1
DATA_SOURCE 0 bus $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]
HALF_LOCKED2 &wl->mutex

drivers/ssb/sdio.c ssb_sdio_write16() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 4096-ptr_max
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 0 *bus->host_sdio->tmpbuf 0-255
USER_DATA 0 *bus->host_sdio->tmpbuf 0-255
HALF_LOCKED2 &wl->leds_lock
HALF_LOCKED2 flags

drivers/ssb/sdio.c ssb_sdio_write32() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 4096-ptr_max
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 0 *bus->host_sdio->tmpbuf 0-255
USER_DATA 0 *bus->host_sdio->tmpbuf 0-255
HALF_LOCKED2 &wl->mutex

drivers/ssb/sdio.c ssb_sdio_write8() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 0,4096-ptr_max

drivers/ssb/sdio.c ssb_sdio_writeb() -> ssb_sdio_dev()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->host_sdio 0,4096-ptr_max
BUF_SIZE 0 bus->chipco.dev (-1),1024
BUF_SIZE 0 bus->ops (-1),64
BUF_SIZE 0 bus->pcicore.dev (-1),1024
DATA_SOURCE 0 bus $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bus->chip_id 0-u16max
HOST_DATA 0 bus->chip_package 0-15[c]
HOST_DATA 0 bus->chip_rev 0-15[c]
HOST_DATA 0 bus->chipco.capabilities 0-u32max
HOST_DATA 0 bus->chipco.dev->id.coreid 2048[c]
HOST_DATA 0 bus->chipco.dev->id.revision 0-127[c]
HOST_DATA 0 bus->chipco.dev->id.vendor 0-u16max
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 0 bus->host_pci->current_state 0-3[c]
HOST_DATA 0 bus->nr_devices 1-15[c]
HOST_DATA 0 bus->pcicore.dev->id.coreid 2052,2080[c]
HOST_DATA 0 bus->pcicore.dev->id.revision 0-127[c]
HOST_DATA 0 bus->pcicore.dev->id.vendor 0-u16max