Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/mcb/mcb-pci.c mcb_pci_probe() -> chameleon_parse_cells()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->bus_nr | 0-s32max |
| PARAM_VALUE | 0 | bus->carrier | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->dyn_alloc.entry.prev | 1473117533515866344 |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->dyn_alloc.func | 1583282886040592384 |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->pools.prev | 1473117533515866320 |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | bus->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | bus->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | bus->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | bus->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | bus->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | bus->dev.parent->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.parent->driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | bus->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | bus->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | bus->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->get_irq | 2202721770400305152 |
| PARAM_VALUE | 1 | mapbase | 1-u64max |
| PARAM_VALUE | 2 | base | 1-u64max |
| BUF_SIZE | 0 | bus | 1656 |
| BUF_SIZE | 0 | bus->carrier | 1616 |
| DATA_SOURCE | 0 | bus | r mcb_alloc_bus |
| DATA_SOURCE | 2 | base | r devm_ioremap |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/mcb/mcb-lpc.c mcb_lpc_probe() -> chameleon_parse_cells()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->bus_nr | 0-s32max |
| PARAM_VALUE | 0 | bus->carrier | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->dyn_alloc.entry.prev | 1473117533515866344 |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->dyn_alloc.func | 1583282886040592384 |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_mem->pools.prev | 1473117533515866320 |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | bus->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | bus->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | bus->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | bus->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | bus->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | bus->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | bus->dev.parent->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.parent->driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | bus->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | bus->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | bus->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | base | 1-u64max |
| BUF_SIZE | 0 | bus | 1656 |
| BUF_SIZE | 0 | bus->carrier | 1616 |
| DATA_SOURCE | 0 | bus | r mcb_alloc_bus |
| DATA_SOURCE | 2 | base | r devm_ioremap |
| RX_PATH | |||
| TASK_NOT_RUNNING |