Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vkms/vkms_formats.c ABGR16161616_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 5089372933564469248
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c ABGR8888_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 8219349171567067136
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c ARGB16161616_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 3838347609499037696
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c ARGB8888_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 8746646514376380416
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c BGR565_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 8573916495857225728
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c BGR888_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 559187628792479744
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c BGRA8888_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 7399412471829237760
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c R8_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 4718557127977623552
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c RGB565_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 2530099553131401216
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c RGB888_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 5234387526893285376
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c RGBA8888_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 7867116098362245120
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c XBGR16161616_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 1824460554956759040
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c XBGR8888_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 6041211122093453312
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c XRGB16161616_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 6557844736778387456
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c XRGB8888_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 2603370049249550336
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c YUV161616_semiplanar_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 3329768011433127936
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c YUV161616_semiplanar_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 0 frame_info->fb->format 4096-ptr_max
PARAM_VALUE 3 plane_index 1
PARAM_VALUE 4 addr 678072410172375040
CAPPED_DATA 0 frame_info->dst.y1 1
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c YUV888_semiplanar_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 2407423921454886912
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c YUV888_semiplanar_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 0 frame_info->fb->format 4096-ptr_max
PARAM_VALUE 3 plane_index 1
PARAM_VALUE 4 addr 6598165750934405120
CAPPED_DATA 0 frame_info->dst.y1 1
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c planar_yuv_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 8004368609512185856
CAPPED_DATA 0 frame_info->dst.y1 1
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c planar_yuv_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 0 frame_info->fb->format 4096-ptr_max
PARAM_VALUE 3 plane_index 1
PARAM_VALUE 4 addr 4220788939900674048
CAPPED_DATA 0 frame_info->dst.y1 1
NOCHECK_CALL
LOCK2 &pool->lock

drivers/gpu/drm/vkms/vkms_formats.c planar_yuv_read_line() -> packed_pixels_addr_1x1()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->dst.y1 s32min-65534
PARAM_VALUE 0 frame_info->dst.y2 1-s32max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 0 frame_info->fb->format 4096-ptr_max
PARAM_VALUE 3 plane_index 2
PARAM_VALUE 4 addr 5491606219117703168
CAPPED_DATA 0 frame_info->dst.y1 1
NOCHECK_CALL
LOCK2 &pool->lock