Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_plane.c __drm_universal_plane_init() -> create_in_format_blob()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->anon_inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 dev->anon_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE 0 dev->anon_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE 0 dev->anon_inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 dev->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dev->dma_mem->pfn_base 0-s64max
PARAM_VALUE 0 dev->dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 dev->dev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->dev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->dev->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 0 dev->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1640,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE 0 dev->mode_config.funcs->atomic_check 0,4096-ptr_max
PARAM_VALUE 0 dev->mode_config.funcs->atomic_commit 0,1709437739929436160,3385958169767186432,9025212985888776192
PARAM_VALUE 0 dev->mode_config.funcs->fb_create 0,4096-ptr_max
PARAM_VALUE 0 dev->mode_config.funcs->get_format_info 0,4744930813722337280,7691603805021310976
PARAM_VALUE 0 dev->mode_config.funcs->mode_valid 0,4096-ptr_max
PARAM_VALUE 0 dev->mode_config.helper_private->atomic_commit_tail 0,113,234517204248432640,264416658693812224,1002985563129995264
PARAM_VALUE 0 dev->mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->mode_config.idr_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->mode_config.num_total_plane s32min-32
PARAM_VALUE 0 dev->mode_config.plane_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_type_property 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_type_property->dev 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_type_property->dev->driver 4096-ptr_max
PARAM_VALUE 1 plane 4096-ptr_max
PARAM_VALUE 1 plane->base.id 0-s32max
PARAM_VALUE 1 plane->base.properties 4096-ptr_max
PARAM_VALUE 1 plane->base.type 4008636142
PARAM_VALUE 1 plane->dev 4096-ptr_max
PARAM_VALUE 1 plane->dev->driver 4096-ptr_max
PARAM_VALUE 1 plane->dev->mode_config.idr_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 plane->dev->mode_config.num_total_plane s32min-31
PARAM_VALUE 1 plane->format_count 0-64
PARAM_VALUE 1 plane->format_types 16,4096-ptr_max
PARAM_VALUE 1 plane->funcs 4096-ptr_max
PARAM_VALUE 1 plane->funcs->destroy 0,4096-ptr_max
PARAM_VALUE 1 plane->head.next 4096-ptr_max
PARAM_VALUE 1 plane->index 0-31,2147483648-u32max
PARAM_VALUE 1 plane->modifier_count 1-u32max
PARAM_VALUE 1 plane->modifiers 16,4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.next 4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.next->next 4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.prev 4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.prev->next 4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 plane->name 1-u64max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->mode_config.funcs (-1),64
BUF_SIZE 0 dev->mode_config.helper_private (-1),16
BUF_SIZE 1 plane->base.properties 1032
BUF_SIZE 1 plane->dev s32min-(-1),1-s32max
BUF_SIZE 1 plane->format_types 4
BUF_SIZE 1 plane->funcs (-1),120
BUF_SIZE 1 plane->modifiers 8
BUF_SIZE 1 plane->name 0-s32max
CAPPED_DATA 0 dev->mode_config.object_idr.idr_base 1
CAPPED_DATA 1 plane->dev->mode_config.object_idr.idr_base 1
CAPPED_DATA 1 plane->name 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 plane $1
CONTAINER 2 -104-312+0 $1
BIT_INFO 1 plane->index 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->mode_config.connector_ida.xa.xa_flags 33554437
HOST_DATA 0 dev->mode_config.object_idr.idr_rt.xa_flags 0-u32max
HOST_DATA 0 dev->mode_config.tile_idr.idr_rt.xa_flags 33554436
HOST_DATA 0 dev->num_crtcs 2[c]
HOST_DATA 1 plane->dev->mode_config.connector_ida.xa.xa_flags 33554437
HOST_DATA 1 plane->dev->mode_config.object_idr.idr_rt.xa_flags 0-u32max
HOST_DATA 1 plane->dev->mode_config.tile_idr.idr_rt.xa_flags 33554436
HOST_DATA 1 plane->dev->num_crtcs 2[c]
NO_OVERFLOW_SIMPLE 0 dev->dev->dma_io_tlb_mem->nslabs
NO_OVERFLOW_SIMPLE 0 dev->mode_config.dvi_i_select_subconnector_property->num_values
NO_OVERFLOW_SIMPLE 0 dev->mode_config.dvi_i_subconnector_property->num_values
NO_OVERFLOW_SIMPLE 0 dev->mode_config.scaling_mode_property->num_values
NO_OVERFLOW_SIMPLE 0 dev->num_crtcs
NO_OVERFLOW_SIMPLE 1 plane->dev->num_crtcs
NO_OVERFLOW_SIMPLE 1 plane->format_count
UNITS 0 dev unit_byte

drivers/gpu/drm/drm_plane.c __drm_universal_plane_init() -> create_in_format_blob()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->anon_inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 dev->anon_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE 0 dev->anon_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE 0 dev->anon_inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 dev->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dev->dma_mem->pfn_base 0-s64max
PARAM_VALUE 0 dev->dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 dev->dev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->dev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->dev->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 0 dev->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1640,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE 0 dev->mode_config.funcs->atomic_check 0,4096-ptr_max
PARAM_VALUE 0 dev->mode_config.funcs->atomic_commit 0,1709437739929436160,3385958169767186432,9025212985888776192
PARAM_VALUE 0 dev->mode_config.funcs->fb_create 0,4096-ptr_max
PARAM_VALUE 0 dev->mode_config.funcs->get_format_info 0,4744930813722337280,7691603805021310976
PARAM_VALUE 0 dev->mode_config.funcs->mode_valid 0,4096-ptr_max
PARAM_VALUE 0 dev->mode_config.helper_private->atomic_commit_tail 0,113,234517204248432640,264416658693812224,1002985563129995264
PARAM_VALUE 0 dev->mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->mode_config.idr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->mode_config.num_total_plane s32min-32
PARAM_VALUE 0 dev->mode_config.plane_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_type_property 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_type_property->dev 4096-ptr_max
PARAM_VALUE 0 dev->mode_config.plane_type_property->dev->driver 4096-ptr_max
PARAM_VALUE 1 plane 4096-ptr_max
PARAM_VALUE 1 plane->base.id 0-s32max
PARAM_VALUE 1 plane->base.properties 4096-ptr_max
PARAM_VALUE 1 plane->base.type 4008636142
PARAM_VALUE 1 plane->dev 4096-ptr_max
PARAM_VALUE 1 plane->dev->driver 4096-ptr_max
PARAM_VALUE 1 plane->dev->mode_config.idr_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 plane->dev->mode_config.num_total_plane s32min-31
PARAM_VALUE 1 plane->format_count 0-64
PARAM_VALUE 1 plane->format_types 16,4096-ptr_max
PARAM_VALUE 1 plane->funcs 4096-ptr_max
PARAM_VALUE 1 plane->funcs->destroy 0,4096-ptr_max
PARAM_VALUE 1 plane->funcs->format_mod_supported_async 3993290856288063488,4252743379418775552
PARAM_VALUE 1 plane->head.next 4096-ptr_max
PARAM_VALUE 1 plane->index 0-31,2147483648-u32max
PARAM_VALUE 1 plane->modifiers 0,16,4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.next 4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.next->next 4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.prev 4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.prev->next 4096-ptr_max
PARAM_VALUE 1 plane->mutex.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 plane->name 1-u64max
PARAM_VALUE 2 format_mod_supported 3993290856288063488,4252743379418775552
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->mode_config.funcs (-1),64
BUF_SIZE 0 dev->mode_config.helper_private (-1),16
BUF_SIZE 1 plane->base.properties 1032
BUF_SIZE 1 plane->dev s32min-(-1),1-s32max
BUF_SIZE 1 plane->format_types 4
BUF_SIZE 1 plane->funcs (-1),120
BUF_SIZE 1 plane->modifiers 8
BUF_SIZE 1 plane->name 0-s32max
CAPPED_DATA 0 dev->mode_config.object_idr.idr_base 1
CAPPED_DATA 1 plane->dev->mode_config.object_idr.idr_base 1
CAPPED_DATA 1 plane->format_count 1
CAPPED_DATA 1 plane->modifier_count 1
CAPPED_DATA 1 plane->name 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 plane $1
CONTAINER 2 -112-312+0 $1
BIT_INFO 1 plane->index 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->mode_config.connector_ida.xa.xa_flags 33554437
HOST_DATA 0 dev->mode_config.object_idr.idr_rt.xa_flags 0-u32max
HOST_DATA 0 dev->mode_config.tile_idr.idr_rt.xa_flags 33554436
HOST_DATA 0 dev->num_crtcs 2[c]
HOST_DATA 1 plane->dev->mode_config.connector_ida.xa.xa_flags 33554437
HOST_DATA 1 plane->dev->mode_config.object_idr.idr_rt.xa_flags 0-u32max
HOST_DATA 1 plane->dev->mode_config.tile_idr.idr_rt.xa_flags 33554436
HOST_DATA 1 plane->dev->num_crtcs 2[c]
NO_OVERFLOW_SIMPLE 0 dev->dev->dma_io_tlb_mem->nslabs
NO_OVERFLOW_SIMPLE 0 dev->mode_config.dvi_i_select_subconnector_property->num_values
NO_OVERFLOW_SIMPLE 0 dev->mode_config.dvi_i_subconnector_property->num_values
NO_OVERFLOW_SIMPLE 0 dev->mode_config.scaling_mode_property->num_values
NO_OVERFLOW_SIMPLE 0 dev->num_crtcs
NO_OVERFLOW_SIMPLE 1 plane->dev->num_crtcs
NO_OVERFLOW_SIMPLE 1 plane->format_count
UNITS 0 dev unit_byte