Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/gud/gud_drv.c gud_probe() -> gud_plane_add_properties()

Type Parameter Key Value
PARAM_VALUE 0 gdrm 4096-ptr_max
PARAM_VALUE 0 gdrm->bulk_buf 1-u64max
PARAM_VALUE 0 gdrm->bulk_len 0-67108864
PARAM_VALUE 0 gdrm->bulk_pipe 0,1073741824-u32max
PARAM_VALUE 0 gdrm->bulk_sgt.sgl 0,16,4096-ptr_max
PARAM_VALUE 0 gdrm->compression 0-1
PARAM_VALUE 0 gdrm->ctrl_lock.dep_map->name 0-255
PARAM_VALUE 0 gdrm->ctrl_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 gdrm->ctrl_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 gdrm->ctrl_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 gdrm->ctrl_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 gdrm->ctrl_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 gdrm->ctrl_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 gdrm->ctrl_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 gdrm->ctrl_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 gdrm->damage.x1 s32max
PARAM_VALUE 0 gdrm->damage.x2 0
PARAM_VALUE 0 gdrm->damage.y1 s32max
PARAM_VALUE 0 gdrm->damage.y2 0
PARAM_VALUE 0 gdrm->damage_lock.dep_map->name 0-255
PARAM_VALUE 0 gdrm->damage_lock.first_waiter 0
PARAM_VALUE 0 gdrm->damage_lock.magic 4096-ptr_max
PARAM_VALUE 0 gdrm->damage_lock.osq.tail.counter 0
PARAM_VALUE 0 gdrm->damage_lock.owner.counter 0
PARAM_VALUE 0 gdrm->drm.managed.resources.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.managed.resources.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.managed.resources.next->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.blob_lock.dep_map->name 0-255
PARAM_VALUE 0 gdrm->drm.mode_config.blob_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 gdrm->drm.mode_config.blob_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 gdrm->drm.mode_config.blob_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 gdrm->drm.mode_config.blob_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 gdrm->drm.mode_config.blob_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 gdrm->drm.mode_config.blob_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 gdrm->drm.mode_config.colorop_list.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.colorop_list.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.colorop_list.prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.colorop_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.colorop_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.connection_mutex.head.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.connection_mutex.head.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.connection_mutex.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.connector_ida.xa.xa_flags 33554437
PARAM_VALUE 0 gdrm->drm.mode_config.connector_list.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.connector_list.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.connector_list.prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.connector_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.connector_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.crtc_list.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.crtc_list.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.crtc_list.prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.crtc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.crtc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.encoder_list.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.encoder_list.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.encoder_list.prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.encoder_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.encoder_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.fb_list.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.fb_list.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.fb_list.prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.fb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.fb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.fb_lock.dep_map->name 0-255
PARAM_VALUE 0 gdrm->drm.mode_config.fb_lock.magic 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.funcs 5589447746689212416
PARAM_VALUE 0 gdrm->drm.mode_config.helper_private 5725494147050491904
PARAM_VALUE 0 gdrm->drm.mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 gdrm->drm.mode_config.idr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 gdrm->drm.mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 gdrm->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 gdrm->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 gdrm->drm.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 gdrm->drm.mode_config.idr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 gdrm->drm.mode_config.mutex.dep_map->name 0-255
PARAM_VALUE 0 gdrm->drm.mode_config.mutex.magic 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.num_colorop 0
PARAM_VALUE 0 gdrm->drm.mode_config.num_connector 0
PARAM_VALUE 0 gdrm->drm.mode_config.num_crtc 0
PARAM_VALUE 0 gdrm->drm.mode_config.num_encoder 0
PARAM_VALUE 0 gdrm->drm.mode_config.num_fb 0
PARAM_VALUE 0 gdrm->drm.mode_config.num_total_plane s32min-32
PARAM_VALUE 0 gdrm->drm.mode_config.object_idr.idr_base 1
PARAM_VALUE 0 gdrm->drm.mode_config.plane_list.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.plane_list.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.plane_list.prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.plane_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.plane_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.plane_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.privobj_list.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.privobj_list.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.privobj_list.prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.privobj_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.privobj_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_blob_list.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_blob_list.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_blob_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_blob_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_blob_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_list.next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_list.next->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_list.prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.property_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 gdrm->drm.mode_config.tile_idr.idr_base 1
PARAM_VALUE 0 gdrm->drm.mode_config.tile_idr.idr_next 0
PARAM_VALUE 0 gdrm->drm.mode_config.tile_idr.idr_rt.xa_flags 33554436
PARAM_VALUE 0 gdrm->drm.unplugged 0
PARAM_VALUE 0 gdrm->plane.base.id 0-s32max
PARAM_VALUE 0 gdrm->plane.base.properties 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.base.type 4008636142
PARAM_VALUE 0 gdrm->plane.dev 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.dev->driver 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.dev->mode_config.idr_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 gdrm->plane.dev->mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 gdrm->plane.dev->mode_config.idr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 gdrm->plane.dev->mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 gdrm->plane.dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 gdrm->plane.dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 gdrm->plane.dev->mode_config.idr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 gdrm->plane.dev->mode_config.num_total_plane s32min-31
PARAM_VALUE 0 gdrm->plane.dev->mode_config.prop_fb_damage_clips 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.dev->mode_config.prop_fb_damage_clips->dev 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.dev->mode_config.prop_fb_damage_clips->dev->driver 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.format_count 0-64
PARAM_VALUE 0 gdrm->plane.format_types 16,4096-ptr_max
PARAM_VALUE 0 gdrm->plane.funcs 6852108293564047360
PARAM_VALUE 0 gdrm->plane.funcs->atomic_create_state 0,1741986359924551680
PARAM_VALUE 0 gdrm->plane.funcs->atomic_destroy_state 0,4096-ptr_max
PARAM_VALUE 0 gdrm->plane.funcs->atomic_get_property 0,2074060281619644416,8270784004941418496,9050773792164933632
PARAM_VALUE 0 gdrm->plane.funcs->atomic_print_state 0,2690278243714678784,4219969635454787584,7013021942599233536,7359561269884841984,7395024169528725504,9027354897200578560
PARAM_VALUE 0 gdrm->plane.funcs->atomic_set_property 0,3433292535875563520,3867034966720561152,7441743090200174592
PARAM_VALUE 0 gdrm->plane.funcs->destroy 7599065868676763648
PARAM_VALUE 0 gdrm->plane.funcs->disable_plane 0,1825121351257219072,4612742892608802816,5173009605805596672,5905265811237928960
PARAM_VALUE 0 gdrm->plane.funcs->early_unregister 0
PARAM_VALUE 0 gdrm->plane.funcs->format_mod_supported 0,4096-ptr_max
PARAM_VALUE 0 gdrm->plane.funcs->format_mod_supported_async 0,3993290856288063488,4252743379418775552
PARAM_VALUE 0 gdrm->plane.funcs->late_register 0,2138568529968353280,7802016378741813248,7854632669003300864
PARAM_VALUE 0 gdrm->plane.funcs->reset 0,4096-ptr_max
PARAM_VALUE 0 gdrm->plane.funcs->set_property 0,583134136402280448,8960462897583161344
PARAM_VALUE 0 gdrm->plane.funcs->update_plane 0,989755879342993408,3174827564765413376,3848331178012450816,4055942768770543616,8155402964957179904
PARAM_VALUE 0 gdrm->plane.head.next 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.helper_private 4617399345211047936
PARAM_VALUE 0 gdrm->plane.helper_private->atomic_check 5195630238098345984
PARAM_VALUE 0 gdrm->plane.helper_private->atomic_update 6451622438498852864
PARAM_VALUE 0 gdrm->plane.helper_private->begin_fb_access 1708037898778968064
PARAM_VALUE 0 gdrm->plane.helper_private->cleanup_fb 0
PARAM_VALUE 0 gdrm->plane.helper_private->end_fb_access 2756388228415442944
PARAM_VALUE 0 gdrm->plane.helper_private->panic_flush 0
PARAM_VALUE 0 gdrm->plane.helper_private->prepare_fb 0
PARAM_VALUE 0 gdrm->plane.hotspot_x_property 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.hotspot_x_property->dev 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.hotspot_y_property 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.hotspot_y_property->dev 4096-ptr_max
PARAM_VALUE 0 gdrm->plane.index 0-31,2147483648-u32max
PARAM_VALUE 0 gdrm->plane.modifiers 0,16,4096-ptr_max
PARAM_VALUE 0 gdrm->plane.name 1-u64max
PARAM_VALUE 0 gdrm->plane.possible_crtcs 0
PARAM_VALUE 0 gdrm->plane.type 1
BUF_SIZE 0 gdrm->compress_buf 0-67108864,u64max
BUF_SIZE 0 gdrm->lz4_comp_mem 16416,u64max
BUF_SIZE 0 gdrm->xrgb8888_emulation_format (-1)-0,24
DATA_SOURCE 0 gdrm r __devm_drm_dev_alloc
BIT_INFO 0 gdrm->bulk_pipe 0xc0000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 gdrm->plane.dev->num_crtcs
NO_OVERFLOW_SIMPLE 0 gdrm->plane.format_count