Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/fotg210/fotg210-hcd.c fill_registers_buffer() -> fotg210_read_frame_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 0 | fotg210->regs | 4096-ptr_max |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &buf->mutex | ||
| LOCK2 | flags | ||
| LOCK2 | 0 | &fotg210->lock | |
| TYPE_LOCK | (struct debug_buffer)->mutex | ||
| TYPE_LOCK | (struct fotg210_hcd)->lock |
drivers/usb/fotg210/fotg210-hcd.c fotg210_get_frame() -> fotg210_read_frame_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &subs->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/usb/fotg210/fotg210-hcd.c iso_stream_schedule() -> fotg210_read_frame_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 0 | fotg210->regs | 4096-ptr_max |
| DATA_SOURCE | 0 | fotg210 | $0 |
| PREEMPT_ADD | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &fotg210->lock | |
| TYPE_LOCK | (struct fotg210_hcd)->lock |
drivers/usb/fotg210/fotg210-hcd.c scan_isoc() -> fotg210_read_frame_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| DATA_SOURCE | 0 | fotg210 | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &fotg210->lock | |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct fotg210_hcd)->lock |