Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vc4/vc4_crtc.c vc4_page_flip() -> vc4_async_page_flip()

Type Parameter Key Value
PARAM_VALUE 0 crtc 4096-ptr_max
PARAM_VALUE 0 crtc->funcs 4096-ptr_max
PARAM_VALUE 0 crtc->funcs->page_flip 1171917912845488128,2633949216313888768,3106804777208913920,3783433811540639744,7960314227904716800
PARAM_VALUE 0 crtc->funcs->page_flip_target 0
PARAM_VALUE 0 crtc->primary 4096-ptr_max
PARAM_VALUE 0 crtc->primary->state 0,4096-ptr_max
PARAM_VALUE 1 fb 4096-ptr_max
PARAM_VALUE 1 fb->format 4096-ptr_max
PARAM_VALUE 2 event 0,4096-ptr_max
PARAM_VALUE 2 event->base.event->length 32
PARAM_VALUE 2 event->base.event->type 2
PARAM_VALUE 2 event->base.fence->node.node.next 0
PARAM_VALUE 2 event->base.fence->node.node.prev 0
PARAM_VALUE 2 event->base.fence->rcu.flags 0-4294967295
PARAM_VALUE 2 event->base.fence->rcu.is_hard 0-1
PARAM_VALUE 2 event->base.fence->rcu.is_lazy 0-1
PARAM_VALUE 2 event->base.fence->rcu.is_queued 0-1
PARAM_VALUE 2 event->base.fence->rcu.is_soft 0-1
PARAM_VALUE 2 event->base.fence->rcu.node.node.next 0
PARAM_VALUE 2 event->base.fence->rcu.node.node.prev 0
PARAM_VALUE 2 event->base.file_priv->event_space 1-2147483639
PARAM_VALUE 2 event->base.file_priv->minor 4096-ptr_max
PARAM_VALUE 2 event->base.file_priv->pending_event_list.next 4096-ptr_max
PARAM_VALUE 2 event->event.base.length 32
PARAM_VALUE 2 event->event.base.type 2
PARAM_VALUE 3 flags 2-14
BUF_SIZE 2 event 0,120
BUF_SIZE 2 event 0,120
CAPPED_DATA 0 crtc 1
CAPPED_DATA 1 fb->format->format 1
DATA_SOURCE 0 crtc $0
DATA_SOURCE 1 fb $1
DATA_SOURCE 2 event $2
DATA_SOURCE 3 flags $3
BIT_INFO 3 flags 0x2,0xf
USER_DATA 2 event->event.vbl.user_data 0-u64max[u]
USER_DATA 3 flags 2-14[u]
LOCK2 &plane->mutex
LOCK2 0 &crtc->mutex
TYPE_LOCK (struct drm_crtc)->mutex
TYPE_LOCK (struct drm_plane)->mutex