ssb_sdio_writeb identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/ssb/sdio.c, line 110 (as a function)

Referenced in 1 files:

drivers/ssb/sdio.c

Smatch caller information:

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

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	addr	65546
PARAM_VALUE	2	val	0,128
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
BIT_INFO	2	val	0x0,0x80
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_set_sbaddr_window() -> ssb_sdio_writeb()

Type	Parameter	Key	Value
PARAM_VALUE	0	bus	4096-ptr_max
PARAM_VALUE	0	bus->host_sdio	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->cqe_on	0-1
PARAM_VALUE	0	bus->host_sdio->card->host->doing_retune	0-1
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.flags	0-4294967295
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.lock.owner_cpu	0-4294967295
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.missed.counter	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.rs_n_left.counter	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.space.counter	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.times.counter	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->hold_retune	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bus->host_sdio->card->host->need_retune	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->retune_now	0-1
PARAM_VALUE	0	bus->host_sdio->card->host->uhs2_app_cmd	0-1
PARAM_VALUE	1	addr	65547
PARAM_VALUE	2	val	0-15
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
BIT_INFO	2	val	0x0,0xff
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_set_sbaddr_window() -> ssb_sdio_writeb()

Type	Parameter	Key	Value
PARAM_VALUE	0	bus	4096-ptr_max
PARAM_VALUE	0	bus->host_sdio	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->cqe_on	0-1
PARAM_VALUE	0	bus->host_sdio->card->host->doing_retune	0-1
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.flags	0-4294967295
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.lock.owner_cpu	0-4294967295
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.missed.counter	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.rs_n_left.counter	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.space.counter	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->fail_mmc_request.times.counter	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->hold_retune	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bus->host_sdio->card->host->need_retune	s32min-s32max
PARAM_VALUE	0	bus->host_sdio->card->host->retune_now	0-1
PARAM_VALUE	0	bus->host_sdio->card->host->uhs2_app_cmd	0-1
PARAM_VALUE	1	addr	65548
PARAM_VALUE	2	val	24
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