vbox_irq_fini identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/gpu/drm/vboxvideo/vbox_drv.h, line 144 (as a prototype)

Defined in 1 files as a function:

drivers/gpu/drm/vboxvideo/vbox_irq.c, line 185 (as a function)

Referenced in 1 files:

drivers/gpu/drm/vboxvideo/vbox_drv.c
- line 90
- line 104

Smatch caller information:

drivers/gpu/drm/vboxvideo/vbox_drv.c vbox_pci_probe() -> vbox_irq_fini()

Type	Parameter	Key	Value
PARAM_VALUE	0	vbox	4096-ptr_max
PARAM_VALUE	0	vbox->ddev->debugfs_root->d_children.first->pprev	1-u64max
PARAM_VALUE	0	vbox->ddev.debugfs_root->d_children.first	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vbox->ddev.debugfs_root->d_inode->i_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	vbox->ddev.debugfs_root->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vbox->ddev.debugfs_root->d_sb	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.dev->dma_mem->pfn_base	0-s64max
PARAM_VALUE	0	vbox->ddev.dev->iommu->attach_deferred	0-1
PARAM_VALUE	0	vbox->ddev.dev->power.runtime_auto	0
PARAM_VALUE	0	vbox->ddev.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vbox->ddev.dev_private	0
PARAM_VALUE	0	vbox->ddev.dev_private->agp	0
PARAM_VALUE	0	vbox->ddev.dev_private->doorbell.ptr	0
PARAM_VALUE	0	vbox->ddev.dev_private->ih.enabled	0
PARAM_VALUE	0	vbox->ddev.dev_private->ih.rptr	0
PARAM_VALUE	0	vbox->ddev.dev_private->mman.bdev.lru_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.dev_private->mmio_idx_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.dev_private->rio_mem	0
PARAM_VALUE	0	vbox->ddev.dev_private->rmmio	0
PARAM_VALUE	0	vbox->ddev.dev_private->shutdown	1
PARAM_VALUE	0	vbox->ddev.driver	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.driver->unload	0
PARAM_VALUE	0	vbox->ddev.managed.resources.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.managed.resources.next->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.blob_lock.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.mode_config.colorop_list.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.colorop_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.colorop_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.connection_mutex.head.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.connection_mutex.head.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.connection_mutex.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.connector_free_work.lockdep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.mode_config.connector_list.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.connector_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.connector_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.crtc_list.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.crtc_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.crtc_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.crtc_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.encoder_list.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.encoder_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.encoder_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.encoder_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.fb_list.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.fb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.fb_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.fb_lock.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.mode_config.funcs->atomic_check	1368670792239554560
PARAM_VALUE	0	vbox->ddev.mode_config.funcs->atomic_commit	9025212985888776192
PARAM_VALUE	0	vbox->ddev.mode_config.funcs->fb_create	7409810844786176000
PARAM_VALUE	0	vbox->ddev.mode_config.funcs->mode_valid	4397183381425082368
PARAM_VALUE	0	vbox->ddev.mode_config.idr_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	vbox->ddev.mode_config.idr_mutex.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.mode_config.idr_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vbox->ddev.mode_config.idr_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	vbox->ddev.mode_config.idr_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	vbox->ddev.mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	vbox->ddev.mode_config.idr_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	vbox->ddev.mode_config.mutex.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.mode_config.plane_list.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.plane_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.plane_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.privobj_list.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.privobj_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.privobj_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.property_blob_list.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.property_blob_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.property_blob_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.property_list.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.property_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.mode_config.property_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.registered	1
PARAM_VALUE	0	vbox->ddev.unplugged	1
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.alloc_flags	512
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.device_list.next	8627146840200146952
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.funcs	7183050988403793920
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.funcs->access_memory	0,1017633713053646848,3225919106585391104,6129073923208413184
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.funcs->delete_mem_notify	0,1324054607772385280,3362702293586616320,3508674538459328512,4046619066990776320,4672322443624128512,6012858452504408064
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.funcs->eviction_valuable	0,1858549247423643648,2081513394135252992,4678632391305342976,8260624757114155008
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.funcs->io_mem_free	0,2194093600872873984
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.funcs->io_mem_pfn	0,2706132887046717440,3654902622055292928,7331281985970253824
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.funcs->release_notify	0,6700952100510887936,8497440169773187072
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.funcs->swap_notify	0,444935274221056000,3637901885053157376,5073818069448499200
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.funcs->ttm_tt_create	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.pool.alloc_flags	512
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.pool.dev	0,4096-ptr_max
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.sysman.func	8470644571397554176
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.sysman.func->intersects	0,277556496761421824,351631188507971584,1562901022217814016,3048074332517179392,6329539114600038400,7579390472687497216
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.sysman.usage	0
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.sysman.use_tt	1
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.sysman.use_type	1
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.unevictable.next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.unevictable.next->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.unevictable.prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.unevictable.prev->next	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.unevictable.prev->prev	4096-ptr_max
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.vma_manager	1-u64max
PARAM_VALUE	0	vbox->ddev.vram_mm->bdev.wq	4096-ptr_max
PARAM_VALUE	0	vbox->hw_mutex.dep_map->name	0-255
PARAM_VALUE	0	vbox->hw_mutex.first_waiter	0
PARAM_VALUE	0	vbox->hw_mutex.magic	4096-ptr_max
PARAM_VALUE	0	vbox->hw_mutex.osq.tail.counter	0
PARAM_VALUE	0	vbox->hw_mutex.owner.counter	0
PARAM_VALUE	0	vbox->num_crtcs	1-32,u32max
CAPPED_DATA	0	vbox->num_crtcs	1
DATA_SOURCE	0	vbox	r __devm_drm_dev_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	vbox->any_pitch	0-1
HOST_DATA	0	vbox->available_vram_size	0-u32max
HOST_DATA	0	vbox->ddev.clientlist_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vbox->ddev.clientlist_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vbox->ddev.driver_features	0-u32max
HOST_DATA	0	vbox->ddev.filelist_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vbox->ddev.filelist_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vbox->ddev.gem_lru_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vbox->ddev.gem_lru_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vbox->ddev.if_version	s32min-s32max
HOST_DATA	0	vbox->ddev.master_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vbox->ddev.master_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vbox->ddev.max_vblank_count	0-u32max
HOST_DATA	0	vbox->ddev.mode_config.async_page_flip	0-1
HOST_DATA	0	vbox->ddev.mode_config.connection_mutex.mutex.base.osq.tail.counter	s32min-s32max
HOST_DATA	0	vbox->ddev.mode_config.connection_mutex.mutex.base.owner.counter	s64min-s64max
HOST_DATA	0	vbox->ddev.mode_config.connector_ida.xa.xa_flags	0-u32max
HOST_DATA	0	vbox->ddev.mode_config.cursor_height	0-u32max
HOST_DATA	0	vbox->ddev.mode_config.cursor_width	0-u32max
HOST_DATA	0	vbox->ddev.mode_config.delayed_event	0-1
HOST_DATA	0	vbox->ddev.mode_config.fb_modifiers_not_supported	0-1
HOST_DATA	0	vbox->ddev.mode_config.normalize_zpos	0-1
HOST_DATA	0	vbox->ddev.mode_config.output_poll_work.cpu	s32min-s32max
HOST_DATA	0	vbox->ddev.mode_config.output_poll_work.timer.expires	0-u64max
HOST_DATA	0	vbox->ddev.mode_config.output_poll_work.timer.flags	0-u32max
HOST_DATA	0	vbox->ddev.mode_config.output_poll_work.work.data.counter	s64min-s64max
HOST_DATA	0	vbox->ddev.mode_config.panic_lock.magic	0-u32max
HOST_DATA	0	vbox->ddev.mode_config.panic_lock.owner_cpu	0-u32max
HOST_DATA	0	vbox->ddev.mode_config.panic_lock.raw_lock.locked	0-255
HOST_DATA	0	vbox->ddev.mode_config.panic_lock.raw_lock.locked_pending	0-u16max
HOST_DATA	0	vbox->ddev.mode_config.panic_lock.raw_lock.pending	0-255
HOST_DATA	0	vbox->ddev.mode_config.panic_lock.raw_lock.tail	0-u16max
HOST_DATA	0	vbox->ddev.mode_config.panic_lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	0	vbox->ddev.mode_config.poll_enabled	0-1
HOST_DATA	0	vbox->ddev.mode_config.poll_running	0-1
HOST_DATA	0	vbox->ddev.mode_config.prefer_shadow	0-u32max
HOST_DATA	0	vbox->ddev.mode_config.quirk_addfb_prefer_host_byte_order	0-1
HOST_DATA	0	vbox->ddev.mode_config.quirk_addfb_prefer_xbgr_30bpp	0-1
HOST_DATA	0	vbox->ddev.mode_config.tile_idr.idr_rt.xa_flags	0,67108864-u32max
HOST_DATA	0	vbox->ddev.num_crtcs	0-u32max
HOST_DATA	0	vbox->ddev.object_name_idr.idr_base	0-u32max
HOST_DATA	0	vbox->ddev.object_name_idr.idr_next	0-u32max
HOST_DATA	0	vbox->ddev.object_name_idr.idr_rt.xa_flags	0-u32max
HOST_DATA	0	vbox->ddev.object_name_lock.osq.tail.counter	s32min-s32max
HOST_DATA	0	vbox->ddev.object_name_lock.owner.counter	s64min-s64max
HOST_DATA	0	vbox->ddev.open_count.counter	s32min-s32max
HOST_DATA	0	vbox->ddev.ref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vbox->ddev.registered	1
HOST_DATA	0	vbox->ddev.switch_power_state	0-u32max
HOST_DATA	0	vbox->ddev.vblank_disable_immediate	0-1
HOST_DATA	0	vbox->ddev.vram_mm->vram_size	0-u32max
HOST_DATA	0	vbox->fb_mtrr	s32min-s32max
HOST_DATA	0	vbox->full_vram_size	0-u32max
HOST_DATA	0	vbox->hw_mutex.osq.tail.counter	0
HOST_DATA	0	vbox->hw_mutex.owner.counter	0
HOST_DATA	0	vbox->input_mapping_height	0-u32max
HOST_DATA	0	vbox->input_mapping_width	0-u32max
HOST_DATA	0	vbox->num_crtcs	1-32,u32max[c]
HOST_DATA	0	vbox->single_framebuffer	0-1
HOST_DATA	0	*vbox	s64min-s64max

