Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/dwc2/hcd.c otg_set_host() -> (struct usb_otg)->set_host()

Type Parameter Key Value
PARAM_VALUE 0 otg 4096-ptr_max
PARAM_VALUE 0 otg->set_host 1-u64max
PARAM_VALUE 0 otg->usb_phy->io_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 host 0,4096-ptr_max
PARAM_VALUE 1 host->otg_port 1
DATA_SOURCE 0 otg $0
DATA_SOURCE 1 host $1
CONTAINER 0 -48+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/usb/musb/musb_host.c otg_set_host() -> (struct usb_otg)->set_host()

Type Parameter Key Value
PARAM_VALUE 0 otg 4096-ptr_max
PARAM_VALUE 0 otg->set_host 1-u64max
PARAM_VALUE 0 otg->state 1,6
PARAM_VALUE 1 host 4096-ptr_max
PARAM_VALUE 1 host->uses_pio_for_control 1
DATA_SOURCE 0 otg $0
DATA_SOURCE 1 host $1
CONTAINER 0 -48+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/usb/host/ehci-mv.c otg_set_host() -> (struct usb_otg)->set_host()

Type Parameter Key Value
PARAM_VALUE 0 otg 4096-ptr_max
PARAM_VALUE 0 otg->set_host 1-u64max
PARAM_VALUE 1 host 0,4096-ptr_max
DATA_SOURCE 0 otg $0
DATA_SOURCE 1 host $1
CONTAINER 0 -48+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/usb/host/ehci-fsl.c otg_set_host() -> (struct usb_otg)->set_host()

Type Parameter Key Value
PARAM_VALUE 0 otg 4096-ptr_max
PARAM_VALUE 0 otg->set_host 1-u64max
PARAM_VALUE 1 host 0,4096-ptr_max
DATA_SOURCE 0 otg $0
DATA_SOURCE 1 host $1
CONTAINER 0 -48+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex