Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/usb/chipidea/ci_hdrc_msm.c ci_hdrc_msm_remove() -> ci_hdrc_remove_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/usb/chipidea/ci_hdrc_usb2.c ci_hdrc_usb2_remove() -> ci_hdrc_remove_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/usb/chipidea/ci_hdrc_tegra.c tegra_usb_remove() -> ci_hdrc_remove_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/usb/chipidea/ci_hdrc_imx.c ci_hdrc_imx_probe() -> ci_hdrc_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 pdev->dev->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.bus->dev_groups 890666487010902016
PARAM_VALUE 0 pdev->dev.bus->dma_cleanup 2567693292227600384
PARAM_VALUE 0 pdev->dev.bus->dma_configure 7339647197731467264
PARAM_VALUE 0 pdev->dev.bus->driver_override 0
PARAM_VALUE 0 pdev->dev.bus->match 1790182723300528128
PARAM_VALUE 0 pdev->dev.bus->need_parent_lock 0
PARAM_VALUE 0 pdev->dev.bus->offline 0
PARAM_VALUE 0 pdev->dev.bus->online 0
PARAM_VALUE 0 pdev->dev.bus->pm 5393334728557981696
PARAM_VALUE 0 pdev->dev.bus->probe 3034367972688941056
PARAM_VALUE 0 pdev->dev.bus->remove 3664030250746302464
PARAM_VALUE 0 pdev->dev.bus->resume 0
PARAM_VALUE 0 pdev->dev.bus->shutdown 4550783666758901760
PARAM_VALUE 0 pdev->dev.bus->suspend 0
PARAM_VALUE 0 pdev->dev.bus->uevent 7642397512928026624
PARAM_VALUE 0 pdev->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pdev->dev.driver_data->ops_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 pdev->dev.driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 pdev->dev.driver_data->skt_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 pdev->dev.driver_data->skt_mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 pdev->dev.flags 4096-ptr_max
PARAM_VALUE 0 pdev->dev.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 pdev->dev.fwnode->dev->p 1-u64max
PARAM_VALUE 0 pdev->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 pdev->dev.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 pdev->dev.kobj->kset->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.kobj->name 0-255
PARAM_VALUE 0 pdev->dev.kobj.entry.prev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.kobj.parent 0
PARAM_VALUE 0 pdev->dev.kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 pdev->dev.kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 pdev->dev.kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 pdev->dev.kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 pdev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 pdev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 pdev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 pdev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 pdev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 pdev->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 pdev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 pdev->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 pdev->dev.of_node->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.of_node->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.p->dead 0-1
PARAM_VALUE 0 pdev->dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 pdev->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 pdev->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 pdev->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 pdev->dev.p->knode_class.n_klist 0
PARAM_VALUE 0 pdev->dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 pdev->dev.p->knode_parent.n_klist 0
PARAM_VALUE 0 pdev->dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 pdev->dev.parent->devt 0-s32max
PARAM_VALUE 0 pdev->dev.parent->id 0-s32max
PARAM_VALUE 0 pdev->dev.parent->links.status 0-s32max
PARAM_VALUE 0 pdev->dev.parent->removable 0-s32max
PARAM_VALUE 0 pdev->dev.physical_location->horizontal_position 0
PARAM_VALUE 0 pdev->dev.physical_location->panel 0
PARAM_VALUE 0 pdev->dev.physical_location->vertical_position 0
PARAM_VALUE 0 pdev->dev.pm_domain 0,4096-ptr_max
PARAM_VALUE 0 pdev->dev.power.can_wakeup 0
PARAM_VALUE 0 pdev->dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 pdev->dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.power.needs_force_resume 0
PARAM_VALUE 0 pdev->dev.power.qos->latency_tolerance.no_constraint_value (-1)
PARAM_VALUE 0 pdev->dev.power.qos->latency_tolerance.type 2
PARAM_VALUE 0 pdev->dev.power.set_latency_tolerance 0
PARAM_VALUE 0 pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pdev->id 0-s32max
PARAM_VALUE 0 pdev->id_auto 1
BUF_SIZE 0 pdev 1688
CAPPED_DATA 0 pdev->num_resources 1
DATA_SOURCE 0 pdev r ci_hdrc_add_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pdev->num_resources
NO_OVERFLOW_SIMPLE 0 pdev->pdev.id

drivers/usb/chipidea/ci_hdrc_imx.c ci_hdrc_imx_remove() -> ci_hdrc_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 pdev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/usb/chipidea/ci_hdrc_npcm.c npcm_udc_remove() -> ci_hdrc_remove_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/usb/chipidea/ci_hdrc_pci.c ci_hdrc_pci_remove() -> ci_hdrc_remove_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL