Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/sitronix/st7571.c st7571_probe() -> st7571_encoder_init()

Type Parameter Key Value
PARAM_VALUE 0 st7571 4096-ptr_max
PARAM_VALUE 0 st7571->bpp 1-2
PARAM_VALUE 0 st7571->crtc.base.id 0-s32max
PARAM_VALUE 0 st7571->crtc.base.properties 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.base.type 3435973836
PARAM_VALUE 0 st7571->crtc.commit_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.commit_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.commit_list.prev 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.commit_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.commit_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.crc.source 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.crc.wq.head.next 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.crc.wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.crc.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.crc.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.crc.wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.dev->mode_config.num_crtc s32min-31
PARAM_VALUE 0 st7571->crtc.funcs->atomic_create_state 0,3191936761289404416
PARAM_VALUE 0 st7571->crtc.funcs->atomic_get_property 0,4831709927634006016
PARAM_VALUE 0 st7571->crtc.funcs->atomic_print_state 0,1473895102359388160,3024221240871239680,8520905343846264832,9068686468357574656
PARAM_VALUE 0 st7571->crtc.funcs->atomic_set_property 0,8623067456911818752
PARAM_VALUE 0 st7571->crtc.funcs->cursor_move 0,4096-ptr_max
PARAM_VALUE 0 st7571->crtc.funcs->cursor_set 0,3495628013979901952,4537023485923934208,6131130537578876928,8872617624633417728
PARAM_VALUE 0 st7571->crtc.funcs->cursor_set2 0,1789627235925843968,4458553803064295424,6181444555894923264,8421415535485173760
PARAM_VALUE 0 st7571->crtc.funcs->disable_vblank 0,4096-ptr_max
PARAM_VALUE 0 st7571->crtc.funcs->early_unregister 0,316969628718280704
PARAM_VALUE 0 st7571->crtc.funcs->enable_vblank 0,4096-ptr_max
PARAM_VALUE 0 st7571->crtc.funcs->gamma_set 0,4096-ptr_max
PARAM_VALUE 0 st7571->crtc.funcs->get_crc_sources 0,274909859514851328,5496195479054036992,6255382050572881920,6856112011964735488,8095809827867213824,8919639931978584064
PARAM_VALUE 0 st7571->crtc.funcs->get_vblank_counter 0,4096-ptr_max
PARAM_VALUE 0 st7571->crtc.funcs->get_vblank_timestamp 0,401585836156542976,583911934988271616,6156365256337137664,6785324589864681472
PARAM_VALUE 0 st7571->crtc.funcs->late_register 0,4096-ptr_max
PARAM_VALUE 0 st7571->crtc.funcs->page_flip 0,1171917912845488128,2633949216313888768,3106804777208913920,3783433811540639744,7960314227904716800
PARAM_VALUE 0 st7571->crtc.funcs->page_flip_target 0,2647325575361384448,8031463727231463424
PARAM_VALUE 0 st7571->crtc.funcs->reset 0,4096-ptr_max
PARAM_VALUE 0 st7571->crtc.funcs->set_config 0,2065376307923050496,5895876500754755584,7059522389445349376,7149527578673479680
PARAM_VALUE 0 st7571->crtc.funcs->set_crc_source 0,4096-ptr_max
PARAM_VALUE 0 st7571->crtc.funcs->set_property 0,3859540319835906048
PARAM_VALUE 0 st7571->crtc.funcs->verify_crc_source 0,4096-ptr_max
PARAM_VALUE 0 st7571->crtc.head.next 4096-ptr_max
PARAM_VALUE 0 st7571->crtc.helper_private->commit 0
PARAM_VALUE 0 st7571->crtc.helper_private->disable 0
PARAM_VALUE 0 st7571->crtc.helper_private->dpms 0
PARAM_VALUE 0 st7571->crtc.helper_private->mode_fixup 0
PARAM_VALUE 0 st7571->crtc.helper_private->mode_set 0
PARAM_VALUE 0 st7571->crtc.helper_private->prepare 0
PARAM_VALUE 0 st7571->crtc.index 0-31,2147483648-u32max
PARAM_VALUE 0 st7571->crtc.name 1-u64max
PARAM_VALUE 0 st7571->dev 4096-ptr_max
PARAM_VALUE 0 st7571->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 st7571->dev->of_node 4096-ptr_max
PARAM_VALUE 0 st7571->drm.driver 4096-ptr_max
PARAM_VALUE 0 st7571->drm.managed.resources.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.managed.resources.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.managed.resources.next->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.blob_lock.dep_map->name 0-255
PARAM_VALUE 0 st7571->drm.mode_config.blob_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 st7571->drm.mode_config.blob_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 st7571->drm.mode_config.blob_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 st7571->drm.mode_config.blob_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 st7571->drm.mode_config.blob_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 st7571->drm.mode_config.blob_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 st7571->drm.mode_config.colorop_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.colorop_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.colorop_list.prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.colorop_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.colorop_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.connection_mutex.head.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.connection_mutex.head.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.connection_mutex.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.connector_ida.xa.xa_flags 33554437
PARAM_VALUE 0 st7571->drm.mode_config.connector_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.connector_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.connector_list.prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.connector_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.connector_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.crtc_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.crtc_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.crtc_list.prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.crtc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.crtc_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.crtc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.encoder_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.encoder_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.encoder_list.prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.encoder_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.encoder_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.fb_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.fb_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.fb_list.prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.fb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.fb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.fb_lock.dep_map->name 0-255
PARAM_VALUE 0 st7571->drm.mode_config.fb_lock.magic 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.funcs 1789355284089552896
PARAM_VALUE 0 st7571->drm.mode_config.funcs->atomic_check 1368670792239554560
PARAM_VALUE 0 st7571->drm.mode_config.funcs->atomic_commit 9025212985888776192
PARAM_VALUE 0 st7571->drm.mode_config.funcs->fb_create 7409810844786176000
PARAM_VALUE 0 st7571->drm.mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 st7571->drm.mode_config.idr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 st7571->drm.mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 st7571->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 st7571->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 st7571->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 st7571->drm.mode_config.idr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 st7571->drm.mode_config.idr_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 st7571->drm.mode_config.min_height 0
PARAM_VALUE 0 st7571->drm.mode_config.min_width 0
PARAM_VALUE 0 st7571->drm.mode_config.mutex.dep_map->name 0-255
PARAM_VALUE 0 st7571->drm.mode_config.mutex.magic 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.num_colorop 0
PARAM_VALUE 0 st7571->drm.mode_config.num_connector 0
PARAM_VALUE 0 st7571->drm.mode_config.num_crtc s32min-32
PARAM_VALUE 0 st7571->drm.mode_config.num_encoder 0
PARAM_VALUE 0 st7571->drm.mode_config.num_fb 0
PARAM_VALUE 0 st7571->drm.mode_config.num_total_plane s32min-32
PARAM_VALUE 0 st7571->drm.mode_config.object_idr.idr_base 1
PARAM_VALUE 0 st7571->drm.mode_config.plane_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.plane_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.plane_list.prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.plane_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.plane_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.plane_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.preferred_depth 24
PARAM_VALUE 0 st7571->drm.mode_config.privobj_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.privobj_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.privobj_list.prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.privobj_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.privobj_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_blob_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_blob_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_blob_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_blob_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_blob_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_list.next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_list.next->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_list.prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_list.prev->next 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.property_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 st7571->drm.mode_config.tile_idr.idr_base 1
PARAM_VALUE 0 st7571->drm.mode_config.tile_idr.idr_rt.xa_flags 33554436
PARAM_VALUE 0 st7571->height_mm 1-u32max
PARAM_VALUE 0 st7571->hwbuf 16
PARAM_VALUE 0 st7571->ncols 0
PARAM_VALUE 0 st7571->nlines 0
PARAM_VALUE 0 st7571->pdata 4096-ptr_max
PARAM_VALUE 0 st7571->pdata->constraints.min_ncols 0
PARAM_VALUE 0 st7571->pdata->constraints.min_nlines 0
PARAM_VALUE 0 st7571->pformat 526647009367879680,5956304955991400448
PARAM_VALUE 0 st7571->pformat->mode 0-1
PARAM_VALUE 0 st7571->pformat->nformats 2-3
PARAM_VALUE 0 st7571->pformat->prepare_buffer 6534249794229952512,6972815888834138112
PARAM_VALUE 0 st7571->pformat->update_rect 5177157493331316736,6742520255845646336
PARAM_VALUE 0 st7571->primary_plane.base.id 0-s32max
PARAM_VALUE 0 st7571->primary_plane.base.properties 4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.base.type 4008636142
PARAM_VALUE 0 st7571->primary_plane.dev->driver 4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.dev->mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 st7571->primary_plane.dev->mode_config.idr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 st7571->primary_plane.dev->mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 st7571->primary_plane.dev->mode_config.num_total_plane s32min-31
PARAM_VALUE 0 st7571->primary_plane.format_count 2-3
PARAM_VALUE 0 st7571->primary_plane.format_types 16,4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.funcs->atomic_create_state 0,1741986359924551680
PARAM_VALUE 0 st7571->primary_plane.funcs->atomic_get_property 0,2074060281619644416,8270784004941418496,9050773792164933632
PARAM_VALUE 0 st7571->primary_plane.funcs->atomic_print_state 0,2690278243714678784,4219969635454787584,7013021942599233536,7359561269884841984,7395024169528725504,9027354897200578560
PARAM_VALUE 0 st7571->primary_plane.funcs->atomic_set_property 0,3433292535875563520,3867034966720561152,7441743090200174592
PARAM_VALUE 0 st7571->primary_plane.funcs->destroy 0,4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.funcs->disable_plane 0,1825121351257219072,4612742892608802816,5173009605805596672,5905265811237928960
PARAM_VALUE 0 st7571->primary_plane.funcs->format_mod_supported_async 0,3993290856288063488,4252743379418775552
PARAM_VALUE 0 st7571->primary_plane.funcs->late_register 0,2138568529968353280,7802016378741813248,7854632669003300864
PARAM_VALUE 0 st7571->primary_plane.funcs->reset 0,4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.funcs->set_property 0,583134136402280448,8960462897583161344
PARAM_VALUE 0 st7571->primary_plane.funcs->update_plane 0,989755879342993408,3174827564765413376,3848331178012450816,4055942768770543616,8155402964957179904
PARAM_VALUE 0 st7571->primary_plane.head.next 4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.hotspot_x_property 4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.hotspot_x_property->dev 4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.hotspot_y_property 4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.hotspot_y_property->dev 4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.index 0-31,2147483648-u32max
PARAM_VALUE 0 st7571->primary_plane.modifiers 0,16,4096-ptr_max
PARAM_VALUE 0 st7571->primary_plane.name 1-u64max
PARAM_VALUE 0 st7571->primary_plane.type 1
PARAM_VALUE 0 st7571->regmap 0-ptr_max
PARAM_VALUE 0 st7571->row 16
PARAM_VALUE 0 st7571->startline 0
PARAM_VALUE 0 st7571->width_mm 1-u32max
PARAM_VALUE 0 *st7571->crtc->timeline_name 0-255
CAPPED_DATA 0 st7571->primary_plane.format_types 1
CAPPED_DATA 0 st7571->primary_plane.modifiers 1
DATA_SOURCE 0 st7571 r __devm_drm_dev_alloc
PARAM_COMPARE 0 st7571->ncols <= $0->pdata->constraints.max_ncols
PARAM_COMPARE 0 st7571->ncols == $0->pdata->constraints.min_ncols
PARAM_COMPARE 0 st7571->nlines <= $0->pdata->constraints.max_nlines
PARAM_COMPARE 0 st7571->nlines == $0->pdata->constraints.min_nlines
PARAM_COMPARE 0 st7571->pdata->constraints.max_ncols >= $0->pdata->constraints.min_ncols
PARAM_COMPARE 0 st7571->pdata->constraints.max_nlines >= $0->pdata->constraints.min_nlines
PARAM_COMPARE 0 st7571->pdata->constraints.max_nlines >= $0->startline
MEM_ZERO 0 st7571->hwbuf
MEM_ZERO 0 st7571->row
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 st7571->pformat->nformats