Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-event.c v4l2_event_subscribe() -> (struct v4l2_subscribed_event_ops)->add()

Type Parameter Key Value
PARAM_VALUE 0 sev 4096-ptr_max
PARAM_VALUE 0 sev->elems 1
PARAM_VALUE 0 sev->events 4096-ptr_max
PARAM_VALUE 0 sev->fh 4096-ptr_max
PARAM_VALUE 0 sev->fh->vdev 4096-ptr_max
PARAM_VALUE 0 sev->list.next 4096-ptr_max
PARAM_VALUE 0 sev->list.prev 4096-ptr_max
PARAM_VALUE 0 sev->ops 4848318852355395584,6470279510079856640,7912509062492418048
PARAM_VALUE 0 sev->ops->add 725863352737230848,3922149234839969792
PARAM_VALUE 0 sev->type 3,5
PARAM_VALUE 1 elems 1
BUF_SIZE 0 sev 248-416,752,1424,1760,2768,5120
BUF_SIZE 0 sev 248-416,752,1424,1760,2768,5120
BUF_SIZE 0 sev->fh s32min-(-1),1-s32max
CAPPED_DATA 0 sev->type 1
DATA_SOURCE 0 sev r __kvmalloc_node_noprof
CONTAINER 0 -0-56+0 $(-1)
NOSPEC 0 sev->type
HARD_MAX 0 sev->type 5
USER_DATA 0 sev->flags 0-u32max[u]
USER_DATA 0 sev->id 0-u32max[u]
USER_DATA 0 sev->type 3,5[c][u]
LOCK2 &fh->subscribe_lock
HALF_LOCKED2 lock
TYPE_LOCK (struct v4l2_fh)->subscribe_lock