Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_sou_init() -> vmw_du_init()

Type Parameter Key Value
PARAM_VALUE 0 du 4096-ptr_max
PARAM_VALUE 0 du->connector.base.free_cb 1-u64max
PARAM_VALUE 0 du->connector.base.id 0-s32max
PARAM_VALUE 0 du->connector.base.properties 4096-ptr_max
PARAM_VALUE 0 du->connector.base.refcount.refcount.refs.counter 1
PARAM_VALUE 0 du->connector.base.type 3233857728
PARAM_VALUE 0 du->connector.cec.mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.cmdline_mode.force 0-3
PARAM_VALUE 0 du->connector.cmdline_mode.panel_orientation (-1)-3
PARAM_VALUE 0 du->connector.cmdline_mode.pixel_clock 0,13500
PARAM_VALUE 0 du->connector.cmdline_mode.rotation_reflection 0-65
PARAM_VALUE 0 du->connector.cmdline_mode.tv_mode 0-s32max
PARAM_VALUE 0 du->connector.cmdline_mode.xres 0,720
PARAM_VALUE 0 du->connector.cmdline_mode.yres 0,480,576
PARAM_VALUE 0 du->connector.connector_type_id 0-s32max
PARAM_VALUE 0 du->connector.debugfs_entry 0,4096-u64max
PARAM_VALUE 0 du->connector.dev 4096-ptr_max
PARAM_VALUE 0 du->connector.edid_override_mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.eld_mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.force 1-3
PARAM_VALUE 0 du->connector.hdmi.infoframes.lock.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.hdmi_audio.lock.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.head.next 4096-ptr_max
PARAM_VALUE 0 du->connector.index 0-s32max
PARAM_VALUE 0 du->connector.modes.next 4096-ptr_max
PARAM_VALUE 0 du->connector.modes.prev 4096-ptr_max
PARAM_VALUE 0 du->connector.name 1-u64max
PARAM_VALUE 0 du->connector.probed_modes.next 4096-ptr_max
PARAM_VALUE 0 du->connector.probed_modes.prev 4096-ptr_max
PARAM_VALUE 0 du->connector.status 3
PARAM_VALUE 0 du->crtc.base.id 0-s32max
PARAM_VALUE 0 du->crtc.base.properties 4096-ptr_max
PARAM_VALUE 0 du->crtc.base.type 3435973836
PARAM_VALUE 0 du->crtc.commit_list.next 4096-ptr_max
PARAM_VALUE 0 du->crtc.commit_list.prev 4096-ptr_max
PARAM_VALUE 0 du->crtc.crc.source 4096-ptr_max
PARAM_VALUE 0 du->crtc.crc.wq.head.next 4096-ptr_max
PARAM_VALUE 0 du->crtc.crc.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 du->crtc.gamma_store 0,16,4096-ptr_max
PARAM_VALUE 0 du->crtc.head.next 4096-ptr_max
PARAM_VALUE 0 du->crtc.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->crtc.name 1-u64max
PARAM_VALUE 0 du->cursor.base.base.id 0-s32max
PARAM_VALUE 0 du->cursor.base.base.properties 4096-ptr_max
PARAM_VALUE 0 du->cursor.base.base.type 4008636142
PARAM_VALUE 0 du->cursor.base.format_types 16,4096-ptr_max
PARAM_VALUE 0 du->cursor.base.head.next 4096-ptr_max
PARAM_VALUE 0 du->cursor.base.hotspot_x_property 4096-ptr_max
PARAM_VALUE 0 du->cursor.base.hotspot_y_property 4096-ptr_max
PARAM_VALUE 0 du->cursor.base.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->cursor.base.modifiers 0,16,4096-ptr_max
PARAM_VALUE 0 du->cursor.base.name 1-u64max
PARAM_VALUE 0 du->encoder.base.id 0-s32max
PARAM_VALUE 0 du->encoder.base.type 3772834016
PARAM_VALUE 0 du->encoder.bridge_chain.next 4096-ptr_max
PARAM_VALUE 0 du->encoder.bridge_chain.prev 4096-ptr_max
PARAM_VALUE 0 du->encoder.bridge_chain_mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->encoder.head.next 4096-ptr_max
PARAM_VALUE 0 du->encoder.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->encoder.name 1-u64max
PARAM_VALUE 0 du->pref_height 800-u32max
PARAM_VALUE 0 du->pref_width 1280-u32max
PARAM_VALUE 0 du->primary.base.id 0-s32max
PARAM_VALUE 0 du->primary.base.properties 4096-ptr_max
PARAM_VALUE 0 du->primary.base.type 4008636142
PARAM_VALUE 0 du->primary.dev 4096-ptr_max
PARAM_VALUE 0 du->primary.format_types 16,4096-ptr_max
PARAM_VALUE 0 du->primary.head.next 4096-ptr_max
PARAM_VALUE 0 du->primary.hotspot_x_property 4096-ptr_max
PARAM_VALUE 0 du->primary.hotspot_y_property 4096-ptr_max
PARAM_VALUE 0 du->primary.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->primary.modifiers 0,16,4096-ptr_max
PARAM_VALUE 0 du->primary.name 1-u64max
PARAM_VALUE 0 du->unit 0-7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 du->pref_height 801-u32max[c]
HOST_DATA 0 du->pref_width 1281-u32max[c]
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/vmwgfx/vmwgfx_ldu.c vmw_ldu_init() -> vmw_du_init()

