Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ssb/scan.c ssb_bus_scan() -> scan_switchcore()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->busnumber 0-11
PARAM_VALUE 0 bus->bustype 0-3
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 coreidx 0
BUF_SIZE 0 bus->host_pci (-1),1-s32max
BUF_SIZE 0 bus->ops 64
DATA_SOURCE 0 bus $0
HARD_MAX 0 bus->bustype 3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bus->host_pci->current_state 0-3[c]

drivers/ssb/scan.c ssb_bus_scan() -> scan_switchcore()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->busnumber 0-11
PARAM_VALUE 0 bus->bustype 0-3
PARAM_VALUE 0 bus->chip_package 0-15
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->nr_devices 1-15
PARAM_VALUE 0 bus->ops 1236619403580723200,1906250246210007040,2807846452821266432,2990613140242620416
PARAM_VALUE 1 coreidx 0-14
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 coreidx 1
DATA_SOURCE 0 bus $0
PARAM_COMPARE 0 bus->nr_devices > $1
PARAM_COMPARE 1 coreidx < $0->nr_devices
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
HOST_DATA 0 *bus->host_sdio->tmpbuf 0-255
UNITS 1 coreidx unit_array_size