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/vboxvideo/vbox_drv.c vbox_pci_probe() -> vbox_mode_init()

Type Parameter Key Value
PARAM_VALUE 0 vbox 4096-ptr_max
PARAM_VALUE 0 vbox->ddev.managed.resources.next 4096-ptr_max
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.vram_mm 1-u64max
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
DATA_SOURCE 0 vbox r __devm_drm_dev_alloc
RX_PATH
TASK_NOT_RUNNING
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 s32min-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 0-1
HOST_DATA 0 vbox->ddev.switch_power_state 0-u32max
HOST_DATA 0 vbox->ddev.unplugged 0-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
HOST_DATA 0 vbox->single_framebuffer 0-1
HOST_DATA 0 *vbox s64min-s64max