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/drm_drv.c drm_dev_init() -> drm_managed_release()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->client_sysrq_list.next 4096-ptr_max
PARAM_VALUE 0 dev->client_sysrq_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->client_sysrq_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->client_sysrq_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->client_sysrq_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->clientlist.next 4096-ptr_max
PARAM_VALUE 0 dev->clientlist.next->next 4096-ptr_max
PARAM_VALUE 0 dev->clientlist.prev 4096-ptr_max
PARAM_VALUE 0 dev->clientlist.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->clientlist.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->clientlist_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->clientlist_mutex.first_waiter 0
PARAM_VALUE 0 dev->clientlist_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->clientlist_mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->clientlist_mutex.owner.counter 0
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 0 dev->driver_features u32max
PARAM_VALUE 0 dev->filelist.next 4096-ptr_max
PARAM_VALUE 0 dev->filelist.next->next 4096-ptr_max
PARAM_VALUE 0 dev->filelist.prev 4096-ptr_max
PARAM_VALUE 0 dev->filelist.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->filelist.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->filelist_internal.next 4096-ptr_max
PARAM_VALUE 0 dev->filelist_internal.next->next 4096-ptr_max
PARAM_VALUE 0 dev->filelist_internal.prev 4096-ptr_max
PARAM_VALUE 0 dev->filelist_internal.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->filelist_internal.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->filelist_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->filelist_mutex.first_waiter 0
PARAM_VALUE 0 dev->filelist_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->filelist_mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->filelist_mutex.owner.counter 0
PARAM_VALUE 0 dev->gem_lru_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->gem_lru_mutex.first_waiter 0
PARAM_VALUE 0 dev->gem_lru_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->gem_lru_mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->gem_lru_mutex.owner.counter 0
PARAM_VALUE 0 dev->managed.resources.next 4096-ptr_max
PARAM_VALUE 0 dev->managed.resources.next->next 4096-ptr_max
PARAM_VALUE 0 dev->managed.resources.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->managed.resources.prev 4096-ptr_max
PARAM_VALUE 0 dev->managed.resources.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->managed.resources.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->master_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->master_mutex.first_waiter 0
PARAM_VALUE 0 dev->master_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->master_mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->master_mutex.owner.counter 0
PARAM_VALUE 0 dev->mode_config.panic_lock.magic 3735899821
PARAM_VALUE 0 dev->mode_config.panic_lock.owner (-1)
PARAM_VALUE 0 dev->mode_config.panic_lock.owner_cpu u32max
PARAM_VALUE 0 dev->ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->vblank_event_list.next 4096-ptr_max
PARAM_VALUE 0 dev->vblank_event_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->vblank_event_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->vblank_event_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->vblank_event_list.prev->prev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->unique->node.size
HALF_LOCKED2 global &component_mutex

drivers/gpu/drm/drm_drv.c drm_dev_release() -> drm_managed_release()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 *dev->debugfs_root->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *dev->debugfs_root->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->debugfs_root->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &component_mutex
HALF_LOCKED2 global &xenwatch_mutex