Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_display.c virtio_gpu_user_framebuffer_create() -> virtio_gpu_framebuffer_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.funcs 4096-ptr_max
PARAM_VALUE 1 vgfb 4096-ptr_max
PARAM_VALUE 2 info 0,4096-ptr_max
PARAM_VALUE 3 mode_cmd 4096-ptr_max
PARAM_VALUE 3 mode_cmd->flags 0-2
PARAM_VALUE 3 mode_cmd->handles 4096-ptr_max
PARAM_VALUE 3 mode_cmd->height 1-u32max
PARAM_VALUE 3 mode_cmd->modifier 4096-ptr_max
PARAM_VALUE 3 mode_cmd->pixel_format 875713089,875713112
PARAM_VALUE 3 mode_cmd->width 1-u32max
PARAM_VALUE 4 obj 4096-ptr_max
BUF_SIZE 0 dev (-1),3696
BUF_SIZE 0 dev (-1),3696
BUF_SIZE 1 vgfb 200
BUF_SIZE 3 mode_cmd (-1),104,128-16383
BUF_SIZE 3 mode_cmd (-1),104,128-16383
CAPPED_DATA 2 info->num_planes 1
CAPPED_DATA 3 mode_cmd->height 1
CAPPED_DATA 3 mode_cmd->pixel_format 1
CAPPED_DATA 3 mode_cmd->width 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 vgfb r _kzalloc_noprof
DATA_SOURCE 2 info $2
DATA_SOURCE 3 mode_cmd $3
DATA_SOURCE 4 obj r drm_gem_object_lookup
BIT_INFO 3 mode_cmd->pixel_format 0x34325240,0x34325259
NOSPEC 3 mode_cmd->height
NOSPEC 3 mode_cmd->width
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 mode_cmd->fb_id 0-u32max[u]
USER_DATA 3 mode_cmd->flags 0-2[u]
USER_DATA 3 mode_cmd->height 1-s32max[c]
USER_DATA 3 mode_cmd->width 1-s32max[c]
USER_PTR 3 mode_cmd
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex