Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/ehci-hcd.c qh_completions() -> ehci_clear_tt_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ehci 4096-ptr_max
PARAM_VALUE 1 qh 4096-ptr_max
PARAM_VALUE 1 qh->dequeue_during_giveback 0
PARAM_VALUE 1 qh->qh_state 5
PARAM_VALUE 1 qh->qtd_list.next 4096-ptr_max
PARAM_VALUE 1 qh->should_be_inactive 1
PARAM_VALUE 3 token 128-u32max
BUF_SIZE 1 qh (-1),1-s32max
BUF_SIZE 1 qh (-1),1-s32max
CAPPED_DATA 1 qh->qtd_list.next 1
CAPPED_DATA 1 &qh->qtd_list 1
DATA_SOURCE 0 ehci $0
DATA_SOURCE 1 qh $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ehci->lock

drivers/usb/host/ehci-hcd.c qh_completions() -> ehci_clear_tt_buffer()

Type Parameter Key Value
PARAM_VALUE 1 qh 4096-ptr_max
PARAM_VALUE 1 qh->dequeue_during_giveback 0
PARAM_VALUE 1 qh->qh_state 5
PARAM_VALUE 2 urb 4096-ptr_max
PARAM_VALUE 2 urb->unlinked 0
BUF_SIZE 1 qh (-1),1-s32max
BUF_SIZE 1 qh (-1),1-s32max
CAPPED_DATA 1 &qh->qtd_list 1
DATA_SOURCE 0 ehci $0
DATA_SOURCE 1 qh $1
BIT_INFO 3 token 0x0,0xffffff7f
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ehci->lock