Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/arm/hdlcd_drv.c hdlcd_drm_bind() -> hdlcd_irq_uninstall()

Type Parameter Key Value
PARAM_VALUE 0 hdlcd 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_children.first 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->s_bmap_bits 0-4294967295
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->s_bmap_count 0-4294967295
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->s_data_blksize 0-4294967295
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->s_hashsize s32min-s32max
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->s_last_bmap 0-4294967295
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->s_mode 0-u16max
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->s_partition_size s32min-s32max
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->s_reserved s32min-s32max
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->s_root_block 0-4294967295
PARAM_VALUE 0 hdlcd->base.debugfs_root->d_sb->s_fs_info->work_queued s32min-s32max
PARAM_VALUE 0 hdlcd->base.dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 hdlcd->base.dev->dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 hdlcd->base.dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 hdlcd->base.dev->dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 hdlcd->base.dev->power.disable_depth 1-7
PARAM_VALUE 0 hdlcd->base.dev->power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 hdlcd->base.dev->power.request_pending 0
PARAM_VALUE 0 hdlcd->base.dev->power.runtime_auto 0
PARAM_VALUE 0 hdlcd->base.dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 hdlcd->base.dev->power.runtime_status 0,2
PARAM_VALUE 0 hdlcd->base.dev->power.timer_expires 0
PARAM_VALUE 0 hdlcd->base.dev->power.usage_count.counter 0-s32max
PARAM_VALUE 0 hdlcd->base.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hdlcd->base.dev_private->agp 0
PARAM_VALUE 0 hdlcd->base.dev_private->doorbell.ptr 0
PARAM_VALUE 0 hdlcd->base.dev_private->ih.enabled 0
PARAM_VALUE 0 hdlcd->base.dev_private->ih.rptr 0
PARAM_VALUE 0 hdlcd->base.dev_private->mman.bdev.lru_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hdlcd->base.dev_private->mmio_idx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hdlcd->base.dev_private->rio_mem 0
PARAM_VALUE 0 hdlcd->base.dev_private->rmmio 0
PARAM_VALUE 0 hdlcd->base.dev_private->shutdown 1
PARAM_VALUE 0 hdlcd->base.driver->unload 0
PARAM_VALUE 0 hdlcd->base.managed.resources.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.managed.resources.next->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.blob_lock.dep_map->name 0-255
PARAM_VALUE 0 hdlcd->base.mode_config.colorop_list.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.colorop_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.colorop_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.connection_mutex.head.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.connection_mutex.head.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.connection_mutex.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.connector_list.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.connector_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.connector_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.crtc_list.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.crtc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.crtc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.encoder_list.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.encoder_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.encoder_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.fb_list.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.fb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.fb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.fb_lock.dep_map->name 0-255
PARAM_VALUE 0 hdlcd->base.mode_config.funcs->atomic_check 1368670792239554560
PARAM_VALUE 0 hdlcd->base.mode_config.funcs->atomic_commit 9025212985888776192
PARAM_VALUE 0 hdlcd->base.mode_config.funcs->fb_create 4231620135737450496
PARAM_VALUE 0 hdlcd->base.mode_config.helper_private->atomic_commit_tail 0,113,4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.idr_mutex.dep_map->name 0-255
PARAM_VALUE 0 hdlcd->base.mode_config.idr_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hdlcd->base.mode_config.idr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hdlcd->base.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hdlcd->base.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hdlcd->base.mode_config.idr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hdlcd->base.mode_config.mutex.dep_map->name 0-255
PARAM_VALUE 0 hdlcd->base.mode_config.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hdlcd->base.mode_config.mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 hdlcd->base.mode_config.mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hdlcd->base.mode_config.mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hdlcd->base.mode_config.mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 hdlcd->base.mode_config.mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hdlcd->base.mode_config.output_poll_work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.output_poll_work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.output_poll_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 hdlcd->base.mode_config.plane_list.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.plane_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.plane_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.privobj_list.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.privobj_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.privobj_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.property_blob_list.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.property_blob_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.property_blob_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.property_list.next->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.property_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hdlcd->base.mode_config.property_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 hdlcd->crtc.port 0
PARAM_VALUE 0 *hdlcd->base->debugfs_root->d_children.first->pprev 1-u64max
DATA_SOURCE 0 hdlcd r __devm_drm_dev_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &component_mutex

drivers/gpu/drm/arm/hdlcd_drv.c hdlcd_drm_unbind() -> hdlcd_irq_uninstall()

Type Parameter Key Value
PARAM_VALUE 0 hdlcd 4096-ptr_max
PARAM_VALUE 0 hdlcd->crtc.port 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hdlcd unit_byte
LOCK2 global &component_mutex