Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_managed.c __drmm_add_action_or_reset() -> __drmm_add_action_or_reset param 1()

Type Parameter Key Value
PARAM_VALUE 0 ddev 4096-ptr_max
PARAM_VALUE 0 ddev->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 ddev->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 ddev->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 ddev->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 ddev->dev 4096-ptr_max
PARAM_VALUE 0 ddev->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 ddev->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ddev->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE 0 ddev->mode_config.funcs->atomic_check 0,4096-ptr_max
PARAM_VALUE 0 ddev->mode_config.funcs->atomic_commit 0,1709437739929436160,3385958169767186432,9025212985888776192
PARAM_VALUE 0 ddev->mode_config.funcs->atomic_state_alloc 0,4313866966076465152,8746944527109378048
PARAM_VALUE 0 ddev->mode_config.funcs->atomic_state_clear 0,3327168810821279744,3688275810139275264
PARAM_VALUE 0 ddev->mode_config.funcs->atomic_state_free 0,358897174564036608,2978086218190217216
PARAM_VALUE 0 ddev->mode_config.funcs->fb_create 0,4096-ptr_max
PARAM_VALUE 0 ddev->mode_config.funcs->get_format_info 0,4744930813722337280,7691603805021310976
PARAM_VALUE 0 ddev->mode_config.funcs->mode_valid 0,4096-ptr_max
PARAM_VALUE 0 ddev->mode_config.helper_private->atomic_commit_setup 0,2854509176089305088,4835567830784204800,7680721074952196096
BUF_SIZE 0 ddev s32min-(-1),1-s32max
BUF_SIZE 0 ddev s32min-(-1),1-s32max
BUF_SIZE 0 ddev->dev (-1)-0,1616
BUF_SIZE 0 ddev->dev_private s32min-(-1),1-s32max
BUF_SIZE 0 ddev->huge_mnt (-1),32
BUF_SIZE 0 ddev->mode_config.funcs (-1),64
BUF_SIZE 0 ddev->mode_config.helper_private (-1),16
BUF_SIZE 0 ddev->mode_config.panel_type_property (-1),120
BUF_SIZE 1 data s32min-s32max
DATA_SOURCE 0 ddev $0
DATA_SOURCE 1 data $2
STR_LEN 0 ddev (-1),2,4-26,28-32,34-35,41-42
STR_LEN 0 ddev (-1),2,4-26,28-32,34-35,41-42
STR_LEN 1 data (-1),28
STR_LEN 1 data (-1),28
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ddev->clientlist_mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->clientlist_mutex.owner.counter s64min-s64max
HOST_DATA 0 ddev->driver_features 0-u32max
HOST_DATA 0 ddev->filelist_mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->filelist_mutex.owner.counter s64min-s64max
HOST_DATA 0 ddev->gem_lru_mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->gem_lru_mutex.owner.counter s64min-s64max
HOST_DATA 0 ddev->if_version s32min-s32max
HOST_DATA 0 ddev->master_mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->master_mutex.owner.counter s64min-s64max
HOST_DATA 0 ddev->max_vblank_count 0-u32max
HOST_DATA 0 ddev->mode_config.async_page_flip 0-1
HOST_DATA 0 ddev->mode_config.blob_lock.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->mode_config.blob_lock.owner.counter s64min-s64max
HOST_DATA 0 ddev->mode_config.connection_mutex.mutex.base.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->mode_config.connection_mutex.mutex.base.owner.counter s64min-s64max
HOST_DATA 0 ddev->mode_config.connector_free_work.data.counter s64min-s64max
HOST_DATA 0 ddev->mode_config.connector_ida.xa.xa_flags 0-u32max
HOST_DATA 0 ddev->mode_config.cursor_height 0-u32max
HOST_DATA 0 ddev->mode_config.cursor_width 0-u32max
HOST_DATA 0 ddev->mode_config.delayed_event 0-1
HOST_DATA 0 ddev->mode_config.fb_lock.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->mode_config.fb_lock.owner.counter s64min-s64max
HOST_DATA 0 ddev->mode_config.fb_modifiers_not_supported 0-1
HOST_DATA 0 ddev->mode_config.idr_mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->mode_config.idr_mutex.owner.counter s64min-s64max
HOST_DATA 0 ddev->mode_config.max_height 0-u32max
HOST_DATA 0 ddev->mode_config.max_width 0-u32max
HOST_DATA 0 ddev->mode_config.min_height 0-u32max
HOST_DATA 0 ddev->mode_config.min_width 0-u32max
HOST_DATA 0 ddev->mode_config.mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->mode_config.mutex.owner.counter s64min-s64max
HOST_DATA 0 ddev->mode_config.normalize_zpos 0-1
HOST_DATA 0 ddev->mode_config.num_colorop s32min-s32max
HOST_DATA 0 ddev->mode_config.num_connector s32min-s32max
HOST_DATA 0 ddev->mode_config.num_crtc s32min-s32max
HOST_DATA 0 ddev->mode_config.num_encoder s32min-s32max
HOST_DATA 0 ddev->mode_config.num_fb s32min-s32max
HOST_DATA 0 ddev->mode_config.num_total_plane s32min-s32max
HOST_DATA 0 ddev->mode_config.object_idr.idr_base 0-u32max
HOST_DATA 0 ddev->mode_config.object_idr.idr_next 0-u32max
HOST_DATA 0 ddev->mode_config.object_idr.idr_rt.xa_flags 0-u32max
HOST_DATA 0 ddev->mode_config.output_poll_work.cpu s32min-s32max
HOST_DATA 0 ddev->mode_config.output_poll_work.timer.expires 0-u64max
HOST_DATA 0 ddev->mode_config.output_poll_work.timer.flags 0-u32max
HOST_DATA 0 ddev->mode_config.output_poll_work.work.data.counter s64min-s64max
HOST_DATA 0 ddev->mode_config.panic_lock.magic 0-u32max
HOST_DATA 0 ddev->mode_config.panic_lock.owner_cpu 0-u32max
HOST_DATA 0 ddev->mode_config.panic_lock.raw_lock.locked 0-255
HOST_DATA 0 ddev->mode_config.panic_lock.raw_lock.locked_pending 0-u16max
HOST_DATA 0 ddev->mode_config.panic_lock.raw_lock.pending 0-255
HOST_DATA 0 ddev->mode_config.panic_lock.raw_lock.tail 0-u16max
HOST_DATA 0 ddev->mode_config.panic_lock.raw_lock.val.counter s32min-s32max
HOST_DATA 0 ddev->mode_config.poll_enabled 0-1
HOST_DATA 0 ddev->mode_config.poll_running 0-1
HOST_DATA 0 ddev->mode_config.prefer_shadow 0-u32max
HOST_DATA 0 ddev->mode_config.preferred_depth 0-u32max
HOST_DATA 0 ddev->mode_config.quirk_addfb_prefer_host_byte_order 0-1
HOST_DATA 0 ddev->mode_config.quirk_addfb_prefer_xbgr_30bpp 0-1
HOST_DATA 0 ddev->mode_config.tile_idr.idr_base 0-u32max
HOST_DATA 0 ddev->mode_config.tile_idr.idr_next 0-u32max
HOST_DATA 0 ddev->mode_config.tile_idr.idr_rt.xa_flags 0-u32max
HOST_DATA 0 ddev->num_crtcs 0-u32max
HOST_DATA 0 ddev->object_name_idr.idr_base 0-u32max
HOST_DATA 0 ddev->object_name_idr.idr_next 0-u32max
HOST_DATA 0 ddev->object_name_idr.idr_rt.xa_flags 0-u32max
HOST_DATA 0 ddev->object_name_lock.osq.tail.counter s32min-s32max
HOST_DATA 0 ddev->object_name_lock.owner.counter s64min-s64max
HOST_DATA 0 ddev->open_count.counter s32min-s32max
HOST_DATA 0 ddev->ref.refcount.refs.counter s32min-s32max
HOST_DATA 0 ddev->registered 0-1
HOST_DATA 0 ddev->switch_power_state 0-u32max
HOST_DATA 0 ddev->unplugged 0-1
HOST_DATA 0 ddev->vblank_disable_immediate 0-1
NO_OVERFLOW_SIMPLE 0 ddev->dev->dma_io_tlb_mem->nslabs
NO_OVERFLOW_SIMPLE 0 ddev->mode_config.dvi_i_select_subconnector_property->num_values
NO_OVERFLOW_SIMPLE 0 ddev->mode_config.dvi_i_subconnector_property->num_values
NO_OVERFLOW_SIMPLE 0 ddev->mode_config.legacy_tv_mode_property->dev->num_crtcs
NO_OVERFLOW_SIMPLE 0 ddev->mode_config.tv_mode_property->num_values
NO_OVERFLOW_SIMPLE 0 ddev->mode_config.writeback_fb_id_property->num_values
NO_OVERFLOW_SIMPLE 0 ddev->mode_config.writeback_out_fence_ptr_property->num_values
NO_OVERFLOW_SIMPLE 0 ddev->mode_config.writeback_pixel_formats_property->num_values
NO_OVERFLOW_SIMPLE 0 ddev->num_crtcs
UNITS 0 ddev unit_byte
UNITS 1 data unit_byte
HALF_LOCKED2 global &component_mutex
HALF_LOCKED2 0 &ddev->mode_config.connection_mutex

drivers/gpu/drm/drm_managed.c drm_managed_release() -> (struct drmres_node)->release()

Type Parameter Key Value
PARAM_VALUE 0 ddev 4096-ptr_max
BUF_SIZE 0 ddev->dev (-1),1616
CAPPED_DATA 0 &ddev->managed.resources 1
DATA_SOURCE 0 ddev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ddev->unique->node.size
HALF_LOCKED2 global &component_mutex

drivers/base/devres.c dr_node_release() -> (struct devres)->release()

Type Parameter Key Value
PARAM_VALUE 0 ddev 4096-ptr_max
PARAM_VALUE 0 ddev->devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ddev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 ddev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 ddev->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 ddev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ddev->power.wakeirq->status 0-4294967295
BUF_SIZE 0 ddev (-1),1616
BUF_SIZE 0 ddev (-1),1616
BUF_SIZE 0 ddev->iommu (-1),192
DATA_SOURCE 0 ddev $0
CONTAINER 1 *(-48+56) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ddev->mutex