Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/ehci-mv.c mv_ehci_probe() -> mv_ehci_disable()

Type Parameter Key Value
PARAM_VALUE 0 ehci_mv 4096-ptr_max
PARAM_VALUE 0 ehci_mv->base 4096-ptr_max
PARAM_VALUE 0 ehci_mv->cap_regs 4352-ptr_max
PARAM_VALUE 0 ehci_mv->clk 0,4096-ptr_max
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.request 0-4
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->prepare_count 1-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 ehci_mv->mode 0
PARAM_VALUE 0 ehci_mv->op_regs 4352-18446744073709547775
PARAM_VALUE 0 ehci_mv->otg 4096-ptr_max
PARAM_VALUE 0 ehci_mv->otg->dev 4096-ptr_max
PARAM_VALUE 0 ehci_mv->otg->dev->driver 4096-ptr_max
PARAM_VALUE 0 ehci_mv->otg->dev->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 ehci_mv->otg->dev->driver->owner->state 0-1,3-u32max
PARAM_VALUE 0 ehci_mv->otg->otg 4096-ptr_max
PARAM_VALUE 0 ehci_mv->otg->type 1
PARAM_VALUE 0 ehci_mv->phy 0,4096-ptr_max
PARAM_VALUE 0 ehci_mv->phy->dev.power.request 0-4
PARAM_VALUE 0 ehci_mv->phy->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ehci_mv->phy->dev.power.runtime_status 0,2
PARAM_VALUE 0 ehci_mv->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ehci_mv->phy->ops 4096-ptr_max
PARAM_VALUE 0 ehci_mv->phy->ops->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 ehci_mv->phy->ops->owner->state 0-1,3-u32max
BUF_SIZE 0 ehci_mv->clk (-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/host/ehci-mv.c mv_ehci_probe() -> mv_ehci_disable()

Type Parameter Key Value
PARAM_VALUE 0 ehci_mv 4096-ptr_max
PARAM_VALUE 0 ehci_mv->base 4096-ptr_max
PARAM_VALUE 0 ehci_mv->cap_regs 4352-ptr_max
PARAM_VALUE 0 ehci_mv->clk 0,4096-ptr_max
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.request 0-4
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 ehci_mv->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 ehci_mv->clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->prepare_count 1-4294967295
PARAM_VALUE 0 ehci_mv->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 ehci_mv->op_regs 4352-18446744073709547775
PARAM_VALUE 0 ehci_mv->phy 0,4096-ptr_max
PARAM_VALUE 0 ehci_mv->phy->dev.power.request 0-4
PARAM_VALUE 0 ehci_mv->phy->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ehci_mv->phy->dev.power.runtime_status 0,2
PARAM_VALUE 0 ehci_mv->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ehci_mv->phy->ops 4096-ptr_max
PARAM_VALUE 0 ehci_mv->phy->ops->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 ehci_mv->phy->ops->owner->state 0-1,3-u32max
BUF_SIZE 0 ehci_mv->clk (-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/host/ehci-mv.c mv_ehci_remove() -> mv_ehci_disable()

Type Parameter Key Value
PARAM_VALUE 0 ehci_mv 4096-ptr_max
PARAM_VALUE 0 ehci_mv->mode 1
PARAM_VALUE 0 ehci_mv->otg 0,4096-u64max
PARAM_VALUE 0 ehci_mv->otg->otg 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex