Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/host/ehci-hcd.c itd_link_urb() -> itd_link()

Type Parameter Key Value
PARAM_VALUE 0 fotg210 4096-ptr_max
PARAM_VALUE 1 frame 0-536870911
PARAM_VALUE 2 itd 4096-ptr_max
BUF_SIZE 2 itd->stream (-1),40,48,56,80,104,128,384
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 fotg210 $0
PREEMPT_ADD
NOCHECK_CALL
HOST_DATA 0 fotg210->last_iso_frame 0-536870911
HOST_DATA 2 itd->urb->start_frame 0-s32max[c]
NO_OVERFLOW_SIMPLE 2 itd->urb->num_mapped_sgs
LOCK2 flags
LOCK2 0 &fotg210->lock
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/fotg210/fotg210-hcd.c itd_link_urb() -> itd_link()

Type Parameter Key Value
PARAM_VALUE 0 fotg210 4096-ptr_max
PARAM_VALUE 1 frame 0-536870911
PARAM_VALUE 2 itd 4096-ptr_max
BUF_SIZE 2 itd->stream (-1),40,48,56,80,104,128,384
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 fotg210 $0
PREEMPT_ADD
NOCHECK_CALL
HOST_DATA 0 fotg210->next_frame 0-536870911[c]
NO_OVERFLOW_SIMPLE 2 itd->urb->num_mapped_sgs
LOCK2 flags
LOCK2 0 &fotg210->lock
TYPE_LOCK (struct fotg210_hcd)->lock