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

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
PARAM_VALUE 4 addr 6013621052968579072
PARAM_VALUE 5 rem_x 7951396656619921408
PARAM_VALUE 6 rem_y 1594430623692984320
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 vkms_writeback_row() -> packed_pixels_addr()

Type Parameter Key Value
PARAM_VALUE 0 frame_info 4096-ptr_max
PARAM_VALUE 2 y 0-65534
PARAM_VALUE 3 plane_index 0
PARAM_VALUE 4 addr 7753631318094401536
PARAM_VALUE 5 rem_x 2559099072259928064
PARAM_VALUE 6 rem_y 4811930119483772928
BUF_SIZE 0 frame_info 112
CAPPED_DATA 2 y 1
DATA_SOURCE 2 y $2
NOCHECK_CALL
UNITS 1 x unit_byte
UNITS 2 y unit_byte
HALF_LOCKED2 &pool->lock