Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vkms/vkms_drv.c vkms_modeset_init() -> vkms_output_init()

Type Parameter Key Value
PARAM_VALUE 0 vkmsdev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->config 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.dev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.managed.resources.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.managed.resources.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.managed.resources.next->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.blob_lock.dep_map->name 0-255
PARAM_VALUE 0 vkmsdev->drm.mode_config.blob_lock.first_waiter 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.blob_lock.magic 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.blob_lock.osq.tail.counter 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.blob_lock.owner.counter 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.colorop_list.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.colorop_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.colorop_list.prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.colorop_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.colorop_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.connection_mutex.head.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.connection_mutex.head.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.connection_mutex.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.connector_ida.xa.xa_flags 33554437
PARAM_VALUE 0 vkmsdev->drm.mode_config.connector_list.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.connector_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.connector_list.prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.connector_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.connector_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.crtc_list.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.crtc_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.crtc_list.prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.crtc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.crtc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.cursor_height 512
PARAM_VALUE 0 vkmsdev->drm.mode_config.cursor_width 512
PARAM_VALUE 0 vkmsdev->drm.mode_config.encoder_list.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.encoder_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.encoder_list.prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.encoder_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.encoder_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.fb_list.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.fb_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.fb_list.prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.fb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.fb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.fb_lock.dep_map->name 0-255
PARAM_VALUE 0 vkmsdev->drm.mode_config.fb_lock.magic 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.funcs 4960779134024089600
PARAM_VALUE 0 vkmsdev->drm.mode_config.helper_private 1347796096274026496
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.first_waiter 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.osq.tail.counter 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.owner.counter 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.max_height 8192
PARAM_VALUE 0 vkmsdev->drm.mode_config.max_width 8192
PARAM_VALUE 0 vkmsdev->drm.mode_config.min_height 10
PARAM_VALUE 0 vkmsdev->drm.mode_config.min_width 10
PARAM_VALUE 0 vkmsdev->drm.mode_config.mutex.dep_map->name 0-255
PARAM_VALUE 0 vkmsdev->drm.mode_config.mutex.magic 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.num_colorop 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.num_connector 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.num_crtc 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.num_encoder 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.num_fb 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.num_total_plane 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.object_idr.idr_base 1
PARAM_VALUE 0 vkmsdev->drm.mode_config.object_idr.idr_rt.xa_flags 33554436
PARAM_VALUE 0 vkmsdev->drm.mode_config.object_idr.idr_rt.xa_head 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.plane_list.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.plane_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.plane_list.prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.plane_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.plane_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.privobj_list.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.privobj_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.privobj_list.prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.privobj_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.privobj_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_blob_list.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_blob_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_blob_list.prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_blob_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_blob_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_list.next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_list.prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.property_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->drm.mode_config.tile_idr.idr_base 1
PARAM_VALUE 0 vkmsdev->drm.mode_config.tile_idr.idr_rt.xa_flags 33554436
PARAM_VALUE 0 vkmsdev->drm.vblank 1-u64max
PARAM_VALUE 0 vkmsdev->faux_dev 4096-ptr_max
PARAM_VALUE 0 vkmsdev->faux_dev->dev.devres_head.prev 4096-ptr_max
BUF_SIZE 0 vkmsdev 477,3696,3704,3712,3720,3792,3808,3864,3888,3912,4016,4024,4448
BUF_SIZE 0 vkmsdev 477,3696,3704,3712,3720,3792,3808,3864,3888,3912,4016,4024,4448
BUF_SIZE 0 vkmsdev->config (-1),80
BUF_SIZE 0 vkmsdev->faux_dev 1616
CAPPED_DATA 0 vkmsdev 1
DATA_SOURCE 0 vkmsdev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vkmsdev->drm.num_crtcs
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock