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_create() -> vkms_config_register_debugfs()

Type Parameter Key Value
PARAM_VALUE 0 vkms_device 4096-ptr_max
PARAM_VALUE 0 vkms_device->config 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1808,2632,2648
PARAM_VALUE 0 vkms_device->drm.managed.resources.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.managed.resources.next->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.managed.resources.next->prev->next 1-u64max
PARAM_VALUE 0 vkms_device->drm.managed.resources.next->prev->prev 1-u64max
PARAM_VALUE 0 vkms_device->drm.mode_config.blob_lock.dep_map->name 0-255
PARAM_VALUE 0 vkms_device->drm.mode_config.colorop_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.colorop_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.colorop_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.connection_mutex.head.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.connection_mutex.head.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.connection_mutex.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.connector_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.connector_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.connector_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.crtc_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.crtc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.crtc_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.crtc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.encoder_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.encoder_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.encoder_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.encoder_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.fb_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.fb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.fb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.fb_lock.dep_map->name 0-255
PARAM_VALUE 0 vkms_device->drm.mode_config.funcs->atomic_check 1419077857622949888
PARAM_VALUE 0 vkms_device->drm.mode_config.funcs->atomic_commit 9025212985888776192
PARAM_VALUE 0 vkms_device->drm.mode_config.funcs->fb_create 4231620135737450496
PARAM_VALUE 0 vkms_device->drm.mode_config.helper_private->atomic_commit_tail 4264110321136541696
PARAM_VALUE 0 vkms_device->drm.mode_config.idr_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 vkms_device->drm.mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 vkms_device->drm.mode_config.idr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vkms_device->drm.mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vkms_device->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vkms_device->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vkms_device->drm.mode_config.idr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vkms_device->drm.mode_config.mutex.dep_map->name 0-255
PARAM_VALUE 0 vkms_device->drm.mode_config.object_idr.idr_rt.xa_head->count 0-255
PARAM_VALUE 0 vkms_device->drm.mode_config.object_idr.idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 vkms_device->drm.mode_config.object_idr.idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 vkms_device->drm.mode_config.object_idr.idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 vkms_device->drm.mode_config.plane_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.plane_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.plane_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.plane_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.privobj_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.privobj_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.privobj_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.property_blob_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.property_blob_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.property_blob_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.property_list.next->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.property_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vkms_device->drm.mode_config.property_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vkms_device->faux_dev 4096-ptr_max
PARAM_VALUE 0 vkms_device->faux_dev->dev.devres_head.prev 4096-ptr_max
BUF_SIZE 0 vkms_device 477,3696,3704,3712,3720,3792,3808,3864,3888,3912,4016,4024,4448
BUF_SIZE 0 vkms_device 477,3696,3704,3712,3720,3792,3808,3864,3888,3912,4016,4024,4448
BUF_SIZE 0 vkms_device->config (-1),80
BUF_SIZE 0 vkms_device->faux_dev 1616
CAPPED_DATA 0 vkms_device 1
DATA_SOURCE 0 vkms_device r __devm_drm_dev_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 vkms_device->drm.num_crtcs
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock