Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/fotg210/fotg210-hcd.c scan_isoc() -> scan_frame_queue()

Type Parameter Key Value
PARAM_VALUE 0 fotg210 4096-ptr_max
PARAM_VALUE 0 fotg210->need_rescan 0
PARAM_VALUE 0 fotg210->scanning 1
CAPPED_DATA 0 fotg210->now_frame 1
CAPPED_DATA 2 now_frame 1
DATA_SOURCE 0 fotg210 $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 fotg210->hrtimer.base->cpu_base->softirq_next_timer->_softexpires 1-72057589734572032[c]
HOST_DATA 0 fotg210->hrtimer.base->cpu_base->softirq_next_timer->is_rel 0-1
HOST_DATA 0 fotg210->now_frame 0-536870911[c]
HOST_DATA 2 now_frame 0-536870911[c]
LOCK2 0 &fotg210->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct fotg210_hcd)->lock