Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/usb/dvb-usb-v2/usb_urb.c usb_urb_complete() -> (struct usb_data_stream)->complete()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 len 1-u32max
BUF_SIZE 0 stream s32min-(-1),1-s32max
BUF_SIZE 0 stream s32min-(-1),1-s32max
CONTAINER 0 -32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/usb/dvb-usb-v2/usb_urb.c usb_urb_complete() -> (struct usb_data_stream)->complete()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 2 len 1-u32max
BUF_SIZE 0 stream s32min-(-1),1-s32max
BUF_SIZE 0 stream s32min-(-1),1-s32max
BUF_SIZE 1 buf s32min-(-2),1-s32max
BUF_SIZE 1 buf s32min-(-2),1-s32max
FUZZY_MAX 2 len 1
CONTAINER 0 -32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 len 1-u32max[c][u]
NO_OVERFLOW_SIMPLE 2 len
HALF_LOCKED2 &pool->lock

drivers/media/usb/dvb-usb/usb-urb.c usb_urb_complete() -> (struct usb_data_stream)->complete()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 len 1-u32max
BUF_SIZE 0 stream s32min-(-1),1-s32max
BUF_SIZE 0 stream s32min-(-1),1-s32max
CONTAINER 0 -40+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/usb/dvb-usb/usb-urb.c usb_urb_complete() -> (struct usb_data_stream)->complete()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 2 len 1-u32max
BUF_SIZE 0 stream s32min-(-1),1-s32max
BUF_SIZE 0 stream s32min-(-1),1-s32max
BUF_SIZE 1 buf s32min-(-2),1-s32max
BUF_SIZE 1 buf s32min-(-2),1-s32max
FUZZY_MAX 2 len 1
CONTAINER 0 -40+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 len 1-u32max[c][u]
NO_OVERFLOW_SIMPLE 2 len
HALF_LOCKED2 &pool->lock