Open Menu /

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_output.c vkms_output_init() -> vkms_enable_writeback_connector()

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.driver 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->list.prev->prev 5159360019465732096
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->next->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->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->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
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->list.prev->next 5159360019465732096
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vkmsdev->drm.mode_config.idr_mutex.osq.tail.counter 0-s32max
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 s32min-32
PARAM_VALUE 0 vkmsdev->drm.mode_config.num_fb 0
PARAM_VALUE 0 vkmsdev->drm.mode_config.num_total_plane s32min-32
PARAM_VALUE 0 vkmsdev->drm.mode_config.object_idr.idr_base 1
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->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->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 1 vkms_output 4096-ptr_max
PARAM_VALUE 1 vkms_output->composer_workq 4096-ptr_max
PARAM_VALUE 1 vkms_output->crtc.base.properties 4096-ptr_max
PARAM_VALUE 1 vkms_output->crtc.dev 4096-ptr_max
PARAM_VALUE 1 vkms_output->crtc.dev->mode_config.background_color_property 4096-ptr_max
PARAM_VALUE 1 vkms_output->crtc.dev->mode_config.background_color_property->dev 4096-ptr_max
PARAM_VALUE 1 vkms_output->crtc.dev->mode_config.background_color_property->dev->driver 4096-ptr_max
PARAM_VALUE 1 vkms_output->crtc.gamma_store 16,4096-ptr_max
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->atomic_create_state 0,2071399268513632256
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->atomic_destroy_state 0,1270985991872737280,6842139445785686016,7014029762562908160,7055960269272264704
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->atomic_get_property 0,482748195348733952,867407015704104960,1916776533480706048,3773585052083617792,5370069923033010176,7255968405100765184
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->atomic_print_state 0
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->atomic_set_property 0,1024494115316498432,1734576556507435008,2604648844504719360,3342092583425818624,6769257817090793472,8670798152189984768
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->color_format 0,7176632764087291904
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->debugfs_init 0,3611095042744147968,4278820313323864064,6777486698893496320,7343592491948810240
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->dpms 0,3029919913508147200,8441996450830983168
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->fill_modes 0,2976104874273128448,3194867628223459328,4496801075002363904
PARAM_VALUE 1 vkms_output->wb_connector.base.funcs->oob_hotplug_event 0,4534636837348036608,6920433452061192192
PARAM_VALUE 1 vkms_output->wb_connector.base.helper_private->atomic_best_encoder 0,1455635975407235072,2915939671202656256,4161037785663004672,6962447258335473664,8592692301210112000
PARAM_VALUE 1 vkms_output->wb_connector.base.helper_private->best_encoder 0,711040296679583744,1408764904678985728,2407844771556384768,3660737135648137216,5922274513316175872,5978838701672415232,6018119256753037312,6034865582575013888,7269779107308519424,8678249030250332160,8987296061694214144
PARAM_VALUE 1 vkms_output->wb_connector.base.helper_private->detect_ctx 0,242350963808079872,353060521151684608,354697117390938112,750720181259509760,1840835852224147456,2118617227466293248,2551058146396700672,3649113407205003264,4188857632426147840,4355685262981685248,4878588105923534848-s64max
PARAM_VALUE 1 vkms_output->wb_connector.base.helper_private->disable_hpd 0,7204080121075134464
PARAM_VALUE 1 vkms_output->wb_connector.base.helper_private->enable_hpd 0,2412528465138479104
PARAM_VALUE 1 vkms_output->wb_connector.base.helper_private->mode_valid 0,197617972588003328,390791264288124928,411321222098812928,706192836881428480,979631713224839168,1082771402318147584,1095828551083511808,1132931663623667712,1180093073098858496,1321545519609253888,1387237800160395264-s64max
PARAM_VALUE 1 vkms_output->wb_connector.base.helper_private->mode_valid_ctx 0,2393646541358821376,3338729940215275520
PARAM_VALUE 1 vkms_output->wb_encoder.funcs->debugfs_init 0,6973352036378669056
PARAM_VALUE 1 vkms_output->wb_encoder.funcs->early_unregister 0,4760937263027425280
PARAM_VALUE 1 vkms_output->wb_encoder.funcs->late_register 0,701314789818085376,1181227410646614016,1647545275053064192,2341737043894939648,3940292699586646016,6122176978846912512
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->faux_dev 1616
CAPPED_DATA 0 vkmsdev 1
DATA_SOURCE 0 vkmsdev $0
DATA_SOURCE 1 vkms_output r vkms_crtc_init
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vkmsdev->drm.mode_config.writeback_fb_id_property->num_values
NO_OVERFLOW_SIMPLE 0 vkmsdev->drm.mode_config.writeback_out_fence_ptr_property->num_values
NO_OVERFLOW_SIMPLE 0 vkmsdev->drm.mode_config.writeback_pixel_formats_property->num_values
NO_OVERFLOW_SIMPLE 0 vkmsdev->drm.num_crtcs
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock