Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/mon/mon_text.c mon_text_event() -> mon_text_get_data()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->epnum 0-15
PARAM_VALUE 0 ep->id 4096-18446744073709547520
PARAM_VALUE 0 ep->is_in 0-1
PARAM_VALUE 0 ep->setup_flag 0,45,90
PARAM_VALUE 0 ep->tstamp 0-4095999999
PARAM_VALUE 0 ep->type 67,83
PARAM_VALUE 0 ep->xfertype 0-3
PARAM_VALUE 1 urb 4096-ptr_max
PARAM_VALUE 1 urb->dev 4096-ptr_max
PARAM_VALUE 1 urb->dev->bus 4096-ptr_max
PARAM_VALUE 1 urb->ep 4096-ptr_max
PARAM_VALUE 1 urb->hcpriv 0
PARAM_VALUE 1 urb->iso_frame_desc->actual_length 0-4294967295
PARAM_VALUE 3 ev_type 67,83
BUF_SIZE 1 urb->context s32min-(-1),1-s32max
DATA_SOURCE 0 ep r kmem_cache_alloc_noprof
DATA_SOURCE 1 urb $1
DATA_SOURCE 3 ev_type $2
FUZZY_MAX 0 ep->xfertype 3
BIT_INFO 3 ev_type 0x43,0x7f
NOSPEC 0 ep->length
NOSPEC 1 urb->transfer_buffer_length
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ep->start_frame 0-s32max
HOST_DATA 1 urb->start_frame 0-s32max
USER_DATA 0 ep->length 0-s32max
USER_DATA 1 urb->actual_length 0-u32max[c][u]
USER_DATA 1 urb->transfer_buffer_length 1-s32max
USER_DATA 2 len 0-s32max
NO_OVERFLOW_SIMPLE 1 urb->actual_length
NO_OVERFLOW_SIMPLE 1 urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 1 urb->setup_dma
NO_OVERFLOW_SIMPLE 1 urb->sg->length
NO_OVERFLOW_SIMPLE 1 urb->transfer_dma
UNITS 2 len unit_byte
UNITS 4 mbus unit_array_size
LOCK2 &mbus->lock
LOCK2 flags
TYPE_LOCK (struct mon_bus)->lock