Type Parameter Key Value
PARAM_VALUE 0 du 4096-ptr_max
PARAM_VALUE 0 du->connector.base.free_cb 1-u64max
PARAM_VALUE 0 du->connector.base.id 0-s32max
PARAM_VALUE 0 du->connector.base.properties 4096-ptr_max
PARAM_VALUE 0 du->connector.base.refcount.refcount.refs.counter 1
PARAM_VALUE 0 du->connector.base.type 3233857728
PARAM_VALUE 0 du->connector.cec.mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.cmdline_mode.force 0-3
PARAM_VALUE 0 du->connector.cmdline_mode.panel_orientation (-1)-3
PARAM_VALUE 0 du->connector.cmdline_mode.pixel_clock 0,13500
PARAM_VALUE 0 du->connector.cmdline_mode.rotation_reflection 0-65
PARAM_VALUE 0 du->connector.cmdline_mode.tv_mode 0-s32max
PARAM_VALUE 0 du->connector.cmdline_mode.xres 0,720
PARAM_VALUE 0 du->connector.cmdline_mode.yres 0,480,576
PARAM_VALUE 0 du->connector.connector_type_id 0-s32max
PARAM_VALUE 0 du->connector.debugfs_entry 0,4096-u64max
PARAM_VALUE 0 du->connector.dev 4096-ptr_max
PARAM_VALUE 0 du->connector.edid_override_mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.eld_mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.force 1-3
PARAM_VALUE 0 du->connector.hdmi.infoframes.lock.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.hdmi_audio.lock.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.head.next 4096-ptr_max
PARAM_VALUE 0 du->connector.index 0-s32max
PARAM_VALUE 0 du->connector.modes.next 4096-ptr_max
PARAM_VALUE 0 du->connector.modes.prev 4096-ptr_max
PARAM_VALUE 0 du->connector.name 1-u64max
PARAM_VALUE 0 du->connector.probed_modes.next 4096-ptr_max
PARAM_VALUE 0 du->connector.probed_modes.prev 4096-ptr_max
PARAM_VALUE 0 du->connector.status 3
PARAM_VALUE 0 du->crtc.base.id 0-s32max
PARAM_VALUE 0 du->crtc.base.properties 4096-ptr_max
PARAM_VALUE 0 du->crtc.base.type 3435973836
PARAM_VALUE 0 du->crtc.commit_list.next 4096-ptr_max
PARAM_VALUE 0 du->crtc.commit_list.prev 4096-ptr_max
PARAM_VALUE 0 du->crtc.crc.source 4096-ptr_max
PARAM_VALUE 0 du->crtc.crc.wq.head.next 4096-ptr_max
PARAM_VALUE 0 du->crtc.crc.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 du->crtc.gamma_store 0,16,4096-ptr_max
PARAM_VALUE 0 du->crtc.head.next 4096-ptr_max
PARAM_VALUE 0 du->crtc.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->crtc.name 1-u64max
PARAM_VALUE 0 du->encoder.base.id 0-s32max
PARAM_VALUE 0 du->encoder.base.type 3772834016
PARAM_VALUE 0 du->encoder.bridge_chain.next 4096-ptr_max
PARAM_VALUE 0 du->encoder.bridge_chain.prev 4096-ptr_max
PARAM_VALUE 0 du->encoder.bridge_chain_mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->encoder.head.next 4096-ptr_max
PARAM_VALUE 0 du->encoder.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->encoder.name 1-u64max
PARAM_VALUE 0 du->is_implicit 1
PARAM_VALUE 0 du->pref_height 800-u32max
PARAM_VALUE 0 du->pref_width 1280-u32max
PARAM_VALUE 0 du->primary.base.id 0-s32max
PARAM_VALUE 0 du->primary.base.properties 4096-ptr_max
PARAM_VALUE 0 du->primary.base.type 4008636142
PARAM_VALUE 0 du->primary.format_types 16,4096-ptr_max
PARAM_VALUE 0 du->primary.head.next 4096-ptr_max
PARAM_VALUE 0 du->primary.hotspot_x_property 4096-ptr_max
PARAM_VALUE 0 du->primary.hotspot_y_property 4096-ptr_max
PARAM_VALUE 0 du->primary.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->primary.modifiers 0,16,4096-ptr_max
PARAM_VALUE 0 du->primary.name 1-u64max
PARAM_VALUE 0 du->unit 0-7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 du->pref_height 801-u32max[c]
HOST_DATA 0 du->pref_width 1281-u32max[c]
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/vmwgfx/vmwgfx_stdu.c vmw_stdu_init() -> vmw_du_init()

