Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/mobiveil/pcie-layerscape-gen4.c ls_g4_pcie_probe() -> ls_g4_pcie_enable_interrupt()

Type Parameter Key Value
PARAM_VALUE 0 pcie->pci.csr_axi_slave_base 4096-ptr_max
PARAM_VALUE 0 pcie->pci.ib_wins_configured 0-1
PARAM_VALUE 0 pcie->pci.pdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.pdev->dev.driver_data->irq 1-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->bus 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->bus->busn_res.parent->child 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->bus->busn_res.sibling->start 1-u64max
PARAM_VALUE 0 pcie->pci.rp.bridge->bus->resources.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 pcie->pci.rp.bridge->dev->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->device_count 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->skt_mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.driver_data->skt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.fwnode->dev->p 1-u64max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.fwnode->suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.fwnode->suppliers.next->prev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj->kset->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj->name 0-255
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.p->dead 1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.parent->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.parent->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.parent->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.parent->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.power.completion.done u32max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.power.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.power.in_dpm_list 1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.power.irq_safe 0
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.power.last_status (-1)
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.power.no_callbacks 1
PARAM_VALUE 0 pcie->pci.rp.bridge->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pcie->pci.rp.bridge->dma_ranges.next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->dma_ranges.prev 0,4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->domain_nr (-1)
PARAM_VALUE 0 pcie->pci.rp.bridge->ide_stream_ida.xa.xa_flags 33554437
PARAM_VALUE 0 pcie->pci.rp.bridge->ide_stream_ids_ida.xa.xa_flags 33554437
PARAM_VALUE 0 pcie->pci.rp.bridge->native_aer 1
PARAM_VALUE 0 pcie->pci.rp.bridge->native_cxl_error 1
PARAM_VALUE 0 pcie->pci.rp.bridge->native_dpc 1
PARAM_VALUE 0 pcie->pci.rp.bridge->native_ltr 1
PARAM_VALUE 0 pcie->pci.rp.bridge->native_pcie_hotplug 1
PARAM_VALUE 0 pcie->pci.rp.bridge->native_pme 1
PARAM_VALUE 0 pcie->pci.rp.bridge->native_shpc_hotplug 1
PARAM_VALUE 0 pcie->pci.rp.bridge->nr_ide_streams 256
PARAM_VALUE 0 pcie->pci.rp.bridge->ops->map_bus 6425285797807177728
PARAM_VALUE 0 pcie->pci.rp.bridge->ops->read 6746132569971617792
PARAM_VALUE 0 pcie->pci.rp.bridge->ops->write 1386749680028413952
PARAM_VALUE 0 pcie->pci.rp.bridge->ports.next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->ports.prev 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->windows.next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->windows.prev 0,4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.bridge->windows.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.config_axi_slave_base 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.ob_io_res 4096-ptr_max
PARAM_VALUE 0 pcie->pci.rp.ob_io_res->name 1-u64max
PARAM_VALUE 0 *pcie->pci->pdev->dev->p->deferred_probe_reason 0-255
BUF_SIZE 0 pcie 0-1080
BUF_SIZE 0 pcie 0-1080
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/controller/mobiveil/pcie-layerscape-gen4.c ls_g4_pcie_reset() -> ls_g4_pcie_enable_interrupt()

Type Parameter Key Value
PARAM_VALUE 0 pcie 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock