Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/amdgpu_display.c amdgpu_display_verify_sizes() -> amdgpu_display_verify_plane()

Type Parameter Key Value
PARAM_VALUE 0 rfb 4096-ptr_max
PARAM_VALUE 0 rfb->base->offsets 0-u32max
PARAM_VALUE 0 rfb->base->pitches 0-u32max
PARAM_VALUE 0 rfb->base.dev 4096-ptr_max
PARAM_VALUE 0 rfb->base.flags 0-s32max
PARAM_VALUE 0 rfb->base.format 4096-ptr_max
PARAM_VALUE 0 rfb->base.height 1-u32max
PARAM_VALUE 0 rfb->base.obj 4096-ptr_max
PARAM_VALUE 0 rfb->base.width 1-u32max
PARAM_VALUE 1 plane 0-254
PARAM_VALUE 2 format 4096-ptr_max
PARAM_VALUE 2 format->num_planes 1-255
CAPPED_DATA 1 plane 1
DATA_SOURCE 0 rfb $0
DATA_SOURCE 2 format r drm_format_info
PARAM_COMPARE 1 plane < $2->num_planes
PARAM_COMPARE 2 format->num_planes > $1
NOSPEC 0 rfb->base.height
NOSPEC 0 rfb->base.width
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rfb->base.flags 0-4[c][u]
USER_DATA 0 rfb->base.height 1-s32max[c]
USER_DATA 0 rfb->base.modifier 0-u64max
USER_DATA 0 rfb->base.width 1-s32max[c]
UNITS 1 plane unit_array_size
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex

drivers/gpu/drm/amd/amdgpu/amdgpu_display.c amdgpu_display_verify_sizes() -> amdgpu_display_verify_plane()

Type Parameter Key Value
PARAM_VALUE 0 rfb 4096-ptr_max
PARAM_VALUE 0 rfb->base->offsets 0-u32max
PARAM_VALUE 0 rfb->base->pitches 0-u32max
PARAM_VALUE 0 rfb->base.dev 4096-ptr_max
PARAM_VALUE 0 rfb->base.flags 0-s32max
PARAM_VALUE 0 rfb->base.format 4096-ptr_max
PARAM_VALUE 0 rfb->base.height 1-u32max
PARAM_VALUE 0 rfb->base.obj 4096-ptr_max
PARAM_VALUE 0 rfb->base.width 1-u32max
PARAM_VALUE 1 plane 0-255
PARAM_VALUE 2 format 4096-ptr_max
PARAM_VALUE 2 format->cpp 4096-ptr_max
PARAM_VALUE 5 block_size_log2 0,12
CAPPED_DATA 2 format->num_planes 1
DATA_SOURCE 0 rfb $0
DATA_SOURCE 2 format r drm_format_info
DATA_SOURCE 5 block_size_log2 r get_dcc_block_size
PARAM_COMPARE 1 plane == $2->num_planes
PARAM_COMPARE 2 format->num_planes == $1
NOSPEC 0 rfb->base.height
NOSPEC 0 rfb->base.width
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rfb->base.flags 0-4[c][u]
USER_DATA 0 rfb->base.height 1-s32max[c]
USER_DATA 0 rfb->base.modifier 0-u64max
USER_DATA 0 rfb->base.width 1-s32max[c]
UNITS 1 plane unit_array_size
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex

drivers/gpu/drm/amd/amdgpu/amdgpu_display.c amdgpu_display_verify_sizes() -> amdgpu_display_verify_plane()

Type Parameter Key Value
PARAM_VALUE 0 rfb 4096-ptr_max
PARAM_VALUE 0 rfb->base->offsets 0-u32max
PARAM_VALUE 0 rfb->base->pitches 0-u32max
PARAM_VALUE 0 rfb->base.dev 4096-ptr_max
PARAM_VALUE 0 rfb->base.flags 0-s32max
PARAM_VALUE 0 rfb->base.format 4096-ptr_max
PARAM_VALUE 0 rfb->base.height 1-u32max
PARAM_VALUE 0 rfb->base.obj 4096-ptr_max
PARAM_VALUE 0 rfb->base.width 1-u32max
PARAM_VALUE 1 plane 0-256
PARAM_VALUE 2 format 4096-ptr_max
PARAM_VALUE 2 format->cpp 4096-ptr_max
PARAM_VALUE 5 block_size_log2 0,12
CAPPED_DATA 2 format->num_planes 1
DATA_SOURCE 0 rfb $0
DATA_SOURCE 2 format r drm_format_info
PARAM_COMPARE 1 plane >= $2->num_planes
PARAM_COMPARE 2 format->num_planes <= $1
NOSPEC 0 rfb->base.height
NOSPEC 0 rfb->base.width
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rfb->base.flags 0-4[c][u]
USER_DATA 0 rfb->base.height 1-s32max[c]
USER_DATA 0 rfb->base.modifier 0-u64max
USER_DATA 0 rfb->base.width 1-s32max[c]
UNITS 1 plane unit_array_size
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex