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 packed_pixels_addr() -> packed_pixels_offset()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 offset 2879736025187950592
PARAM_VALUE 5 rem_x 2559099072259928064,7951396656619921408
PARAM_VALUE 6 rem_y 1594430623692984320,4811930119483772928
BUF_SIZE 0 frame_info (-1),112
BUF_SIZE 0 frame_info (-1),112
DATA_SOURCE 0 frame_info $0
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
DATA_SOURCE 3 plane_index $3
DATA_SOURCE 5 rem_x $5
DATA_SOURCE 6 rem_y $6
NOCHECK_CALL
UNITS 1 x unit_byte
UNITS 2 y unit_byte
LOCK2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 0 frame_info->fb 4096-ptr_max
PARAM_VALUE 0 frame_info->fb->format 0,4096-ptr_max
PARAM_VALUE 3 plane_index 0-2
PARAM_VALUE 4 offset 5048212438187343872
PARAM_VALUE 5 rem_x 1805684113347645440
PARAM_VALUE 6 rem_y 6076462074447872000
CAPPED_DATA 0 frame_info->dst.y1 1
CAPPED_DATA 3 plane_index 1
DATA_SOURCE 0 frame_info $0
DATA_SOURCE 1 x $1
DATA_SOURCE 2 y $2
DATA_SOURCE 3 plane_index $3
HARD_MAX 3 plane_index 2
NOCHECK_CALL
LOCK2 &pool->lock