Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/chipidea/otg_fsm.c ci_otg_hrtimer_func() -> otg_timer_handlers[]()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ci->hr_timeouts 4096-ptr_max
PARAM_VALUE 0 ci->next_otg_timer 12
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &ci->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct ci_hdrc)->lock