Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vboxvideo/vbox_main.c vbox_hw_fini() -> vbox_accel_fini()

Type Parameter Key Value
PARAM_VALUE 0 vbox 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->type 0-1
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->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.huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE 0 vbox->ddev.mode_config.funcs->atomic_commit 0,1709437739929436160,3385958169767186432,9025212985888776192
PARAM_VALUE 0 vbox->ddev.mode_config.funcs->atomic_state_alloc 0,4313866966076465152,8746944527109378048
PARAM_VALUE 0 vbox->ddev.mode_config.funcs->atomic_state_clear 0,3327168810821279744,3688275810139275264
PARAM_VALUE 0 vbox->ddev.mode_config.funcs->atomic_state_free 0,358897174564036608,2978086218190217216
PARAM_VALUE 0 vbox->ddev.mode_config.funcs->fb_create 0,4096-ptr_max
PARAM_VALUE 0 vbox->ddev.mode_config.funcs->get_format_info 0,4744930813722337280,7691603805021310976
PARAM_VALUE 0 vbox->ddev.mode_config.helper_private->atomic_commit_tail 0,113,4096-ptr_max
PARAM_VALUE 0 vbox->ddev.mode_config.idr_mutex.osq.tail.counter 0-s32max
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.sysman.func->intersects 0,277556496761421824,351631188507971584,1562901022217814016,3048074332517179392,6329539114600038400,7579390472687497216
PARAM_VALUE 0 vbox->hotplug_work.lockdep_map->name 0-255
PARAM_VALUE 0 vbox->num_crtcs 1-32,u32max
BUF_SIZE 0 vbox s32min-(-1),1-s32max
BUF_SIZE 0 vbox s32min-(-1),1-s32max
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.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.blob_lock.osq.tail.counter s32min-s32max
HOST_DATA 0 vbox->ddev.mode_config.blob_lock.owner.counter s64min-s64max
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_free_work.data.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_lock.osq.tail.counter s32min-s32max
HOST_DATA 0 vbox->ddev.mode_config.fb_lock.owner.counter s64min-s64max
HOST_DATA 0 vbox->ddev.mode_config.fb_modifiers_not_supported 0-1
HOST_DATA 0 vbox->ddev.mode_config.idr_mutex.osq.tail.counter 0-s32max
HOST_DATA 0 vbox->ddev.mode_config.idr_mutex.owner.counter s64min-s64max
HOST_DATA 0 vbox->ddev.mode_config.max_height 0-u32max
HOST_DATA 0 vbox->ddev.mode_config.max_width 0-u32max
HOST_DATA 0 vbox->ddev.mode_config.min_height 0-u32max
HOST_DATA 0 vbox->ddev.mode_config.min_width 0-u32max
HOST_DATA 0 vbox->ddev.mode_config.mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 vbox->ddev.mode_config.mutex.owner.counter s64min-s64max
HOST_DATA 0 vbox->ddev.mode_config.normalize_zpos 0-1
HOST_DATA 0 vbox->ddev.mode_config.num_colorop s32min-s32max
HOST_DATA 0 vbox->ddev.mode_config.num_connector s32min-s32max
HOST_DATA 0 vbox->ddev.mode_config.num_crtc s32min-s32max
HOST_DATA 0 vbox->ddev.mode_config.num_encoder s32min-s32max
HOST_DATA 0 vbox->ddev.mode_config.num_fb s32min-s32max
HOST_DATA 0 vbox->ddev.mode_config.num_total_plane s32min-s32max
HOST_DATA 0 vbox->ddev.mode_config.object_idr.idr_base 0-u32max
HOST_DATA 0 vbox->ddev.mode_config.object_idr.idr_next 0-u32max
HOST_DATA 0 vbox->ddev.mode_config.object_idr.idr_rt.xa_flags 0-u32max
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.preferred_depth 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_base 0-u32max
HOST_DATA 0 vbox->ddev.mode_config.tile_idr.idr_next 0-u32max
HOST_DATA 0 vbox->ddev.mode_config.tile_idr.idr_rt.xa_flags 0-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.unplugged 1
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->hotplug_work.data.counter s64min-s64max
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
UNITS 0 vbox unit_byte