Type Parameter Key Value
PARAM_VALUE 0 du 4096-ptr_max
PARAM_VALUE 0 du->connector.base.free_cb 1-u64max
PARAM_VALUE 0 du->connector.base.id 0-s32max
PARAM_VALUE 0 du->connector.base.properties 4096-ptr_max
PARAM_VALUE 0 du->connector.base.refcount.refcount.refs.counter 1
PARAM_VALUE 0 du->connector.base.type 3233857728
PARAM_VALUE 0 du->connector.cec.mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.cmdline_mode.force 0-3
PARAM_VALUE 0 du->connector.cmdline_mode.panel_orientation (-1)-3
PARAM_VALUE 0 du->connector.cmdline_mode.pixel_clock 0,13500
PARAM_VALUE 0 du->connector.cmdline_mode.rotation_reflection 0-65
PARAM_VALUE 0 du->connector.cmdline_mode.tv_mode 0-s32max
PARAM_VALUE 0 du->connector.cmdline_mode.xres 0,720
PARAM_VALUE 0 du->connector.cmdline_mode.yres 0,480,576
PARAM_VALUE 0 du->connector.connector_type_id 0-s32max
PARAM_VALUE 0 du->connector.debugfs_entry 0,4096-u64max
PARAM_VALUE 0 du->connector.dev 4096-ptr_max
PARAM_VALUE 0 du->connector.edid_override_mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.eld_mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.force 1-3
PARAM_VALUE 0 du->connector.hdmi.infoframes.lock.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.hdmi_audio.lock.magic 4096-ptr_max
PARAM_VALUE 0 du->connector.head.next 4096-ptr_max
PARAM_VALUE 0 du->connector.index 0-s32max
PARAM_VALUE 0 du->connector.modes.next 4096-ptr_max
PARAM_VALUE 0 du->connector.modes.prev 4096-ptr_max
PARAM_VALUE 0 du->connector.name 1-u64max
PARAM_VALUE 0 du->connector.probed_modes.next 4096-ptr_max
PARAM_VALUE 0 du->connector.probed_modes.prev 4096-ptr_max
PARAM_VALUE 0 du->connector.status 3
PARAM_VALUE 0 du->crtc.base.id 0-s32max
PARAM_VALUE 0 du->crtc.base.properties 4096-ptr_max
PARAM_VALUE 0 du->crtc.base.type 3435973836
PARAM_VALUE 0 du->crtc.commit_list.next 4096-ptr_max
PARAM_VALUE 0 du->crtc.commit_list.prev 4096-ptr_max
PARAM_VALUE 0 du->crtc.crc.source 4096-ptr_max
PARAM_VALUE 0 du->crtc.crc.wq.head.next 4096-ptr_max
PARAM_VALUE 0 du->crtc.crc.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 du->crtc.gamma_store 0,16,4096-ptr_max
PARAM_VALUE 0 du->crtc.head.next 4096-ptr_max
PARAM_VALUE 0 du->crtc.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->crtc.name 1-u64max
PARAM_VALUE 0 du->cursor.base.base.id 0-s32max
PARAM_VALUE 0 du->cursor.base.base.properties 4096-ptr_max
PARAM_VALUE 0 du->cursor.base.base.type 4008636142
PARAM_VALUE 0 du->cursor.base.dev 4096-ptr_max
PARAM_VALUE 0 du->cursor.base.format_types 16,4096-ptr_max
PARAM_VALUE 0 du->cursor.base.head.next 4096-ptr_max
PARAM_VALUE 0 du->cursor.base.hotspot_x_property 4096-ptr_max
PARAM_VALUE 0 du->cursor.base.hotspot_y_property 4096-ptr_max
PARAM_VALUE 0 du->cursor.base.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->cursor.base.modifiers 0,16,4096-ptr_max
PARAM_VALUE 0 du->cursor.base.name 1-u64max
PARAM_VALUE 0 du->encoder.base.id 0-s32max
PARAM_VALUE 0 du->encoder.base.type 3772834016
PARAM_VALUE 0 du->encoder.bridge_chain.next 4096-ptr_max
PARAM_VALUE 0 du->encoder.bridge_chain.prev 4096-ptr_max
PARAM_VALUE 0 du->encoder.bridge_chain_mutex.magic 4096-ptr_max
PARAM_VALUE 0 du->encoder.head.next 4096-ptr_max
PARAM_VALUE 0 du->encoder.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->encoder.name 1-u64max
PARAM_VALUE 0 du->pref_height 800-u32max
PARAM_VALUE 0 du->pref_width 1280-u32max
PARAM_VALUE 0 du->primary.base.id 0-s32max
PARAM_VALUE 0 du->primary.base.properties 4096-ptr_max
PARAM_VALUE 0 du->primary.base.type 4008636142
PARAM_VALUE 0 du->primary.dev 4096-ptr_max
PARAM_VALUE 0 du->primary.format_types 16,4096-ptr_max
PARAM_VALUE 0 du->primary.head.next 4096-ptr_max
PARAM_VALUE 0 du->primary.hotspot_x_property 4096-ptr_max
PARAM_VALUE 0 du->primary.hotspot_y_property 4096-ptr_max
PARAM_VALUE 0 du->primary.index 0-31,2147483648-u32max
PARAM_VALUE 0 du->primary.modifiers 0,16,4096-ptr_max
PARAM_VALUE 0 du->primary.name 1-u64max
PARAM_VALUE 0 du->unit 0-7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 du->pref_height 801-u32max[c]
HOST_DATA 0 du->pref_width 1281-u32max[c]
HALF_LOCKED2 &pool->lock