Defined in 2 files as a function:
- drivers/usb/fotg210/fotg210-hcd.c, line 3283 (as a function)
- drivers/usb/host/ehci-sched.c, line 49 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/usb/host/ehci-hcd.c itd_link() -> shadow_next_periodic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 1 | periodic | 3859577987399802880 |
| PARAM_VALUE | 2 | tag | 0-1,3-u32max |
| CAPPED_DATA | 2 | tag | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| PREEMPT_ADD | |||
| HOST_DATA | 0 | fotg210->last_iso_frame | 0-536870911 |
| LOCK2 | flags | ||
| LOCK2 | 0 | &fotg210->lock | |
| TYPE_LOCK | (struct ehci_hcd)->lock |
drivers/usb/host/ehci-hcd.c periodic_unlink() -> shadow_next_periodic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 1 | periodic | 4745723513338089472 |
| CAPPED_DATA | 2 | tag | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &fotg210->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct ehci_hcd)->lock |
drivers/usb/host/ehci-hcd.c periodic_unlink() -> shadow_next_periodic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 1 | periodic | 4745723513338089472 |
| PARAM_VALUE | 2 | tag | 0,2-6 |
| CAPPED_DATA | 2 | tag | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| BIT_INFO | 2 | tag | 0x0,0x6 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &fotg210->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct ehci_hcd)->lock |
drivers/usb/host/ehci-hcd.c periodic_unlink() -> shadow_next_periodic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 1 | periodic | 4745723513338089472 |
| PARAM_VALUE | 2 | tag | 0,2-6 |
| CAPPED_DATA | 2 | tag | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| BIT_INFO | 2 | tag | 0x0,0x6 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &fotg210->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct ehci_hcd)->lock |
drivers/usb/host/ehci-hcd.c qh_link_periodic() -> shadow_next_periodic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 1 | periodic | 6549602078558388224 |
| PARAM_VALUE | 2 | tag | 0-1,3-u32max |
| CAPPED_DATA | 2 | tag | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &fotg210->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct ehci_hcd)->lock |
drivers/usb/fotg210/fotg210-hcd.c itd_link() -> shadow_next_periodic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 1 | periodic | 6940051543523250176 |
| PARAM_VALUE | 2 | tag | 0-1,3-u32max |
| CAPPED_DATA | 2 | tag | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| PREEMPT_ADD | |||
| HOST_DATA | 0 | fotg210->next_frame | 0-536870911[c] |
| LOCK2 | flags | ||
| LOCK2 | 0 | &fotg210->lock | |
| TYPE_LOCK | (struct fotg210_hcd)->lock |
drivers/usb/fotg210/fotg210-hcd.c periodic_unlink() -> shadow_next_periodic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 1 | periodic | 79279734910926848 |
| CAPPED_DATA | 2 | tag | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &fotg210->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct fotg210_hcd)->lock |
drivers/usb/fotg210/fotg210-hcd.c periodic_unlink() -> shadow_next_periodic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 1 | periodic | 79279734910926848 |
| PARAM_VALUE | 2 | tag | 0,2-6 |
| CAPPED_DATA | 2 | tag | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| BIT_INFO | 2 | tag | 0x0,0x6 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &fotg210->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct fotg210_hcd)->lock |
drivers/usb/fotg210/fotg210-hcd.c qh_link_periodic() -> shadow_next_periodic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 1 | periodic | 6997883566975889408 |
| PARAM_VALUE | 2 | tag | 0-1,3-u32max |
| BUF_SIZE | 0 | fotg210->intr_unlink_last | (-1),1-s32max |
| CAPPED_DATA | 0 | fotg210->periodic_size | 1 |
| CAPPED_DATA | 2 | tag | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &fotg210->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct fotg210_hcd)->lock |