Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/bdc/bdc_ep.c setup_bd_list_xfr() -> setup_first_bd_ep0()

Type Parameter Key Value
PARAM_VALUE 0 bdc 4096-ptr_max
PARAM_VALUE 0 *bdc->ep0_response_buff 0-u16max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->bd_xfr.req 4096-ptr_max
PARAM_VALUE 1 req->bd_xfr.req->bd_xfr.req 4096-ptr_max
PARAM_VALUE 1 req->bd_xfr.req->ep 4096-ptr_max
PARAM_VALUE 1 req->ep 4096-ptr_max
PARAM_VALUE 1 req->ep->bd_list.bd_table_array 4096-ptr_max
PARAM_VALUE 1 req->ep->desc 4096-ptr_max
PARAM_VALUE 2 dword3 2908004146518106112
BUF_SIZE 1 req (-1),160
BUF_SIZE 1 req (-1),160
BUF_SIZE 1 req->usb_req.buf (-1),6
DATA_SOURCE 0 bdc $0
DATA_SOURCE 1 req $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bdc->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &bdc->lock
TYPE_LOCK (struct bdc)->lock