Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/usb/phy/phy.c devm_usb_phy_release() -> usb_put_phy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &pool->lock

drivers/usb/phy/phy.c devm_usb_phy_release2() -> usb_put_phy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &pool->lock

drivers/usb/gadget/udc/pxa27x_udc.c pxa_udc_remove() -> usb_put_phy()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->notifier.head 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/usb/musb/tusb6010.c tusb_musb_exit() -> usb_put_phy()

Type Parameter Key Value
PARAM_VALUE 0 x->otg->usb_phy->io_dev->power.wakeirq->status 0-4294967295
BUF_SIZE 0 x->io_ops (-1),16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/musb/tusb6010.c tusb_musb_init() -> usb_put_phy()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->dev 4096-ptr_max
PARAM_VALUE 0 x->dev->driver 4096-ptr_max
PARAM_VALUE 0 x->dev->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 x->dev->driver->owner->state 0-1,3-u32max
PARAM_VALUE 0 x->set_power 5477344713187688448
PARAM_VALUE 0 x->type 1
DATA_SOURCE 0 x r usb_get_phy
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/musb/ux500.c ux500_musb_exit() -> usb_put_phy()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->otg->usb_phy->io_dev->power.wakeirq->status 0-4294967295
BUF_SIZE 0 x->io_ops (-1),16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/fotg210/fotg210-udc.c fotg210_udc_remove() -> usb_put_phy()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->notifier.head 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/host/ehci-fsl.c fsl_ehci_drv_probe() -> usb_put_phy()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->dev 4096-ptr_max
PARAM_VALUE 0 x->dev->driver 4096-ptr_max
PARAM_VALUE 0 x->dev->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 x->dev->driver->owner->state 0-1,3-u32max
PARAM_VALUE 0 x->otg 0,4096-ptr_max
PARAM_VALUE 0 x->otg->usb_phy->io_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 x->type 1
DATA_SOURCE 0 x r usb_get_phy
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/host/ehci-fsl.c fsl_ehci_drv_remove() -> usb_put_phy()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->otg 0,4096-ptr_max
PARAM_VALUE 0 x->otg->usb_phy->io_dev->power.wakeirq->status 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex