Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_fb.c intel_framebuffer_init() -> intel_fb_stride_alignment()

Type Parameter Key Value
PARAM_VALUE 0 fb 4096-ptr_max
PARAM_VALUE 0 fb->dev 4096-ptr_max
PARAM_VALUE 0 fb->flags 0-2
PARAM_VALUE 0 fb->format 4096-ptr_max
PARAM_VALUE 0 fb->format->num_planes 1-255
PARAM_VALUE 0 *fb->offsets 0-4294967295
PARAM_VALUE 0 *fb->pitches 0-4294967295
PARAM_VALUE 1 color_plane 0-254
BUF_SIZE 0 fb 192
CAPPED_DATA 1 color_plane 1
PARAM_COMPARE 0 fb->format->num_planes > $1
PARAM_COMPARE 1 color_plane < $0->format->num_planes
NOSPEC 0 fb->height
NOSPEC 0 fb->width
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fb->flags 0-2[u]
USER_DATA 0 fb->height 1-s32max[c]
USER_DATA 0 fb->modifier 0-u64max
USER_DATA 0 fb->width 1-s32max[c]
UNITS 1 color_plane unit_array_size