Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
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_disconnect() -> dwc2_disable_host_interrupts()

Type Parameter Key Value
PARAM_VALUE 0 hsotg 4096-ptr_max
PARAM_VALUE 0 hsotg->flags.b.port_connect_status 0
PARAM_VALUE 0 hsotg->flags.b.port_connect_status_change 1
DATA_SOURCE 0 hsotg $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hsotg->frame_number 0-u16max[c]
HALF_LOCKED2 flags
HALF_LOCKED2 0 &hsotg->lock

drivers/usb/dwc2/hcd.c dwc2_hcd_release() -> dwc2_disable_host_interrupts()

Type Parameter Key Value
PARAM_VALUE 0 hsotg 4096-ptr_max
PARAM_VALUE 0 hsotg->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 hsotg->gadget.dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hsotg->gadget.dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hsotg->gadget.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hsotg->gadget.ops->check_config 0,9012681856618590208,9040537406478098432
PARAM_VALUE 0 hsotg->gadget.ops->func_wakeup 0,1816331159711162368
PARAM_VALUE 0 hsotg->gadget.ops->get_config_params 0,1316903506149052416
PARAM_VALUE 0 hsotg->gadget.ops->get_frame 0,4096-ptr_max
PARAM_VALUE 0 hsotg->gadget.ops->ioctl 0
PARAM_VALUE 0 hsotg->gadget.ops->match_ep 0,1081493593393348608,3086703389125824512,3820108288210141184,4328644506140205056,4828312465346342912,6578524699529871360
PARAM_VALUE 0 hsotg->gadget.ops->pullup 0,4096-ptr_max
PARAM_VALUE 0 hsotg->gadget.ops->set_remote_wakeup 0,2647822114700050432
PARAM_VALUE 0 hsotg->gadget.ops->set_selfpowered 0,4096-ptr_max
PARAM_VALUE 0 hsotg->gadget.ops->udc_async_callbacks 0,1448049023484911616,2015549697443422208,2146793626917576704,4524500951199457280
PARAM_VALUE 0 hsotg->gadget.ops->udc_set_speed 0,1542734469127135232,2790071794484871168,5559015547957567488,9144756937450549248
PARAM_VALUE 0 hsotg->gadget.ops->udc_set_ssp_rate 0,1769069889350402048
PARAM_VALUE 0 hsotg->gadget.ops->udc_start 0,4096-ptr_max
PARAM_VALUE 0 hsotg->gadget.ops->udc_stop 0,4096-ptr_max
PARAM_VALUE 0 hsotg->gadget.ops->vbus_draw 0,4096-ptr_max
PARAM_VALUE 0 hsotg->gadget.ops->vbus_session 0,4096-ptr_max
PARAM_VALUE 0 hsotg->gadget.ops->wakeup 0,4096-ptr_max
PARAM_VALUE 0 hsotg->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hsotg->priv 0,4096-ptr_max
PARAM_VALUE 0 hsotg->uphy 0,4096-u64max
PARAM_VALUE 0 hsotg->uphy->otg->usb_phy->io_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *hsotg->params.g_tx_fifo_size 0-4294967295
BUF_SIZE 0 hsotg s32min-(-2),1-s32max
BUF_SIZE 0 hsotg s32min-(-2),1-s32max
BUF_SIZE 0 hsotg->dev (-1),1616
BUF_SIZE 0 hsotg->frame_num_array (-1),2
BUF_SIZE 0 hsotg->irq s32min-(-1),1-s32max
BUF_SIZE 0 hsotg->last_frame_num_array (-1),2
BUF_SIZE 0 hsotg->status_buf (-1),64
BUF_SIZE 0 hsotg->usb33d s32min,(-1)-s32max
BUF_SIZE 0 hsotg->vbus_supply s32min,(-1)-s32max
BUF_SIZE 0 hsotg->wq_otg (-1),512,528-8720
DATA_SOURCE 0 hsotg $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hsotg->fifo_mem 0-u16max
HOST_DATA 0 hsotg->hw_params.acg_enable 0-1
HOST_DATA 0 hsotg->hw_params.arch 0-3[c]
HOST_DATA 0 hsotg->hw_params.dev_ep_dirs 0-u32max
HOST_DATA 0 hsotg->hw_params.dev_nperio_tx_fifo_size 0-u16max
HOST_DATA 0 hsotg->hw_params.dev_token_q_depth 0-31[c]
HOST_DATA 0 hsotg->hw_params.dma_desc_enable 0-1
HOST_DATA 0 hsotg->hw_params.en_multiple_tx_fifo 0-1
HOST_DATA 0 hsotg->hw_params.enable_dynamic_fifo 0-1
HOST_DATA 0 hsotg->hw_params.fs_phy_type 0-3[c]
HOST_DATA 0 hsotg->hw_params.hibernation 0-1
HOST_DATA 0 hsotg->hw_params.host_channels 1-16[c]
HOST_DATA 0 hsotg->hw_params.host_nperio_tx_fifo_size 0-u16max
HOST_DATA 0 hsotg->hw_params.host_perio_tx_fifo_size 0-u16max
HOST_DATA 0 hsotg->hw_params.host_perio_tx_q_depth 0,2-6[c]
HOST_DATA 0 hsotg->hw_params.hs_phy_type 0-3[c]
HOST_DATA 0 hsotg->hw_params.i2c_enable 0-1
HOST_DATA 0 hsotg->hw_params.ipg_isoc_en 0-1
HOST_DATA 0 hsotg->hw_params.lpm_mode 0-1
HOST_DATA 0 hsotg->hw_params.nperio_tx_q_depth 0,2-6[c]
HOST_DATA 0 hsotg->hw_params.num_dev_ep 0-15[c]
HOST_DATA 0 hsotg->hw_params.num_dev_in_eps 0-15[c]
HOST_DATA 0 hsotg->hw_params.num_dev_perio_in_ep 0-15[c]
HOST_DATA 0 hsotg->hw_params.op_mode 0-7[c]
HOST_DATA 0 hsotg->hw_params.power_optimized 0-1
HOST_DATA 0 hsotg->hw_params.rx_fifo_size 0-u16max[c]
HOST_DATA 0 hsotg->hw_params.service_interval_mode 0-1
HOST_DATA 0 hsotg->hw_params.snpsid 0-u32max
HOST_DATA 0 hsotg->hw_params.total_fifo_size 0-u16max
HOST_DATA 0 hsotg->hw_params.utmi_phy_data_width 0-1,3[c]
HOST_DATA 0 hsotg->params.g_dma 0
HOST_DATA 0 hsotg->params.g_dma_desc 0
HOST_DATA 0 hsotg->params.g_rx_fifo_size 0-u16max[c]
HOST_DATA 0 hsotg->params.host_channels 1-16[c]
HOST_DATA 0 hsotg->params.host_dma 0
HOST_DATA 0 hsotg->params.host_nperio_tx_fifo_size 0-u16max
HOST_DATA 0 hsotg->params.host_perio_tx_fifo_size 0-u16max
HOST_DATA 0 hsotg->params.host_rx_fifo_size 0-u16max[c]
HOST_DATA 0 hsotg->params.reload_ctl 0
NO_OVERFLOW_SIMPLE 0 hsotg->clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 hsotg->utmi_clk->core->parent->req_rate
UNITS 0 hsotg unit_byte

drivers/usb/dwc2/hcd.c dwc2_hcd_stop() -> dwc2_disable_host_interrupts()

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->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 $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &hsotg->lock
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex
TYPE_LOCK (struct dwc2_hsotg)->lock