Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/s2255/s2255drv.c save_frame() -> s2255_got_frame()

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 0 vc->buffer.frame 4096-ptr_max
PARAM_VALUE 0 vc->buffer.num_frames 0-4
PARAM_VALUE 0 vc->cur_frame s32min-3,5-s32max
PARAM_VALUE 0 vc->vb_vidq.streaming 1
CAPPED_DATA 0 vc->cur_frame 1
CAPPED_DATA 0 vc->req_image_size 1
FUZZY_MAX 0 vc->cur_frame 0
PARAM_COMPARE 0 vc->buffer.num_frames >= $0->cur_frame
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock