Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/dwc2/core.c dwc2_fs_phy_init() -> dwc2_set_clock_switch_timer()

Type Parameter Key Value
PARAM_VALUE 0 hsotg 4096-ptr_max
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->params.phy_type 0
PARAM_VALUE 0 hsotg->params.speed 1-2
PARAM_VALUE 0 hsotg->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *hsotg->params.g_tx_fifo_size 0-4294967295
BUF_SIZE 0 hsotg s32min-(-1),1-s32max
BUF_SIZE 0 hsotg s32min-(-1),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->usb33d s32min,(-1)-s32max
BUF_SIZE 0 hsotg->vbus_supply s32min,(-1)-s32max
DATA_SOURCE 0 hsotg $0
FUZZY_MAX 0 hsotg->params.speed 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hsotg->fifo_mem 0-u16max
HOST_DATA 0 hsotg->frame_number 0-u16max[c]
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-1
HOST_DATA 0 hsotg->params.g_dma_desc 0-1
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-1
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
UNITS 0 hsotg unit_byte
HALF_LOCKED2 0 &hsotg->lock