Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_framebuffer.c drm_internal_framebuffer_create() -> framebuffer_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.funcs 4096-ptr_max
PARAM_VALUE 1 info 0,4096-ptr_max
PARAM_VALUE 2 r 4096-ptr_max
PARAM_VALUE 2 r->flags 0-2
PARAM_VALUE 2 r->modifier 4096-ptr_max
BUF_SIZE 0 dev (-1),3696
BUF_SIZE 0 dev (-1),3696
BUF_SIZE 2 r (-1),104,128-16383
BUF_SIZE 2 r (-1),104,128-16383
CAPPED_DATA 2 r->height 1
CAPPED_DATA 2 r->pixel_format 1
CAPPED_DATA 2 r->width 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 info r drm_get_format_info
DATA_SOURCE 2 r $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 r->fb_id 0-u32max[u]
USER_DATA 2 r->flags 0-2[u]
USER_DATA 2 r->height 0-s32max[c]
USER_DATA 2 r->pixel_format 0-u32max[c]
USER_DATA 2 r->width 0-s32max[c]
UNITS 0 dev unit_byte
USER_PTR 2 r
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex