Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/drm_plane.c drm_mode_page_flip_ioctl() -> (struct drm_crtc_funcs)->page_flip_target()

Type Parameter Key Value
PARAM_VALUE 0 crtc 4096-ptr_max
PARAM_VALUE 0 crtc->dev 4096-ptr_max
PARAM_VALUE 0 crtc->dev->num_crtcs 1-u32max
PARAM_VALUE 0 crtc->dev->vbl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 crtc->funcs 4096-ptr_max
PARAM_VALUE 0 crtc->funcs->page_flip 1-u64max
PARAM_VALUE 0 crtc->funcs->page_flip_target 1-u64max
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.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 page_flip_flags 0-14
PARAM_VALUE 5 ctx 2691722438205468672
PARAM_VALUE 5 ctx->contended 0
PARAM_VALUE 5 ctx->locked.prev 4096-ptr_max
PARAM_VALUE 5 ctx->stack_depot 0
PARAM_VALUE 5 ctx->trylock_only 0
BUF_SIZE 2 event 0,120
BUF_SIZE 2 event 0,120
CAPPED_DATA 0 crtc->dev->num_crtcs 1
CAPPED_DATA 1 fb->format->format 1
DATA_SOURCE 0 crtc r drm_crtc_find
DATA_SOURCE 1 fb r drm_framebuffer_lookup
CONTAINER 0 -64-536+0 $(-1)
MEM_ZERO 5 ctx
USER_DATA 2 event->event.vbl.user_data 0-u64max[u]
USER_DATA 3 page_flip_flags 0-14[u]
USER_DATA 4 target 0-u32max[u]
LOCK2 &plane->mutex
LOCK2 0 &crtc->mutex
TYPE_LOCK (struct drm_crtc)->mutex
TYPE_LOCK (struct drm_plane)->mutex