Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->busnumber 0-7
PARAM_VALUE 0 bus->bustype 3
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 0 bus->list.next 4096-ptr_max
PARAM_VALUE 0 bus->list.next->next 4096-ptr_max
PARAM_VALUE 0 bus->list.prev 4096-ptr_max
PARAM_VALUE 0 bus->list.prev->next 4096-ptr_max
PARAM_VALUE 0 bus->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 bus->mmio 1-u64max
PARAM_VALUE 0 bus->ops 1236619403580723200,1906250246210007040,2807846452821266432,2990613140242620416
PARAM_VALUE 1 address 402653184-402710528
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 1 address 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_switch_core() -> ssb_sdio_set_sbaddr_window()

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 address 402653184-403697664
DATA_SOURCE 0 bus $0
PARAM_COMPARE 0 bus->sdio_sbaddr != $1
PARAM_COMPARE 1 address != $0->sdio_sbaddr
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