Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ssb/pci.c ssb_pci_sprom_get() -> sprom_do_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->busnumber | 0-7 |
| 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->host_pcmcia->socket->ops_mutex.osq.tail.counter | 0-s32max |
| 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->host_sdio->card->host->parent->iommu->priv->domain->pd_mode | 0-2 |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->host_sdio->card->host->parent->iommu->priv->domain->pscid | (-4095)-s32max |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->mapped_device->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->mapped_device->id.coreid | 0,2054,2056,2066,2071,2073 |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->mapped_device->id.revision | 0,2,4-7,9-13,15-16,255 |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->sdio_sbaddr | 0-255,402653184-403697664 |
| PARAM_VALUE | 0 | bus->chipco.pmu.crystalfreq | 0,12000,13000,14400,15360,16200,16800,19200,19800,20000,24000,25000,26000,30000,38400,40000 |
| PARAM_VALUE | 0 | bus->host_pcmcia->function_config->state | 0-4294967295 |
| 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 | 0 | bus->sprom_offset | 2048,4096 |
| PARAM_VALUE | 0 | bus->sprom_size | 64 |
| PARAM_VALUE | 1 | sprom | 16,4096-ptr_max |
| BUF_SIZE | 0 | bus->host_pci | (-1),1-s32max |
| BUF_SIZE | 0 | bus->ops | 64 |
| BUF_SIZE | 1 | sprom | 2 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | sprom | r _kmalloc_array_noprof |
| FUZZY_MAX | 0 | bus->sprom_offset | 4096 |
| BIT_INFO | 0 | bus->sprom_offset | 0x0,0x1800 |
| HARD_MAX | 0 | bus->bustype | 3 |
| HARD_MAX | 0 | bus->sprom_offset | 4096 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
drivers/ssb/pci.c ssb_pci_sprom_get() -> sprom_do_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->busnumber | 0-7 |
| 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->host_pcmcia->socket->ops_mutex.osq.tail.counter | 0-s32max |
| 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->host_sdio->card->host->parent->iommu->priv->domain->pd_mode | 0-2 |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->host_sdio->card->host->parent->iommu->priv->domain->pscid | (-4095)-s32max |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->mapped_device->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->mapped_device->id.coreid | 0,2054,2056,2066,2071,2073 |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->mapped_device->id.revision | 0,2,4-7,9-13,15-16,255 |
| PARAM_VALUE | 0 | bus->chipco.dev->bus->sdio_sbaddr | 0-255,402653184-403697664 |
| PARAM_VALUE | 0 | bus->chipco.pmu.crystalfreq | 0,12000,13000,14400,15360,16200,16800,19200,19800,20000,24000,25000,26000,30000,38400,40000 |
| PARAM_VALUE | 0 | bus->host_pcmcia->function_config->state | 0-4294967295 |
| 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 | 0 | bus->sprom_offset | 2048,4096 |
| PARAM_VALUE | 0 | bus->sprom_size | 220 |
| PARAM_VALUE | 1 | sprom | 16,4096-ptr_max |
| BUF_SIZE | 0 | bus->host_pci | (-1),1-s32max |
| BUF_SIZE | 0 | bus->ops | 64 |
| BUF_SIZE | 1 | sprom | 2 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | sprom | r _kmalloc_array_noprof |
| FUZZY_MAX | 0 | bus->sprom_offset | 4096 |
| BIT_INFO | 0 | bus->sprom_offset | 0x0,0x1800 |
| HARD_MAX | 0 | bus->bustype | 3 |
| HARD_MAX | 0 | bus->sprom_offset | 4096 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
drivers/ssb/sprom.c ssb_attr_sprom_show() -> ssb_attr_sprom_show param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->bustype | 1-2 |
| PARAM_VALUE | 0 | bus->sprom_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bus->sprom_mutex.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | bus->sprom_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | bus->sprom_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | bus->sprom_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | bus->sprom_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bus->sprom_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | bus->sprom_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | sprom | 16,4096-ptr_max |
| BUF_SIZE | 1 | sprom | 2 |
| CAPPED_DATA | 0 | &bus->sprom_mutex | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 1 | sprom | r _kmalloc_array_noprof |
| HARD_MAX | 0 | bus->bustype | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &of->mutex | ||
| LOCK2 | 0 | &bus->sprom_mutex | |
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex | ||
| TYPE_LOCK | (struct ssb_bus)->sprom_mutex |