Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xen/xen_drm_front_kms.c display_pipe_init() -> xen_drm_front_conn_init()

Type Parameter Key Value
PARAM_VALUE 0 drm_info 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 drm_info->drm_dev->mode_config.blob_lock.dep_map->name 0-255
PARAM_VALUE 0 drm_info->drm_dev->mode_config.colorop_list.next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.colorop_list.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.colorop_list.prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.colorop_list.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.colorop_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.connection_mutex.head.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.connection_mutex.head.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.connection_mutex.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.connector_ida.xa.xa_flags 33554437
PARAM_VALUE 0 drm_info->drm_dev->mode_config.connector_list.next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.connector_list.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.connector_list.prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.connector_list.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.connector_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.crtc_list.next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.crtc_list.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.crtc_list.prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.crtc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.crtc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.encoder_list.next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.encoder_list.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.encoder_list.prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.encoder_list.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.encoder_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.fb_list.next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.fb_list.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.fb_list.prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.fb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.fb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.fb_lock.dep_map->name 0-255
PARAM_VALUE 0 drm_info->drm_dev->mode_config.fb_lock.magic 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.funcs 3546102346790408192
PARAM_VALUE 0 drm_info->drm_dev->mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 drm_info->drm_dev->mode_config.idr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 drm_info->drm_dev->mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 drm_info->drm_dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 drm_info->drm_dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 drm_info->drm_dev->mode_config.idr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.max_height 2047
PARAM_VALUE 0 drm_info->drm_dev->mode_config.max_width 4095
PARAM_VALUE 0 drm_info->drm_dev->mode_config.mutex.dep_map->name 0-255
PARAM_VALUE 0 drm_info->drm_dev->mode_config.mutex.magic 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.num_crtc 0
PARAM_VALUE 0 drm_info->drm_dev->mode_config.num_fb 0
PARAM_VALUE 0 drm_info->drm_dev->mode_config.object_idr.idr_base 1
PARAM_VALUE 0 drm_info->drm_dev->mode_config.plane_list.next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.plane_list.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.plane_list.prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.plane_list.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.plane_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.privobj_list.next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.privobj_list.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.privobj_list.prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.privobj_list.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.privobj_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_blob_list.next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_blob_list.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_blob_list.prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_blob_list.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_blob_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_list.next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_list.next->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_list.prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_list.prev->next 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.property_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 drm_info->drm_dev->mode_config.tile_idr.idr_base 1
PARAM_VALUE 0 drm_info->drm_dev->mode_config.tile_idr.idr_rt.xa_flags 0,33554432-u32max
PARAM_VALUE 0 drm_info->front_info 4096-ptr_max
PARAM_VALUE 0 drm_info->front_info->cfg.connectors 4096-ptr_max
PARAM_VALUE 0 drm_info->front_info->cfg.num_connectors 1-s32max
PARAM_VALUE 0 drm_info->pipeline 4096-ptr_max
PARAM_VALUE 1 connector 4096-ptr_max
BUF_SIZE 0 drm_info 28368
BUF_SIZE 0 drm_info->drm_dev (-1),3696
BUF_SIZE 0 drm_info->front_info s32min-(-1),1-s32max
DATA_SOURCE 0 drm_info $0
TASK_NOT_RUNNING
LOCK2 global &xenwatch_mutex