drivers/gpu/drm/vboxvideo/vbox_drv.c vbox_pci_remove() -> vbox_irq_fini()

Type	Parameter	Key	Value
PARAM_VALUE	0	vbox	4096-ptr_max
PARAM_VALUE	0	vbox->ddev->debugfs_root->d_inode->i_sb->s_fs_info->s_first_error_func	0-255
PARAM_VALUE	0	vbox->ddev->debugfs_root->d_inode->i_sb->s_fs_info->s_last_error_func	0-255
PARAM_VALUE	0	vbox->ddev->dev_private->doorbell.ptr	0-4294967295
PARAM_VALUE	0	vbox->ddev->dev_private->irq.hpd	0-1
PARAM_VALUE	0	vbox->ddev->dev_private->rio_mem	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	vbox->ddev->dev_private->rmmio	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	vbox->ddev.clientlist_mutex.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.clientlist_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vbox->ddev.clientlist_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	vbox->ddev.clientlist_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.clientlist_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	vbox->ddev.clientlist_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	vbox->ddev.clientlist_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	vbox->ddev.clientlist_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	vbox->ddev.dev->power.runtime_auto	0
PARAM_VALUE	0	vbox->ddev.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vbox->ddev.dev_private->agp	0
PARAM_VALUE	0	vbox->ddev.dev_private->doorbell.ptr	0
PARAM_VALUE	0	vbox->ddev.dev_private->ih.enabled	0
PARAM_VALUE	0	vbox->ddev.dev_private->ih.rptr	0
PARAM_VALUE	0	vbox->ddev.dev_private->mman.bdev.lru_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.dev_private->mmio_idx_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.dev_private->rio_mem	0
PARAM_VALUE	0	vbox->ddev.dev_private->rmmio	0
PARAM_VALUE	0	vbox->ddev.dev_private->shutdown	1
PARAM_VALUE	0	vbox->ddev.mode_config.mutex.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.mode_config.mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vbox->ddev.mode_config.mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	vbox->ddev.mode_config.mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	vbox->ddev.mode_config.mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	vbox->ddev.mode_config.mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	vbox->ddev.mode_config.mutex.first_waiter->task->usage.refs.counter	s32min-s32max
BUF_SIZE	0	vbox	s32min-(-2),1-s32max
BUF_SIZE	0	vbox	s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vbox->ddev.mode_config.num_colorop
NO_OVERFLOW_SIMPLE	0	vbox->ddev.mode_config.num_crtc
NO_OVERFLOW_SIMPLE	0	vbox->ddev.mode_config.num_total_plane
UNITS	0	vbox	unit_byte