Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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-4
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
BUF_SIZE 0 rfb 216
DATA_SOURCE 0 rfb $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]
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex