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_mm_init()

Type Parameter Key Value
PARAM_VALUE 0 vbox 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->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