Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/usb/dwc3/ep0.c dwc3_ep0_complete_data() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status (-104)
DATA_SOURCE 1 req r next_request
PARAM_COMPARE 0 &dep->pending_list != $0->pending_list.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dwc->lock
LOCK2 bh
LOCK2 flags
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct dwc3)->lock

drivers/usb/dwc3/ep0.c dwc3_ep0_complete_data() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status 0
DATA_SOURCE 1 req r next_request
PARAM_COMPARE 0 &dep->pending_list != $0->pending_list.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dwc->lock
LOCK2 bh
LOCK2 flags
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct dwc3)->lock

drivers/usb/dwc3/ep0.c dwc3_ep0_complete_status() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status 0
CAPPED_DATA 0 &dep->pending_list 1
DATA_SOURCE 1 req r next_request
PARAM_COMPARE 0 &dep->pending_list != $0->pending_list.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dwc->lock
LOCK2 bh
LOCK2 flags
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct dwc3)->lock

drivers/usb/dwc3/ep0.c dwc3_ep0_stall_and_restart() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dep->endpoint.desc 4096-ptr_max
PARAM_VALUE 0 dep->flags 1,9-16393
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status (-108)
CAPPED_DATA 0 &dep->pending_list 1
DATA_SOURCE 1 req r next_request
PARAM_COMPARE 0 &dep->pending_list != $0->pending_list.next
BIT_INFO 0 dep->flags 0x1,0x4009
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dwc->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
TYPE_LOCK (struct dwc3)->lock

drivers/usb/dwc3/ep0.c dwc3_ep0_stall_and_restart() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dep->endpoint.desc 4096-ptr_max
PARAM_VALUE 0 dep->flags 1,9-16393
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status (-104)
CAPPED_DATA 0 &dep->pending_list 1
DATA_SOURCE 1 req r next_request
PARAM_COMPARE 0 &dep->pending_list != $0->pending_list.next
BIT_INFO 0 dep->flags 0x1,0x4009
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dwc->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
TYPE_LOCK (struct dwc3)->lock

drivers/usb/dwc3/gadget.c dwc3_gadget_ep_cleanup_cancelled_requests() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->status 2
PARAM_VALUE 2 status (-108)
CAPPED_DATA 0 dep 1
CAPPED_DATA 0 &dep->cancelled_list 1
DATA_SOURCE 0 dep $0
DATA_SOURCE 1 req r next_request
PARAM_COMPARE 0 &dep->cancelled_list != $0->cancelled_list.next
BIT_INFO 0 dep->flags 0x0,0xffffffef
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dwc->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/usb/dwc3/gadget.c dwc3_gadget_ep_cleanup_cancelled_requests() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->status 3
PARAM_VALUE 2 status (-104)
CAPPED_DATA 0 dep 1
CAPPED_DATA 0 &dep->cancelled_list 1
DATA_SOURCE 0 dep $0
DATA_SOURCE 1 req r next_request
PARAM_COMPARE 0 &dep->cancelled_list != $0->cancelled_list.next
BIT_INFO 0 dep->flags 0x0,0xffffffef
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dwc->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/usb/dwc3/gadget.c dwc3_gadget_ep_cleanup_cancelled_requests() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->status 4
PARAM_VALUE 2 status (-32)
CAPPED_DATA 0 dep 1
CAPPED_DATA 0 &dep->cancelled_list 1
DATA_SOURCE 0 dep $0
DATA_SOURCE 1 req r next_request
PARAM_COMPARE 0 &dep->cancelled_list != $0->cancelled_list.next
BIT_INFO 0 dep->flags 0x0,0xffffffef
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dwc->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/usb/dwc3/gadget.c dwc3_gadget_ep_cleanup_cancelled_requests() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->status 0-1,5-u32max
PARAM_VALUE 2 status (-104)
CAPPED_DATA 0 dep 1
CAPPED_DATA 0 &dep->cancelled_list 1
DATA_SOURCE 0 dep $0
DATA_SOURCE 1 req r next_request
PARAM_COMPARE 0 &dep->cancelled_list != $0->cancelled_list.next
BIT_INFO 0 dep->flags 0x0,0xffffffef
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dwc->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/usb/dwc3/gadget.c dwc3_gadget_ep_cleanup_completed_request() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dep->trb_dequeue 0-254
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->num_pending_sgs 0
PARAM_VALUE 1 req->num_trbs 0
PARAM_VALUE 1 req->request.frame_number 0-u16max
PARAM_VALUE 2 status (-104),(-18),0
DATA_SOURCE 0 dep $0
DATA_SOURCE 1 req $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dwc->lock
LOCK2 bh
LOCK2 flags
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct dwc3)->lock

drivers/usb/dwc3/gadget.c dwc3_gadget_ep_dequeue() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->number 2-255
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status (-104)
CAPPED_DATA 0 &dep->cancelled_list 1
CAPPED_DATA 0 &dep->pending_list 1
CAPPED_DATA 1 req 1
FUZZY_MAX 0 dep->number 2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dwc->lock
LOCK2 flags
HALF_LOCKED2 &ctx->ctx_lock
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->dmabufs_mutex
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &ffs->eps_lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct dwc3)->lock

drivers/usb/dwc3/gadget.c dwc3_remove_requests() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status (-108)
CAPPED_DATA 0 &dep->started_list 1
DATA_SOURCE 0 dep $1
DATA_SOURCE 1 req r next_request
DATA_SOURCE 2 status $2
PARAM_COMPARE 0 &dep->started_list != $0->started_list.next
BIT_INFO 0 dep->flags 0x0,0xffffdfff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dwc->lock
HALF_LOCKED2 flags

drivers/usb/dwc3/gadget.c dwc3_remove_requests() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status (-108)
CAPPED_DATA 0 &dep->pending_list 1
CAPPED_DATA 0 &dep->started_list 1
DATA_SOURCE 0 dep $1
DATA_SOURCE 1 req r next_request
DATA_SOURCE 2 status $2
PARAM_COMPARE 0 &dep->pending_list != $0->pending_list.next
BIT_INFO 0 dep->flags 0x0,0xffffdfff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dwc->lock
HALF_LOCKED2 flags

drivers/usb/dwc3/gadget.c dwc3_remove_requests() -> dwc3_gadget_giveback()

Type Parameter Key Value
PARAM_VALUE 0 dep 4096-ptr_max
PARAM_VALUE 0 dep->dwc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status (-108)
CAPPED_DATA 0 &dep->cancelled_list 1
CAPPED_DATA 0 &dep->pending_list 1
CAPPED_DATA 0 &dep->started_list 1
DATA_SOURCE 0 dep $1
DATA_SOURCE 1 req r next_request
DATA_SOURCE 2 status $2
PARAM_COMPARE 0 &dep->cancelled_list != $0->cancelled_list.next
BIT_INFO 0 dep->flags 0x0,0xffffdfff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dwc->lock
HALF_LOCKED2 flags