Defined in 4 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/usb/isp1760/isp1760-hcd.c isp1760_hub_control() -> check_reset_complete()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->self.mon_bus->cnt_events 0-4294967295
PARAM_VALUE 0 hcd->self.root_hub->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hcd->self.root_hub->dev.power.wakeirq->status 0-4294967295
DATA_SOURCE 0 hcd $0
DATA_SOURCE 1 index $3 [m]
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 &priv->lock
LOCK2 flags
TYPE_LOCK (struct isp1760_hcd)->lock

drivers/usb/host/ehci-hcd.c ehci_hub_control() -> check_reset_complete()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->regs->hostpc 4096-ptr_max
PARAM_VALUE 0 hcd->regs->port_status 4096-ptr_max
PARAM_VALUE 0 hcd->reset_done 4096-ptr_max
PARAM_VALUE 1 index 0-14
PARAM_VALUE 2 status_reg 4096-ptr_max
DATA_SOURCE 1 index $3 [m]
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 port_status 0-s32max
LOCK2 flags
LOCK2 0 &hcd->lock
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/fotg210/fotg210-hcd.c fotg210_hub_control() -> check_reset_complete()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->regs 4096-ptr_max
PARAM_VALUE 0 hcd->reset_done 4096-ptr_max
PARAM_VALUE 1 index 0-14
PARAM_VALUE 2 status_reg 4096-ptr_max
BUF_SIZE 2 status_reg 4
DATA_SOURCE 1 index $3 [m]
PARAM_COMPARE 0 &hcd->regs->port_status == $2
PREEMPT_ADD <- disables preempt
HOST_DATA 3 port_status 0-s32max
LOCK2 flags
LOCK2 0 &hcd->lock
TYPE_LOCK (struct fotg210_hcd)->lock

drivers/usb/host/oxu210hp-hcd.c oxu_hub_control() -> check_reset_complete()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->regs->port_status 4096-ptr_max
PARAM_VALUE 0 hcd->reset_done 4096-ptr_max
PARAM_VALUE 1 index 0-14
PARAM_VALUE 2 status_reg 4096-ptr_max
DATA_SOURCE 1 index $3 [m]
PREEMPT_ADD <- disables preempt
RX_PATH
HOST_DATA 3 port_status s32min-s32max
LOCK2 flags
LOCK2 0 &hcd->lock
TYPE_LOCK (struct oxu_hcd)->lock