Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/dwc3/core.c dwc3_core_probe() -> dwc3_get_usb_power_supply()

Type Parameter Key Value
PARAM_VALUE 0 dwc 4096-ptr_max
PARAM_VALUE 0 dwc->dev 4096-ptr_max
PARAM_VALUE 0 dwc->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dwc->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dwc->dr_mode 0-3
PARAM_VALUE 0 dwc->hsphy_mode 0-5
PARAM_VALUE 0 dwc->max_ssp_rate 0-3
PARAM_VALUE 0 dwc->maximum_speed 0-117
PARAM_VALUE 0 dwc->needs_full_reinit 1
PARAM_VALUE 0 dwc->num_hc_interrupters 0-8
PARAM_VALUE 0 dwc->regs 4096-ptr_max
PARAM_VALUE 0 dwc->sysdev 4096-ptr_max
PARAM_VALUE 0 dwc->sysdev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dwc->sysdev->of_node 0,4096-ptr_max
PARAM_VALUE 0 dwc->xhci_resources 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dwc->max_ssp_rate