Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vkms/vkms_composer.c blend_line() -> (struct vkms_plane_state)->pixel_read_line()

Type Parameter Key Value
PARAM_VALUE 0 plane 4096-ptr_max
PARAM_VALUE 0 plane->frame_info 4096-ptr_max
PARAM_VALUE 0 plane->frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 plane->frame_info->dst.y2 1-s32max
PARAM_VALUE 0 plane->frame_info->fb 4096-ptr_max
PARAM_VALUE 3 direction 0-3
PARAM_VALUE 4 count 1-s32max
CAPPED_DATA 0 plane->frame_info->dst.y1 1
DATA_SOURCE 0 plane $0
DATA_SOURCE 3 direction r direction_for_rotation
FUZZY_MAX 4 count 1
CONTAINER 0 -344+0 $(-1)
PARAM_COMPARE 0 plane->frame_info->dst.y1 < $0->frame_info->dst.y2
NOCHECK_CALL
HALF_LOCKED2 &pool->lock