Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ssb/scan.c scan_read32() -> ssb_sdio_scan_read32()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->busnumber 0-9
PARAM_VALUE 0 bus->bustype 3
PARAM_VALUE 0 bus->chipco.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 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 0 bus->pcicore.dev->bus->chipco.pmu.crystalfreq 250,12000,13000,14400,15360,16200,16800,19200,19800,20000,24000,25000,26000,30000,38400,40000
PARAM_VALUE 1 offset 0-61436
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
DATA_SOURCE 1 offset $2
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