Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vboxvideo/vbox_irq.c vbox_hotplug_worker() -> vbox_update_mode_hints()

Type Parameter Key Value
PARAM_VALUE 0 vbox 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/vboxvideo/vbox_irq.c vbox_irq_init() -> vbox_update_mode_hints()

Type Parameter Key Value
PARAM_VALUE 0 vbox 4096-ptr_max
PARAM_VALUE 0 vbox->ddev.huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1640,1808,1816,2632,2640,2648,2704,2712
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.blob_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vbox->ddev.mode_config.blob_lock.first_waiter->list.prev->prev 5159360019465732096
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.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.object_idr.idr_rt.xa_head->count 0-255
PARAM_VALUE 0 vbox->ddev.mode_config.object_idr.idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 vbox->ddev.mode_config.object_idr.idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 vbox->ddev.mode_config.object_idr.idr_rt.xa_head->shift 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->next->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->next->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.vram_mm->bdev.alloc_flags 512
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
PARAM_VALUE 0 *vbox->ddev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
CAPPED_DATA 0 vbox->num_crtcs 1
DATA_SOURCE 0 vbox $0
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.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