Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_fbdev.c __intel_fbdev_fb_alloc() -> intel_framebuffer_create()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 info 0,4096-ptr_max
PARAM_VALUE 2 mode_cmd 8585437146338455552
PARAM_VALUE 2 mode_cmd->fb_id 0
PARAM_VALUE 2 mode_cmd->flags 2
PARAM_VALUE 2 mode_cmd->height 0
PARAM_VALUE 2 mode_cmd->pixel_format 0,538980675,538980931,538981443,538982467,808669784,875713089,875713112,892424792,909199186
BUF_SIZE 0 obj 704
DATA_SOURCE 0 obj r intel_bo_fbdev_create
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->clientlist_mutex
LOCK2 &helper->lock
TYPE_LOCK (struct drm_device)->clientlist_mutex
TYPE_LOCK (struct drm_fb_helper)->lock

drivers/gpu/drm/i915/display/intel_fb.c intel_user_framebuffer_create() -> intel_framebuffer_create()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-ptr_max
PARAM_VALUE 1 info 0,4096-ptr_max
PARAM_VALUE 2 mode_cmd 189279737689608192
PARAM_VALUE 2 mode_cmd->flags 0-2
PARAM_VALUE 2 mode_cmd->height 1-u32max
PARAM_VALUE 2 mode_cmd->width 1-u32max
BUF_SIZE 0 obj (-1),704
BUF_SIZE 0 obj (-1),704
CAPPED_DATA 1 info->num_planes 1
DATA_SOURCE 0 obj r intel_bo_framebuffer_lookup
DATA_SOURCE 1 info $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 mode_cmd->fb_id 0-u32max[u]
USER_DATA 2 mode_cmd->flags 0-2[u]
USER_DATA 2 mode_cmd->height 1-s32max[c]
USER_DATA 2 mode_cmd->pixel_format 0-u32max[c]
USER_DATA 2 mode_cmd->width 1-s32max[c]
USER_PTR 2 mode_cmd->handles
USER_PTR 2 mode_cmd->modifier
USER_PTR 2 mode_cmd->offsets
USER_PTR 2 mode_cmd->pitches
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex