Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/dwc2/hcd.c _dwc2_hcd_stop() -> dwc2_vbus_supply_exit()

Type Parameter Key Value
PARAM_VALUE 0 hsotg 4096-ptr_max
PARAM_VALUE 0 hsotg->available_host_channels 0-255
PARAM_VALUE 0 hsotg->flags.b.port_connect_status 0
PARAM_VALUE 0 hsotg->flags.b.port_connect_status_change 1
PARAM_VALUE 0 hsotg->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hsotg->lx_state 3
PARAM_VALUE 0 hsotg->non_periodic_channels 0
PARAM_VALUE 0 hsotg->periodic_channels 0
PARAM_VALUE 0 hsotg->priv 4096-ptr_max
PARAM_VALUE 0 hsotg->priv->self.is_b_host 0
DATA_SOURCE 0 hsotg r dwc2_hcd_to_hsotg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex

drivers/usb/dwc2/hcd.c _dwc2_hcd_suspend() -> dwc2_vbus_supply_exit()

Type Parameter Key Value
PARAM_VALUE 0 hsotg 4096-ptr_max
PARAM_VALUE 0 hsotg->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hsotg->lx_state 0,2
PARAM_VALUE 0 hsotg->op_state 0-2,4-u32max
PARAM_VALUE 0 hsotg->params.power_down 0-2
DATA_SOURCE 0 hsotg r dwc2_hcd_to_hsotg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hsotg->dr_backup.daintmsk 0-u32max
HOST_DATA 0 hsotg->dr_backup.dcfg 0-u32max
HOST_DATA 0 hsotg->dr_backup.dctl 0-u32max
HOST_DATA 0 hsotg->dr_backup.diepmsk 0-u32max
HOST_DATA 0 hsotg->dr_backup.doepmsk 0-u32max
HOST_DATA 0 hsotg->gr_backup.gahbcfg 0-u32max
HOST_DATA 0 hsotg->gr_backup.gdfifocfg 0-u32max
HOST_DATA 0 hsotg->gr_backup.gi2cctl 0-u32max
HOST_DATA 0 hsotg->gr_backup.gintmsk 0-u32max
HOST_DATA 0 hsotg->gr_backup.gintsts 0-u32max
HOST_DATA 0 hsotg->gr_backup.glpmcfg 0-u32max
HOST_DATA 0 hsotg->gr_backup.gnptxfsiz 0-u32max
HOST_DATA 0 hsotg->gr_backup.gotgctl 0-u32max
HOST_DATA 0 hsotg->gr_backup.grxfsiz 0-u32max
HOST_DATA 0 hsotg->gr_backup.gusbcfg 0-u32max
HOST_DATA 0 hsotg->gr_backup.pcgcctl 0-u32max
HOST_DATA 0 hsotg->gr_backup.pcgcctl1 0-u32max
HOST_DATA 0 hsotg->hr_backup.haintmsk 0-u32max
HOST_DATA 0 hsotg->hr_backup.hcfg 0-u32max
HOST_DATA 0 hsotg->hr_backup.hfir 0-u32max
HOST_DATA 0 hsotg->hr_backup.hflbaddr 0-u32max
HOST_DATA 0 hsotg->hr_backup.hprt0 0-4294967249[c]
HOST_DATA 0 hsotg->hr_backup.hptxfsiz 0-u32max

drivers/usb/dwc2/hcd.c dwc2_conn_id_status_change() -> dwc2_vbus_supply_exit()

Type Parameter Key Value
PARAM_VALUE 0 hsotg 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/usb/dwc2/hcd.c dwc2_hcd_hub_control() -> dwc2_vbus_supply_exit()

Type Parameter Key Value
PARAM_VALUE 0 hsotg 4096-ptr_max
DATA_SOURCE 0 hsotg $0
NOCHECK_CALL