Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/f_midi2.c f_midi2_ep_out_complete() -> queue_request_ep_raw()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->context 4096-ptr_max
PARAM_VALUE 0 req->status 0
BUF_SIZE 0 req s32min,(-1)-s32max
BUF_SIZE 0 req s32min,(-1)-s32max
BUF_SIZE 0 req->buf (-1)-1000000000,2147479552
BUF_SIZE 0 req->context (-1),96
DATA_SOURCE 0 req $1
NOSPEC 0 req->actual
NOSPEC 0 req->length
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->actual 0-u32max[c]
HOST_DATA 0 req->frame_number 0-16383[c]
HOST_DATA 0 req->length 0-64[c]
HOST_DATA 0 req->zero 0-1
USER_DATA 0 req->actual 0-64
USER_DATA 0 req->length 0-u32max
USER_DATA 0 req->zero 0-1[c]
USER_DATA 0 *req->buf s64min-s64max
NO_OVERFLOW_SIMPLE 0 req->dma
NO_OVERFLOW_SIMPLE 0 req->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 req->status
USER_PTR 0 req->buf
HALF_LOCKED2 &cdev->lock
HALF_LOCKED2 &pdev->lock
HALF_LOCKED2 &priv_dev->lock
HALF_LOCKED2 &udc->lock
HALF_LOCKED2 cdev_flags
HALF_LOCKED2 flags

drivers/usb/gadget/function/f_midi2.c f_midi2_midi1_ep_out_complete() -> queue_request_ep_raw()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->context 4096-ptr_max
PARAM_VALUE 0 req->status 0
BUF_SIZE 0 req s32min,(-1)-s32max
BUF_SIZE 0 req s32min,(-1)-s32max
BUF_SIZE 0 req->buf (-1)-1000000000,2147479552
BUF_SIZE 0 req->context (-1),96
DATA_SOURCE 0 req $1
NOSPEC 0 req->actual
NOSPEC 0 req->length
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->actual 0-u32max[c]
HOST_DATA 0 req->frame_number 0-16383[c]
HOST_DATA 0 req->length 0-64[c]
HOST_DATA 0 req->zero 0-1
USER_DATA 0 req->actual 0-64
USER_DATA 0 req->length 0-u32max
USER_DATA 0 req->zero 0-1[c]
USER_DATA 0 *req->buf s64min-s64max
NO_OVERFLOW_SIMPLE 0 req->dma
NO_OVERFLOW_SIMPLE 0 req->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 req->status
USER_PTR 0 req->buf
HALF_LOCKED2 &cdev->lock
HALF_LOCKED2 &pdev->lock
HALF_LOCKED2 &priv_dev->lock
HALF_LOCKED2 &udc->lock
HALF_LOCKED2 cdev_flags
HALF_LOCKED2 flags

drivers/usb/gadget/function/f_midi2.c process_midi1_byte() -> queue_request_ep_raw()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/function/f_midi2.c process_midi1_transmit() -> queue_request_ep_raw()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->length s64min-(-1),1-s64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/function/f_midi2.c queue_request_ep_in() -> queue_request_ep_raw()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->length 1-u32max
CAPPED_DATA 0 req->length 1
DATA_SOURCE 0 req $0
RX_PATH
TASK_NOT_RUNNING