Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ssb/main.c ssb_bus_register() -> ssb_fetch_invariants()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->busnumber 0-13
PARAM_VALUE 0 bus->bustype 0-3
PARAM_VALUE 0 bus->chipco->dev->bus->host_sdio->tmpbuf 0-255
PARAM_VALUE 0 bus->chipco.dev 0,4096-ptr_max
PARAM_VALUE 0 bus->chipco.dev->bus->bar_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bus->chipco.dev->bus->chipco.pmu.crystalfreq 250,12000,13000,14400,15360,16200,16800,19200,19800,20000,24000
PARAM_VALUE 0 bus->chipco.dev->bus->host_pcmcia->socket->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 bus->chipco.dev->bus->host_sdio->card->host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bus->chipco.dev->bus->host_sdio->card->host->ongoing_mrq->cmd_completion.done 0-4294967293,4294967295
PARAM_VALUE 0 bus->chipco.dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 bus->chipco.dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 bus->chipco.dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 bus->chipco.dev->bus->mapped_device->bus 4096-ptr_max
PARAM_VALUE 0 bus->chipco.dev->bus->sdio_sbaddr 0-255,402653184-403697664
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->ops 1236619403580723200,1906250246210007040,2807846452821266432,2990613140242620416
PARAM_VALUE 0 bus->powered_up 1
PARAM_VALUE 1 get_invariants 164447492010749952,1936250802052952064,6651769680870809600,8162299586280300544
BUF_SIZE 0 bus (-1),2552
BUF_SIZE 0 bus (-1),2552
BUF_SIZE 0 bus->host_pci (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 bus->ops 64
CAPPED_DATA 0 bus->chipco.dev 1
DATA_SOURCE 0 bus $0
DATA_SOURCE 1 get_invariants $1
HARD_MAX 0 bus->bustype 3
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]