Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/test-drivers/vivid/vivid-kthread-cap.c vivid_fillbuff() -> vivid_copy_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cap_seq_resync 0
PARAM_VALUE 0 dev->dv_timings_signal_mode 4096-ptr_max
PARAM_VALUE 0 dev->field_cap 0-4,7-u32max
PARAM_VALUE 0 dev->loop_fb_copy.height 0-s32max
PARAM_VALUE 0 dev->loop_fb_copy.width 0-s32max
PARAM_VALUE 0 dev->loop_vid_cap.left s32min-0,2-s32max
PARAM_VALUE 0 dev->loop_vid_cap.width 0,2-u32max
PARAM_VALUE 0 dev->loop_vid_copy.height 0-s32max
PARAM_VALUE 0 dev->loop_vid_copy.width 0-s32max
PARAM_VALUE 0 dev->loop_vid_out.width 0,2-u32max
PARAM_VALUE 0 dev->loop_vid_overlay.height 0-s32max
PARAM_VALUE 0 dev->loop_vid_overlay.width 0-s32max
PARAM_VALUE 0 dev->loop_vid_overlay_cap.left s32min-0,2-s32max
PARAM_VALUE 0 dev->loop_vid_overlay_cap.width 0,2-u32max
PARAM_VALUE 0 dev->meta_cap_active.next 4096-ptr_max
PARAM_VALUE 0 dev->must_blank 4096-ptr_max
PARAM_VALUE 0 dev->ro_int32 4096-ptr_max
PARAM_VALUE 0 dev->ro_int32->handler 4096-ptr_max
PARAM_VALUE 0 dev->ro_int32->handler->lock 4096-ptr_max
PARAM_VALUE 0 dev->ro_int32->handler->lock->dep_map->name 0-255
PARAM_VALUE 0 dev->ro_int32->handler->lock->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->ro_int32->handler->lock->first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->ro_int32->handler->lock->first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->ro_int32->handler->lock->first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->ro_int32->handler->lock->first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->ro_int32->handler->lock->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->ro_int32->is_new 1
PARAM_VALUE 0 dev->ro_int32->val 0-255
PARAM_VALUE 0 dev->slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->std_cap 4096-ptr_max
PARAM_VALUE 0 dev->std_signal_mode 4096-ptr_max
PARAM_VALUE 0 dev->timeperframe_vid_cap.denominator 1-u32max
PARAM_VALUE 0 dev->tpg.recalc_colors 0
PARAM_VALUE 0 dev->tpg.recalc_lines 0
PARAM_VALUE 0 dev->tpg.recalc_square_border 0
PARAM_VALUE 0 dev->vbi_cap_active.next 4096-ptr_max
PARAM_VALUE 0 dev->vbi_gen.data->field 0-4294967295
PARAM_VALUE 0 dev->vbi_gen.data->id 0-4294967295
PARAM_VALUE 0 dev->vbi_gen.data->line 0-4294967295
PARAM_VALUE 0 dev->vbi_gen.data->reserved 0-4294967295
PARAM_VALUE 0 dev->vid_cap_active.next 4096-ptr_max
PARAM_VALUE 0 *dev->must_blank 0-1
PARAM_VALUE 1 out_dev 4096-ptr_max
PARAM_VALUE 1 out_dev->compose_out.height 0-s32max
PARAM_VALUE 1 out_dev->compose_out.width 0-s32max
PARAM_VALUE 1 out_dev->overlay_out_left 0-s32max
PARAM_VALUE 1 out_dev->overlay_out_top 0-s32max
PARAM_VALUE 4 vid_cap_buf 4096-ptr_max
PARAM_VALUE 4 vid_cap_buf->vb.vb2_buf.req_obj.req 0,4096-ptr_max
BUF_SIZE 0 dev 128
BUF_SIZE 0 dev 128
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->field_cap 1
CAPPED_DATA 0 dev->fmt_cap->fourcc 1
CAPPED_DATA 0 dev->ro_int32 1
CAPPED_DATA 0 dev->ro_int32->handler->lock 1
CAPPED_DATA 0 dev->src_rect.height 1
CAPPED_DATA 0 dev->src_rect.width 1
CAPPED_DATA 1 out_dev 1
CAPPED_DATA 1 out_dev->output 1
CAPPED_DATA 1 &out_dev->mutex 1
CAPPED_DATA 2 p 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 out_dev r vivid_input_is_connected_to
DATA_SOURCE 4 vid_cap_buf $1
FUZZY_MAX 0 dev->field_cap 7
LOCK2 0 &dev->mutex
HALF_LOCKED2 1 &out_dev->mutex
TYPE_LOCK (struct vivid_dev)->mutex