bin/symbiotic --witness witness.graphml --no-slice --no-prepare --prp=../sv-benchmarks/c/Systems_DeviceDriversLinux64_ReachSafety.prp ../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--gpu--drm--i915--i915.ko-entry_point_true-unreach-call.cil.out.c


--------------------------------------------------------------------------------


5.0.0-KLEE:86e6f6f8-dg:03407af1-symbiotic:a8aa8ad6-minisat:3db58943-stp:17249213-sbt-instrumentation:dd7e4312
INFO: After compilation stats: Globals/Functions/Blocks/Instr.: 4672 4316 58776 425125
Removed infinite loop in __i915_chipset_val
Removed infinite loop in __i915_gfx_val
Removed infinite loop in __i915_update_gfx_val
Removed infinite loop in ironlake_set_drps
Removed infinite loop in i915_gem_object_ggtt_unpin_view
Removed infinite loop in i915_gem_obj_size
Removed infinite loop in i915_wait_request
Removed infinite loop in arch_local_save_flags___6
Removed infinite loop in arch_local_save_flags___3
Removed infinite loop in arch_local_save_flags___7
Removed infinite loop in i915_gem_request_completed___1
Removed infinite loop in arch_local_save_flags___16
Removed infinite loop in arch_local_save_flags___11
Removed infinite loop in i915_vma_unbind
Removed infinite loop in i915_gem_object_get_pages
Removed infinite loop in i915_gem_object_pin_pages___1
Removed infinite loop in i915_gem_evict_something
Removed infinite loop in i915_gem_object_unpin_pages___2
Removed infinite loop in dma_unmap_sg_attrs
Removed infinite loop in do_switch
Removed infinite loop in i915_gem_object_set_to_gtt_domain
Removed infinite loop in intel_ring_get_request___0
Removed infinite loop in intel_ring_init_seqno
Removed infinite loop in dma_map_sg_attrs
Removed infinite loop in sg_page___2
Removed infinite loop in arch_local_save_flags___4
Removed infinite loop in i915_gem_object_put_pages
Removed infinite loop in i915_gem_create_context
Removed infinite loop in gen6_ppgtt_init
Removed infinite loop in gen8_write_pdp
Removed infinite loop in dma_unmap_page
Removed infinite loop in dma_map_page
Removed infinite loop in gen6_ppgtt_allocate_page_directories
Removed infinite loop in get_pd_offset
Removed infinite loop in i915_pages_create_for_stolen
Removed infinite loop in i915_gem_object_pin_pages
Removed infinite loop in i915_gem_do_execbuffer
Removed infinite loop in i915_gem_object_unpin_pages
Removed infinite loop in find_cmd
Removed infinite loop in i915_gem_object_set_to_cpu_domain
Removed infinite loop in sg_page___0
Removed infinite loop in i915_gem_object_wait_rendering__nonblocking
Removed infinite loop in sg_page___5
Removed infinite loop in i915_gem_free_object
Removed infinite loop in arch_local_save_flags___18
Removed infinite loop in arch_local_save_flags___21
Removed infinite loop in vlv_dport_to_channel
Removed infinite loop in __intel_set_cpu_fifo_underrun_reporting
Removed infinite loop in i9xx_set_fifo_underrun_reporting
Removed infinite loop in broadwell_set_fifo_underrun_reporting
Removed infinite loop in ivb_can_enable_err_int
Removed infinite loop in ironlake_enable_display_irq
Removed infinite loop in ironlake_disable_display_irq
Removed infinite loop in arch_local_save_flags___13
Removed infinite loop in arch_local_save_flags___0
Removed infinite loop in ironlake_check_fdi_lanes
Removed infinite loop in mode_fits_in_fbdev
Removed infinite loop in ddi_get_encoder_port
Removed infinite loop in intel_prepare_ddi_buffers
Removed infinite loop in i915_gem_init_swizzling
Removed infinite loop in i915_gem_context_enable
Removed infinite loop in ironlake_init_pch_refclk
Removed infinite loop in snb_update_pm_irq
Removed infinite loop in arch_local_save_flags___20
Removed infinite loop in arch_local_save_flags
Removed infinite loop in arch_local_save_flags___12
Removed infinite loop in get_context_size
Removed infinite loop in i915_gem_setup_global_gtt
Removed infinite loop in drm_mm_hole_node_start
Removed infinite loop in i915_cmd_parser_init_ring
Removed infinite loop in execlists_context_unqueue
Removed infinite loop in execlists_submit_contexts
Removed infinite loop in intel_uncore_forcewake_get__locked
Removed infinite loop in intel_uncore_forcewake_put__locked
Removed infinite loop in intel_ring_get_request
Removed infinite loop in arch_local_save_flags___5
Removed infinite loop in arch_local_save_flags___10
Removed infinite loop in intel_init_ring_buffer
Removed infinite loop in ilk_update_gt_irq
Removed infinite loop in intel_crtc_init
Removed infinite loop in intel_shared_dpll_init
Removed infinite loop in arch_local_save_flags___15
Removed infinite loop in arch_local_save_flags___23
Removed infinite loop in arch_local_save_flags___24
Removed infinite loop in intel_hdmi_init_connector
Removed infinite loop in vlv_dport_to_channel___0
Removed infinite loop in vlv_wait_port_ready
Removed infinite loop in intel_sdvo_read_response
Removed infinite loop in intel_sdvo_debug_write
Removed infinite loop in intel_dp_init_connector
Removed infinite loop in intel_dp_aux_init
Removed infinite loop in vlv_pipe_to_channel
Removed infinite loop in chv_enable_pll
Removed infinite loop in vlv_enable_pll
Removed infinite loop in arch_local_save_flags___22
Removed infinite loop in arch_local_save_flags___26
Removed infinite loop in ilk_update_plane
Removed infinite loop in vlv_update_plane
Removed infinite loop in ivb_update_plane
Removed infinite loop in intel_check_sprite_plane
Removed infinite loop in ironlake_update_primary_plane
Removed infinite loop in i9xx_update_primary_plane
Removed infinite loop in i9xx_set_pipeconf
Removed infinite loop in i9xx_enable_pll
Removed infinite loop in intel_disable_shared_dpll
Removed infinite loop in cpt_can_enable_serr_int
Removed infinite loop in ibx_display_interrupt_update
Removed infinite loop in ironlake_set_pipeconf
Removed infinite loop in ironlake_pch_enable
Removed infinite loop in ivybridge_update_fdi_bc_bifurcation
Removed infinite loop in ironlake_enable_pch_transcoder
Removed infinite loop in intel_ddi_get_crtc_new_encoder
Removed infinite loop in intel_ddi_get_crtc_encoder
Removed infinite loop in haswell_set_pipeconf
Removed infinite loop in intel_ddi_set_pipe_settings
Removed infinite loop in intel_ddi_enable_transcoder_func
Removed infinite loop in lpt_enable_pch_transcoder
Removed infinite loop in arch_local_save_flags___14
Removed infinite loop in i915_hpd_irq_setup
Removed infinite loop in __i915_disable_pipestat
Removed infinite loop in __i915_enable_pipestat
Removed infinite loop in i915_gem_request_completed
Removed infinite loop in i915_gem_request_completed___3
Removed infinite loop in arch_local_save_flags___9
Removed infinite loop in execlists_check_remove_request
Removed infinite loop in arch_local_irq_restore
Removed infinite loop in arch_local_save_flags___8
Removed infinite loop in arch_local_irq_disable
Removed infinite loop in i915_gem_request_completed___2
Removed infinite loop in sg_assign_page
Removed infinite loop in gt_rp_mhz_show
Removed infinite loop in arch_local_save_flags___1
Removed infinite loop in valleyview_disable_display_irqs
Removed infinite loop in valleyview_enable_display_irqs
Removed infinite loop in pipe_crc_data_count
Removed infinite loop in sg_page
Removed infinite loop in paravirt_read_msr
Removed infinite loop in arch_local_save_flags___2
Removed infinite loop in i915_gem_request_completed___0
Removed infinite loop in i915_gem_object_put_pages_phys
Removed infinite loop in i915_gem_object_get_pages_gtt
Removed infinite loop in i915_gem_object_put_pages_gtt
Removed infinite loop in sg_mark_end
Removed infinite loop in sg_assign_page___1
Removed infinite loop in i915_gem_object_get_pages_stolen
Removed infinite loop in i915_gem_userptr_put_pages
Removed infinite loop in intel_crtc_set_config
Removed infinite loop in intel_unpin_work_fn
Removed infinite loop in intel_ring_get_request___2
Removed infinite loop in arch_local_irq_enable
Removed infinite loop in arch_local_save_flags___17
Removed infinite loop in arch_local_irq_disable___0
Removed infinite loop in intel_crt_detect_ddc
Removed infinite loop in arch_local_save_flags___19
Removed infinite loop in arch_local_save_flags___25
Removed infinite loop in ldv_stop
Removed infinite loop in ldv_module_put_and_exit
INFO: Compilation, preparation and instrumentation time: 15.192966938
Removed calls to '_raw_spin_lock_irq' (function is undefined)
Removed calls to '_raw_spin_unlock_irq' (function is undefined)
Defining function ktime_get_raw as symbolic
Defining function jiffies_to_msecs as symbolic
Removed calls to 'drm_ut_debug_printk' (function is undefined)
Defining function drm_atomic_helper_update_plane as symbolic
Defining function drm_atomic_helper_disable_plane as symbolic
Removed calls to 'drm_plane_cleanup' (function is undefined)
Defining function drm_atomic_helper_plane_set_property as symbolic
Removed calls to 'warn_slowpath_fmt' (function is undefined)
Removed calls to '__drm_atomic_helper_plane_duplicate_state' (function is undefined)
Removed calls to 'drm_atomic_helper_plane_destroy_state' (function is undefined)
Defining function kmemdup as symbolic
Removed calls to 'msleep' (function is undefined)
Defining function i2c_transfer as symbolic
Removed calls to '__const_udelay' (function is undefined)
Removed calls to 'mutex_lock_nested' (function is undefined)
Removed calls to 'mutex_unlock' (function is undefined)
Defining function drm_plane_index as symbolic
Defining function drm_get_format_name as symbolic
Defining function drm_atomic_get_crtc_state as symbolic
Removed calls to 'warn_slowpath_null' (function is undefined)
Removed calls to '__list_del_entry' (function is undefined)
Removed calls to '__list_add' (function is undefined)
Defining function __pm_runtime_suspend as symbolic
Removed calls to 'unmap_mapping_range' (function is undefined)
Removed calls to 'drm_wait_one_vblank' (function is undefined)
Removed calls to 'kmem_cache_free' (function is undefined)
Removed calls to 'iounmap' (function is undefined)
Removed calls to 'lockdep_rcu_suspicious' (function is undefined)
Removed calls to 'list_del' (function is undefined)
Removed calls to 'drm_gem_object_free' (function is undefined)
Removed calls to 'drm_mm_takedown' (function is undefined)
Defining function debug_lockdep_rcu_enabled as symbolic
Defining function rcu_is_watching as symbolic
Defining function rcu_lockdep_current_cpu_online as symbolic
Defining function lock_is_held as symbolic
Removed calls to 'prepare_to_wait' (function is undefined)
Removed calls to 'destroy_timer_on_stack' (function is undefined)
Removed calls to 'finish_wait' (function is undefined)
Removed calls to '_raw_spin_lock' (function is undefined)
Removed calls to '_raw_spin_unlock' (function is undefined)
Removed calls to 'put_pid' (function is undefined)
Defining function autoremove_wake_function as symbolic
Defining function jiffies_to_usecs as symbolic
Defining function del_timer_sync as symbolic
Defining function io_schedule_timeout as symbolic
Defining function mod_timer as symbolic
Removed calls to '_raw_spin_unlock_irqrestore' (function is undefined)
Defining function _raw_spin_lock_irqsave as symbolic
Defining function wake_up_process as symbolic
Defining function queue_work_on as symbolic
Defining function __msecs_to_jiffies as symbolic
Defining function nsecs_to_jiffies64 as symbolic
Defining function round_jiffies_up_relative as symbolic
Removed calls to 'usleep_range' (function is undefined)
Defining function queue_delayed_work_on as symbolic
Removed calls to 'intel_gtt_chipset_flush' (function is undefined)
Removed calls to 'drm_clflush_sg' (function is undefined)
Removed calls to 'drm_err' (function is undefined)
Removed calls to '__init_work' (function is undefined)
Removed calls to 'lockdep_init_map' (function is undefined)
Removed calls to 'init_timer_key' (function is undefined)
Defining function drm_format_plane_cpp as symbolic
Removed calls to 'drm_mm_remove_node' (function is undefined)
Defining function cancel_delayed_work as symbolic
Defining function printk as symbolic
Defining function drm_mm_insert_node_generic as symbolic
Defining function drm_dp_dpcd_write as symbolic
Removed calls to 'sg_free_table' (function is undefined)
Defining function drm_mm_insert_node_in_range_generic as symbolic
Removed calls to 'drm_mm_init_scan_with_range' (function is undefined)
Removed calls to 'drm_mm_init_scan' (function is undefined)
Removed calls to 'debug_dma_unmap_sg' (function is undefined)
Removed calls to 'iowrite32' (function is undefined)
Defining function ioremap_wc as symbolic
Defining function mod_delayed_work_on as symbolic
Defining function kmem_cache_alloc as symbolic
Removed calls to 'debug_dma_map_sg' (function is undefined)
Defining function sg_next as symbolic
Defining function drm_mm_scan_remove_block as symbolic
Defining function drm_mm_scan_add_block as symbolic
Defining function __pm_runtime_resume as symbolic
Defining function drm_pci_alloc as symbolic
Removed calls to 'drm_gem_free_mmap_offset' (function is undefined)
Removed calls to 'shmem_truncate_range' (function is undefined)
Defining function invalidate_mapping_pages as symbolic
Defining function drm_noop as symbolic
Removed calls to 'kvfree' (function is undefined)
Removed calls to '__might_fault' (function is undefined)
Removed calls to '__sg_page_iter_start' (function is undefined)
Removed calls to 'drm_clflush_virt_range' (function is undefined)
Removed calls to '__might_sleep' (function is undefined)
Removed calls to 'down_write' (function is undefined)
Removed calls to 'up_write' (function is undefined)
Removed calls to 'lock_acquire' (function is undefined)
Removed calls to 'lock_release' (function is undefined)
Removed calls to 'drm_modeset_lock_all' (function is undefined)
Removed calls to 'drm_modeset_unlock_all' (function is undefined)
Removed calls to 'idr_remove' (function is undefined)
Removed calls to 'drm_gem_private_object_init' (function is undefined)
Defining function capable as symbolic
Defining function idr_find_slowpath as symbolic
Defining function mutex_lock_interruptible_nested as symbolic
Defining function prepare_to_wait_event as symbolic
Defining function schedule_timeout as symbolic
Removed calls to '__raw_spin_lock_init' (function is undefined)
Removed calls to 'interval_tree_insert' (function is undefined)
Defining function drm_gem_handle_create as symbolic
Defining function interval_tree_iter_first as symbolic
Defining function __mmu_notifier_register as symbolic
Defining function drm_gem_object_lookup as symbolic
Removed calls to 'drm_mm_init' (function is undefined)
Removed calls to '__free_pages' (function is undefined)
Removed calls to 'bitmap_set' (function is undefined)
Defining function __sg_page_iter_next as symbolic
Defining function find_first_bit as symbolic
Defining function find_next_bit as symbolic
Removed calls to 'debug_dma_unmap_page' (function is undefined)
Removed calls to 'debug_dma_map_page' (function is undefined)
Removed calls to 'debug_dma_mapping_error' (function is undefined)
Defining function alloc_pages_current as symbolic
Removed calls to '__bitmap_or' (function is undefined)
Defining function seq_printf as symbolic
Defining function seq_puts as symbolic
Defining function idr_alloc as symbolic
Defining function drm_gem_object_init as symbolic
Defining function sg_alloc_table as symbolic
Defining function drm_plane_helper_update as symbolic
Defining function drm_mode_object_find as symbolic
Removed calls to '__copy_from_user_overflow' (function is undefined)
Defining function copy_user_generic_unrolled as symbolic
Defining function copy_user_generic_string as symbolic
Defining function copy_user_enhanced_fast_string as symbolic
Removed calls to 'vunmap' (function is undefined)
Defining function vmap as symbolic
Defining function set_page_dirty as symbolic
Defining function _copy_from_user as symbolic
Defining function __vmalloc as symbolic
Defining function drm_gem_create_mmap_offset as symbolic
Defining function vm_mmap as symbolic
Defining function find_vma as symbolic
Defining function vm_get_page_prot as symbolic
Defining function pgprot_writecombine as symbolic
Defining function __copy_user_nocache as symbolic
Removed calls to '__copy_to_user_overflow' (function is undefined)
Defining function _copy_to_user as symbolic
Removed calls to '__mutex_init' (function is undefined)
Removed calls to 'console_lock' (function is undefined)
Removed calls to 'console_unlock' (function is undefined)
Removed calls to 'pci_set_master' (function is undefined)
Removed calls to 'drm_kms_helper_poll_init' (function is undefined)
Removed calls to 'vga_switcheroo_unregister_client' (function is undefined)
Removed calls to 'drm_vblank_cleanup' (function is undefined)
Removed calls to 'unregister_shrinker' (function is undefined)
Removed calls to 'pci_disable_msi' (function is undefined)
Removed calls to 'pm_qos_remove_request' (function is undefined)
Removed calls to 'destroy_workqueue' (function is undefined)
Removed calls to 'arch_phys_wc_del' (function is undefined)
Removed calls to 'pci_iounmap' (function is undefined)
Removed calls to 'pci_dev_put' (function is undefined)
Removed calls to 'kmem_cache_destroy' (function is undefined)
Removed calls to 'idr_destroy' (function is undefined)
Removed calls to 'acpi_video_unregister' (function is undefined)
Removed calls to 'flush_workqueue' (function is undefined)
Defining function drm_pci_set_busid as symbolic
Removed calls to 'drm_prime_gem_destroy' (function is undefined)
Removed calls to 'drm_gem_object_release' (function is undefined)
Defining function drm_gem_prime_handle_to_fd as symbolic
Defining function drm_gem_prime_fd_to_handle as symbolic
Removed calls to 'dma_buf_detach' (function is undefined)
Removed calls to 'dma_buf_put' (function is undefined)
Defining function drm_gem_dumb_destroy as symbolic
Defining function dma_buf_attach as symbolic
Defining function dma_buf_export as symbolic
Defining function drm_debugfs_remove_files as symbolic
Defining function drm_debugfs_create_files as symbolic
Defining function debugfs_create_file as symbolic
Removed calls to 'debugfs_remove' (function is undefined)
Removed calls to 'drm_mode_config_reset' (function is undefined)
Removed calls to 'drm_kms_helper_poll_enable' (function is undefined)
Removed calls to 'drm_mode_debug_printmodeline' (function is undefined)
Removed calls to 'drm_crtc_vblank_reset' (function is undefined)
Removed calls to 'drm_crtc_vblank_on' (function is undefined)
Defining function drm_helper_hpd_irq_event as symbolic
Removed calls to 'fb_set_suspend' (function is undefined)
Defining function ioread32 as symbolic
Defining function pci_bus_write_config_word as symbolic
Defining function pci_bus_read_config_word as symbolic
Defining function console_trylock as symbolic
Defining function flush_work as symbolic
Defining function register_acpi_notifier as symbolic
Defining function acpi_bus_get_device as symbolic
Defining function acpi_is_video_device as symbolic
Defining function acpi_evaluate_integer as symbolic
Defining function drm_dp_mst_topology_mgr_resume as symbolic
Removed calls to 'drm_kms_helper_hotplug_event' (function is undefined)
Defining function drm_dp_channel_eq_ok as symbolic
Removed calls to 'drm_dp_link_train_clock_recovery_delay' (function is undefined)
Removed calls to 'drm_dp_link_train_channel_eq_delay' (function is undefined)
Defining function drm_dp_mst_hpd_irq as symbolic
Defining function drm_dp_mst_topology_mgr_set_mst as symbolic
Defining function drm_dp_clock_recovery_ok as symbolic
Defining function drm_dp_get_adjust_request_voltage as symbolic
Defining function drm_dp_get_adjust_request_pre_emphasis as symbolic
Defining function drm_dp_dpcd_read as symbolic
Removed calls to 'drm_atomic_state_free' (function is undefined)
Removed calls to 'drm_mode_copy' (function is undefined)
Defining function drm_atomic_state_alloc as symbolic
Defining function drm_atomic_get_connector_state as symbolic
Removed calls to 'drm_crtc_get_hv_timing' (function is undefined)
Removed calls to 'drm_atomic_set_fb_for_plane' (function is undefined)
Removed calls to 'drm_mode_set_crtcinfo' (function is undefined)
Removed calls to 'drm_calc_timestamping_constants' (function is undefined)
Removed calls to 'drm_atomic_helper_swap_state' (function is undefined)
Removed calls to 'drm_atomic_helper_commit_planes' (function is undefined)
Removed calls to 'drm_atomic_helper_cleanup_planes' (function is undefined)
Defining function drm_atomic_helper_prepare_planes as symbolic
Defining function drm_object_property_set_value as symbolic
Removed calls to 'drm_send_vblank_event' (function is undefined)
Removed calls to 'drm_crtc_vblank_put' (function is undefined)
Removed calls to '__wake_up' (function is undefined)
Defining function drm_plane_helper_disable as symbolic
Defining function drm_atomic_add_affected_connectors as symbolic
Defining function drm_atomic_helper_check_modeset as symbolic
Defining function drm_atomic_helper_check_planes as symbolic
Defining function drm_plane_from_index as symbolic
Defining function drm_atomic_get_plane_state as symbolic
Defining function drm_atomic_set_crtc_for_plane as symbolic
Removed calls to 'vga_put' (function is undefined)
Defining function vga_get as symbolic
Removed calls to 'drm_modeset_backoff' (function is undefined)
Removed calls to 'drm_framebuffer_unregister_private' (function is undefined)
Removed calls to 'drm_framebuffer_unreference' (function is undefined)
Defining function drm_modeset_lock as symbolic
Defining function drm_mode_legacy_fb_format as symbolic
Removed calls to 'drm_helper_mode_fill_fb_struct' (function is undefined)
Defining function drm_framebuffer_init as symbolic
Defining function intel_enable_gtt as symbolic
Defining function mod_timer_pinned as symbolic
Removed calls to 'drm_modeset_unlock' (function is undefined)
Defining function ioremap_cache as symbolic
Defining function acpi_video_get_backlight_type as symbolic
Defining function pci_bus_read_config_dword as symbolic
Defining function pci_enable_device as symbolic
Removed calls to 'synchronize_irq' (function is undefined)
Defining function cancel_work_sync as symbolic
Defining function flush_delayed_work as symbolic
Removed calls to '___might_sleep' (function is undefined)
Defining function _cond_resched as symbolic
Removed calls to 'drm_kms_helper_poll_disable' (function is undefined)
Removed calls to 'dev_err' (function is undefined)
Removed calls to 'pci_disable_device' (function is undefined)
Defining function pci_set_power_state as symbolic
Defining function pci_save_state as symbolic
Removed calls to 'drm_dp_mst_topology_mgr_suspend' (function is undefined)
Defining function acpi_target_system_state as symbolic
Defining function unregister_acpi_notifier as symbolic
Defining function cancel_delayed_work_sync as symbolic
Removed calls to 'component_del' (function is undefined)
Removed calls to '__pm_runtime_disable' (function is undefined)
Removed calls to 'sysfs_remove_bin_file' (function is undefined)
Removed calls to 'sysfs_remove_files' (function is undefined)
Removed calls to 'device_remove_bin_file' (function is undefined)
Removed calls to 'sysfs_unmerge_group' (function is undefined)
Defining function unregister_oom_notifier as symbolic
Removed calls to 'async_synchronize_full' (function is undefined)
Removed calls to 'fb_dealloc_cmap' (function is undefined)
Removed calls to 'framebuffer_release' (function is undefined)
Removed calls to 'drm_fb_helper_fini' (function is undefined)
Removed calls to 'drm_framebuffer_remove' (function is undefined)
Removed calls to 'backlight_device_unregister' (function is undefined)
Removed calls to 'drm_kms_helper_poll_fini' (function is undefined)
Removed calls to 'drm_mode_config_cleanup' (function is undefined)
Defining function vga_client_register as symbolic
Removed calls to 'i2c_del_adapter' (function is undefined)
Defining function release_resource as symbolic
Defining function pci_bus_write_config_dword as symbolic
Defining function pci_bus_read_config_byte as symbolic
Defining function pci_bus_write_config_byte as symbolic
Defining function drm_irq_uninstall as symbolic
Defining function unregister_framebuffer as symbolic
Defining function vga_switcheroo_process_delayed_switch as symbolic
Defining function drm_fb_helper_restore_fbdev_mode_unlocked as symbolic
Defining function idr_for_each as symbolic
Removed calls to 'idr_init' (function is undefined)
Removed calls to '__init_waitqueue_head' (function is undefined)
Defining function pci_iomap as symbolic
Defining function arch_phys_wc_add as symbolic
Defining function __alloc_workqueue_key as symbolic
Removed calls to 'pm_qos_add_request' (function is undefined)
Defining function drm_vblank_init as symbolic
Defining function acpi_video_register as symbolic
Removed calls to '__symbol_put' (function is undefined)
Removed calls to 'pm_runtime_set_autosuspend_delay' (function is undefined)
Removed calls to '__pm_runtime_use_autosuspend' (function is undefined)
Defining function component_add as symbolic
Defining function __pm_runtime_set_status as symbolic
Defining function __symbol_get as symbolic
Defining function sysfs_merge_group as symbolic
Defining function device_create_bin_file as symbolic
Defining function sysfs_create_files as symbolic
Defining function sysfs_create_bin_file as symbolic
Removed calls to 'pci_unmap_rom' (function is undefined)
Defining function vga_switcheroo_register_client as symbolic
Removed calls to 'drm_mode_config_init' (function is undefined)
Removed calls to 'drm_object_attach_property' (function is undefined)
Removed calls to 'drm_helper_move_panel_connectors_to_head' (function is undefined)
Removed calls to 'drm_framebuffer_reference' (function is undefined)
Removed calls to 'drm_fb_helper_prepare' (function is undefined)
Defining function async_schedule as symbolic
Defining function drm_fb_helper_initial_config as symbolic
Defining function drm_fb_helper_init as symbolic
Defining function drm_fb_helper_single_add_all_connectors as symbolic
Defining function backlight_device_register as symbolic
Defining function drm_mm_reserve_node as symbolic
Removed calls to 'drm_connector_cleanup' (function is undefined)
Removed calls to 'drm_encoder_cleanup' (function is undefined)
Removed calls to 'drm_connector_unregister' (function is undefined)
Defining function drm_connector_init as symbolic
Defining function drm_encoder_init as symbolic
Defining function drm_mode_create_tv_properties as symbolic
Defining function drm_connector_register as symbolic
Defining function drm_mode_connector_attach_encoder as symbolic
Removed calls to 'drm_mode_set_name' (function is undefined)
Defining function drm_panel_attach as symbolic
Defining function drm_mode_duplicate as symbolic
Defining function drm_mode_create_aspect_ratio_property as symbolic
Defining function drm_property_create_enum as symbolic
Defining function drm_hdmi_vendor_infoframe_from_display_mode as symbolic
Defining function hdmi_infoframe_pack as symbolic
Defining function hdmi_spd_infoframe_init as symbolic
Defining function drm_hdmi_avi_infoframe_from_display_mode as symbolic
Defining function drm_select_eld as symbolic
Defining function drm_av_sync_delay as symbolic
Defining function drm_match_cea_mode as symbolic
Defining function snprintf as symbolic
Defining function drm_property_create_range as symbolic
Removed calls to 'sysfs_remove_link' (function is undefined)
Defining function sysfs_create_link as symbolic
Defining function drm_property_create as symbolic
Defining function drm_property_add_enum as symbolic
Defining function i2c_add_adapter as symbolic
Removed calls to 'drm_dp_aux_unregister' (function is undefined)
Removed calls to 'drm_edid_to_eld' (function is undefined)
Defining function drm_mode_create_scaling_mode_property as symbolic
Defining function drm_get_edid as symbolic
Defining function drm_add_edid_modes as symbolic
Defining function drm_mode_connector_update_edid_property as symbolic
Defining function register_reboot_notifier as symbolic
Defining function schedule_timeout_uninterruptible as symbolic
Defining function drm_dp_mst_topology_mgr_init as symbolic
Removed calls to 'drm_dp_mst_reset_vcpi_slots' (function is undefined)
Removed calls to 'drm_dp_mst_deallocate_vcpi' (function is undefined)
Defining function drm_dp_check_act_status as symbolic
Defining function drm_dp_update_payload_part2 as symbolic
Defining function drm_dp_mst_allocate_vcpi as symbolic
Defining function drm_dp_update_payload_part1 as symbolic
Defining function drm_dp_link_rate_to_bw_code as symbolic
Defining function drm_dp_calc_pbn_mode as symbolic
Defining function drm_dp_find_vcpi_slots as symbolic
Defining function drm_dp_aux_register as symbolic
Removed calls to 'pm_qos_update_request' (function is undefined)
Defining function dmi_check_system as symbolic
Defining function acpi_lid_notifier_register as symbolic
Defining function acpi_lid_open as symbolic
Removed calls to 'drm_rect_rotate' (function is undefined)
Removed calls to 'drm_rect_debug_print' (function is undefined)
Removed calls to 'drm_rect_rotate_inv' (function is undefined)
Defining function drm_universal_plane_init as symbolic
Defining function drm_mode_create_rotation_property as symbolic
Defining function drm_rect_calc_hscale_relaxed as symbolic
Defining function drm_rect_calc_vscale_relaxed as symbolic
Defining function drm_rect_clip_scaled as symbolic
Defining function drm_rect_calc_hscale as symbolic
Defining function drm_rect_calc_vscale as symbolic
Defining function drm_crtc_init_with_planes as symbolic
Defining function drm_mode_crtc_set_gamma_size as symbolic
Defining function drm_crtc_index as symbolic
Defining function drm_plane_helper_check_update as symbolic
Removed calls to 'drm_crtc_vblank_off' (function is undefined)
Defining function drm_crtc_vblank_get as symbolic
Defining function drm_irq_install as symbolic
Defining function __devm_request_region as symbolic
Defining function pci_get_class as symbolic
Defining function acpi_get_name as symbolic
Defining function acpi_check_dsm as symbolic
Defining function acpi_evaluate_dsm as symbolic
Defining function pci_map_rom as symbolic
Defining function pci_enable_msi_range as symbolic
Defining function kmem_cache_create as symbolic
Defining function register_shrinker as symbolic
Defining function register_oom_notifier as symbolic
Defining function schedule_timeout_killable as symbolic
Defining function mutex_trylock as symbolic
Defining function __usecs_to_jiffies as symbolic
Defining function pnp_range_reserved as symbolic
Defining function pcibios_align_resource as symbolic
Defining function pci_bus_alloc_resource as symbolic
Defining function drm_vblank_count as symbolic
Defining function drm_crtc_vblank_count as symbolic
Defining function drm_handle_vblank as symbolic
Defining function ktime_get as symbolic
Defining function drm_calc_vbltimestamp_from_scanoutpos as symbolic
Removed calls to 'ldv__builtin_va_start' (function is undefined)
Removed calls to 'ldv__builtin_va_end' (function is undefined)
Defining function vscnprintf as symbolic
Removed calls to 'do_gettimeofday' (function is undefined)
Defining function kobject_uevent_env as symbolic
Defining function get_seconds as symbolic
Defining function scnprintf as symbolic
Removed calls to 'trace_hardirqs_off' (function is undefined)
Removed calls to 'drm_clflush_pages' (function is undefined)
Removed calls to 'trace_hardirqs_on' (function is undefined)
Defining function pid_task as symbolic
Defining function kasprintf as symbolic
Defining function drm_get_connector_status_name as symbolic
Defining function dma_supported as symbolic
Defining function con_is_bound as symbolic
Defining function do_take_over_console as symbolic
Defining function do_unregister_con_driver as symbolic
Defining function remove_conflicting_framebuffers as symbolic
Removed calls to 'intel_gtt_get' (function is undefined)
Removed calls to 'intel_gmch_remove' (function is undefined)
Defining function ioremap_nocache as symbolic
Defining function set_pages_uc as symbolic
Defining function dma_set_mask as symbolic
Defining function set_pages_wb as symbolic
Defining function intel_gmch_probe as symbolic
Removed calls to 'intel_gtt_insert_sg_entries' (function is undefined)
Removed calls to 'intel_gtt_clear_range' (function is undefined)
Removed calls to 'release_firmware' (function is undefined)
Defining function request_firmware_nowait as symbolic
Defining function pci_get_domain_bus_and_slot as symbolic
Removed calls to 'cpufreq_cpu_put' (function is undefined)
Defining function cpufreq_cpu_get as symbolic
Defining function vm_insert_pfn as symbolic
Defining function noop_llseek as symbolic
Defining function drm_read as symbolic
Defining function drm_poll as symbolic
Defining function drm_ioctl as symbolic
Defining function drm_gem_mmap as symbolic
Defining function drm_open as symbolic
Defining function drm_release as symbolic
Defining function drm_compat_ioctl as symbolic
Removed calls to 'drm_put_dev' (function is undefined)
Defining function drm_get_pci_dev as symbolic
Defining function kstrtouint as symbolic
Defining function __memmove as symbolic
Defining function vsnprintf as symbolic
Defining function compat_alloc_user_space as symbolic
Removed calls to 'schedule' (function is undefined)
Defining function generic_file_llseek as symbolic
Defining function simple_attr_read as symbolic
Defining function simple_attr_write as symbolic
Defining function simple_attr_release as symbolic
Defining function simple_attr_open as symbolic
Defining function default_llseek as symbolic
Defining function simple_read_from_buffer as symbolic
Defining function seq_lseek as symbolic
Defining function seq_read as symbolic
Defining function single_release as symbolic
Defining function single_open as symbolic
Defining function skip_spaces as symbolic
Defining function sscanf as symbolic
Defining function kstrtoint as symbolic
Removed calls to 'list_sort' (function is undefined)
Removed calls to 'drm_dp_mst_dump_topology' (function is undefined)
Defining function seq_putc as symbolic
Defining function drm_get_subpixel_order_name as symbolic
Defining function work_busy as symbolic
Defining function get_pid_task as symbolic
Defining function seq_write as symbolic
Removed calls to 'dma_buf_unmap_attachment' (function is undefined)
Defining function dma_buf_map_attachment as symbolic
Removed calls to 'put_page' (function is undefined)
Removed calls to 'mark_page_accessed' (function is undefined)
Removed calls to 'drm_pci_free' (function is undefined)
Defining function shmem_read_mapping_page_gfp as symbolic
Defining function swiotlb_nr_tbl as symbolic
Removed calls to 'release_pages' (function is undefined)
Removed calls to 'interval_tree_remove' (function is undefined)
Removed calls to 'mmu_notifier_unregister' (function is undefined)
Removed calls to '__mmdrop' (function is undefined)
Defining function __get_user_pages_fast as symbolic
Removed calls to 'down_read' (function is undefined)
Removed calls to 'up_read' (function is undefined)
Removed calls to '__put_task_struct' (function is undefined)
Defining function sg_alloc_table_from_pages as symbolic
Defining function get_user_pages as symbolic
Defining function interval_tree_iter_next as symbolic
Removed calls to 'drm_framebuffer_cleanup' (function is undefined)
Removed calls to 'drm_atomic_helper_wait_for_vblanks' (function is undefined)
Defining function drm_fb_helper_hotplug_event as symbolic
Removed calls to 'drm_crtc_cleanup' (function is undefined)
Removed calls to '__drm_atomic_helper_crtc_duplicate_state' (function is undefined)
Removed calls to 'drm_atomic_helper_crtc_destroy_state' (function is undefined)
Defining function drm_atomic_set_crtc_for_connector as symbolic
Defining function drm_atomic_connectors_for_crtc as symbolic
Removed calls to 'drm_fb_helper_fill_fix' (function is undefined)
Removed calls to 'drm_fb_helper_fill_var' (function is undefined)
Removed calls to 'vga_switcheroo_client_fb_set' (function is undefined)
Defining function drm_pick_cmdline_mode as symbolic
Defining function drm_has_preferred_mode as symbolic
Defining function framebuffer_alloc as symbolic
Defining function fb_alloc_cmap as symbolic
Defining function drm_fb_helper_check_var as symbolic
Defining function drm_fb_helper_setcmap as symbolic
Defining function drm_fb_helper_debug_enter as symbolic
Defining function drm_fb_helper_debug_leave as symbolic
Defining function drm_fb_helper_pan_display as symbolic
Defining function drm_fb_helper_blank as symbolic
Defining function drm_fb_helper_set_par as symbolic
Removed calls to 'drm_modeset_acquire_init' (function is undefined)
Removed calls to 'drm_modeset_drop_locks' (function is undefined)
Removed calls to 'drm_modeset_acquire_fini' (function is undefined)
Defining function drm_helper_probe_single_connector_modes as symbolic
Defining function drm_atomic_helper_connector_duplicate_state as symbolic
Removed calls to 'drm_dp_mst_topology_mgr_destroy' (function is undefined)
Defining function unregister_reboot_notifier as symbolic
Defining function drm_detect_monitor_audio as symbolic
Defining function drm_edid_duplicate as symbolic
Removed calls to 'drm_mode_destroy' (function is undefined)
Defining function drm_probe_ddc as symbolic
Removed calls to 'drm_mode_probed_add' (function is undefined)
Removed calls to 'drm_reinit_primary_mode_group' (function is undefined)
Defining function drm_fb_helper_remove_one_connector as symbolic
Defining function drm_mode_connector_set_path_property as symbolic
Defining function drm_fb_helper_add_one_connector as symbolic
Defining function drm_dp_mst_detect_port as symbolic
Defining function drm_dp_mst_get_edid as symbolic
Removed calls to 'drm_panel_remove' (function is undefined)
Defining function drm_panel_detach as symbolic
Defining function mipi_dsi_create_packet as symbolic
Removed calls to 'drm_panel_init' (function is undefined)
Defining function drm_panel_add as symbolic
Defining function mipi_dsi_attach as symbolic
Defining function devm_kmalloc as symbolic
Defining function mipi_dsi_generic_write as symbolic
Defining function mipi_dsi_dcs_write_buffer as symbolic
Defining function drm_rgb_quant_range_selectable as symbolic
Defining function drm_detect_hdmi_monitor as symbolic
Defining function acpi_lid_notifier_unregister as symbolic
Defining function drm_mode_vrefresh as symbolic
Defining function drm_mode_create as symbolic
Removed calls to 'ldv_initialize' (function is undefined)
Removed calls to 'drm_gem_vm_close' (function is undefined)
Removed calls to 'drm_gem_vm_open' (function is undefined)
Removed calls to 'drm_pci_exit' (function is undefined)
Removed calls to 'trace_seq_printf' (function is undefined)
Removed calls to 'drm_atomic_helper_connector_destroy_state' (function is undefined)
Defining function ldv_resume_noirq_191 as symbolic
Defining function ldv_freeze_noirq_191 as symbolic
Defining function ldv_prepare_191 as symbolic
Defining function ldv_thaw_noirq_191 as symbolic
Defining function ldv_poweroff_noirq_191 as symbolic
Defining function ldv_restore_noirq_191 as symbolic
Defining function ldv_suspend_noirq_191 as symbolic
Defining function ldv_complete_191 as symbolic
Defining function ldv_shutdown_187 as symbolic
Removed calls to 'cfb_fillrect' (function is undefined)
Removed calls to 'cfb_copyarea' (function is undefined)
Removed calls to 'cfb_imageblit' (function is undefined)
Defining function ldv_release_188 as symbolic
Removed calls to 'drm_gem_dmabuf_release' (function is undefined)
Defining function ldv_release_171 as symbolic
Defining function ldv_probe_171 as symbolic
Defining function trace_raw_output_prep as symbolic
Defining function ldv_probe_38 as symbolic
Defining function ldv_probe_51 as symbolic
Defining function trace_event_reg as symbolic
Defining function trace_event_raw_init as symbolic
Defining function trace_define_field as symbolic
Defining function ldv_probe_36 as symbolic
Defining function ldv_release_46 as symbolic
Defining function ldv_open_46 as symbolic
Defining function ldv_close_46 as symbolic
Defining function ldv_probe_46 as symbolic
Defining function ldv_probe_53 as symbolic
Defining function ldv_setup_59 as symbolic
Defining function ldv_probe_28 as symbolic
Defining function ldv_probe_30 as symbolic
Defining function ldv_probe_141 as symbolic
Defining function ldv_probe_70 as symbolic
Defining function ldv_probe_54 as symbolic
Defining function ldv_probe_45 as symbolic
Defining function ldv_probe_41 as symbolic
Defining function ldv_setup_64 as symbolic
Defining function ldv_probe_39 as symbolic
Defining function ldv_probe_50 as symbolic
Defining function ldv_probe_48 as symbolic
Defining function ldv_setup_61 as symbolic
Defining function ldv_release_180 as symbolic
Defining function ldv_probe_180 as symbolic
Defining function ldv_probe_26 as symbolic
Defining function ldv_setup_63 as symbolic
Defining function ldv_probe_33 as symbolic
Defining function ldv_probe_43 as symbolic
Defining function vgacon_text_force as symbolic
Defining function drm_pci_init as symbolic
Defining function ldv_release_181 as symbolic
Defining function ldv_probe_181 as symbolic
Defining function ldv_probe_24 as symbolic
Defining function ldv_probe_69 as symbolic
Defining function ldv_probe_135 as symbolic
Defining function ldv_probe_139 as symbolic
Defining function ldv_setup_62 as symbolic
Defining function ldv_setup_60 as symbolic
Defining function ldv_probe_137 as symbolic
Defining function ldv_probe_57 as symbolic
Defining function ldv_probe_55 as symbolic
Defining function ldv_probe_71 as symbolic
Defining function ldv_probe_32 as symbolic
Linked our definitions to these undefined functions:
  memcmp
  strcmp
  strcpy
  strlen
  strncpy
  __kmalloc
  kfree
  __VERIFIER_assume
  __VERIFIER_calloc0
  __VERIFIER_error
  __VERIFIER_exit
  __VERIFIER_make_symbolic
  __VERIFIER_malloc0
  __VERIFIER_nondet_int_named
  __VERIFIER_nondet_pointer_named
  __VERIFIER_nondet_ulong_named
INFO: After-slicing optimizations and preparation time: 13.0177259445
INFO: Before verification stats: Globals/Functions/Blocks/Instr.: 3303 3180 28996 202228
INFO: Starting verification
KLEE: WARNING ONCE: function "__i915_chipset_val" has inline asm
KLEE: WARNING ONCE: function "__i915_gfx_val" has inline asm
KLEE: WARNING ONCE: function "__i915_update_gfx_val" has inline asm
KLEE: WARNING ONCE: function "ironlake_set_drps" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_ggtt_unpin_view" has inline asm
KLEE: WARNING ONCE: function "i915_gem_write_fence" has inline asm
KLEE: WARNING ONCE: function "i915_gem_obj_size" has inline asm
KLEE: WARNING ONCE: function "i915_wait_request" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_unreference___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_free" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_free" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___1" has inline asm
KLEE: WARNING ONCE: function "i915_ppgtt_release" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___1" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___4" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___11" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___10" has inline asm
KLEE: WARNING ONCE: function "__i915_wait_request" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_retire" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___5" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___7" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_completed___1" has inline asm
KLEE: WARNING ONCE: function "__i915_add_request" has inline asm
KLEE: WARNING ONCE: function "kref_get___5" has inline asm
KLEE: WARNING ONCE: function "vlv_sideband_rw" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___8" has inline asm
KLEE: WARNING ONCE: function "trace_i915_gem_ring_flush" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___8" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___11" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_sync" has inline asm
KLEE: WARNING ONCE: function "trace_i915_gem_object_change_domain___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_clflush_object" has inline asm
KLEE: WARNING ONCE: function "intel_fbc_update" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_do_pin" has inline asm
KLEE: WARNING ONCE: function "i915_vma_unbind" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_pin_pages___1" has inline asm
KLEE: WARNING ONCE: function "i915_gem_evict_something" has inline asm
KLEE: WARNING ONCE: function "i915_vma_bind" has inline asm
KLEE: WARNING ONCE: function "i915_gem_vma_destroy" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_unpin_pages___2" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_sg_attrs" has inline asm
KLEE: WARNING ONCE: function "i915_switch_context" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_reference" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_unreference" has inline asm
KLEE: WARNING ONCE: function "trace_switch_mm" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_set_to_gtt_domain" has inline asm
KLEE: WARNING ONCE: function "mi_set_context" has inline asm
KLEE: WARNING ONCE: function "i915_vma_move_to_active" has inline asm
KLEE: WARNING ONCE: function "kref_get___9" has inline asm
KLEE: WARNING ONCE: function "intel_ring_init_seqno" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_unreference___1" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___5" has inline asm
KLEE: WARNING ONCE: function "dma_map_sg_attrs" has inline asm
KLEE: WARNING ONCE: function "sg_page___2" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___2" has inline asm
KLEE: WARNING ONCE: function "__i915_gem_vma_create" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_finish_gtt" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_put_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_execbuffer" has inline asm
KLEE: WARNING ONCE: function "i915_gem_pread_ioctl" has inline asm
KLEE: WARNING ONCE: function "i915_gem_pwrite_ioctl" has inline asm
KLEE: WARNING ONCE: function "i915_gem_mmap_ioctl" has inline asm
KLEE: WARNING ONCE: function "i915_gem_set_tiling" has inline asm
KLEE: WARNING ONCE: function "i915_gem_execbuffer2" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_ioctl" has inline asm
KLEE: WARNING ONCE: function "kref_get___7" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference_unlocked" has inline asm
KLEE: WARNING ONCE: function "i915_gem_create_context" has inline asm
KLEE: WARNING ONCE: function "i915_ppgtt_create" has inline asm
KLEE: WARNING ONCE: function "__hw_ppgtt_init" has inline asm
KLEE: WARNING ONCE: function "gen6_initialize_pt" has inline asm
KLEE: WARNING ONCE: function "gen6_alloc_va_range" has inline asm
KLEE: WARNING ONCE: function "gen6_ppgtt_clear_range" has inline asm
KLEE: WARNING ONCE: function "gen6_ppgtt_insert_entries" has inline asm
KLEE: WARNING ONCE: function "gen6_dump_ppgtt" has inline asm
KLEE: WARNING ONCE: function "gen6_write_page_range" has inline asm
KLEE: WARNING ONCE: function "gen8_initialize_pt" has inline asm
KLEE: WARNING ONCE: function "gen8_initialize_pd" has inline asm
KLEE: WARNING ONCE: function "gen8_alloc_va_range" has inline asm
KLEE: WARNING ONCE: function "gen8_ppgtt_insert_entries" has inline asm
KLEE: WARNING ONCE: function "gen8_ppgtt_clear_range" has inline asm
KLEE: WARNING ONCE: function "gen8_mm_switch" has inline asm
KLEE: WARNING ONCE: function "pagefault_enable" has inline asm
KLEE: WARNING ONCE: function "get_pd_offset" has inline asm
KLEE: WARNING ONCE: function "i915_gem_alloc_object" has inline asm
KLEE: WARNING ONCE: function "_i915_gem_object_create_stolen" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_pin_pages" has inline asm
KLEE: WARNING ONCE: function "kref_put_mutex___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_do_execbuffer" has inline asm
KLEE: WARNING ONCE: function "intel_lr_context_deferred_create" has inline asm
KLEE: WARNING ONCE: function "kref_get___3" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_unreference___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_execbuffer_relocate_entry" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___4" has inline asm
KLEE: WARNING ONCE: function "i915_gem_batch_pool_get" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_unpin_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_set_to_cpu_domain" has inline asm
KLEE: WARNING ONCE: function "sg_page___0" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_evict_vm" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_assign___4" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference_unlocked___3" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___13" has inline asm
KLEE: WARNING ONCE: function "i915_gem_shrink" has inline asm
KLEE: WARNING ONCE: function "i915_gem_evict_everything" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___8" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_wait_rendering__nonblocking" has inline asm
KLEE: WARNING ONCE: function "sg_page_iter_page___1" has inline asm
KLEE: WARNING ONCE: function "i915_driver_load" has inline asm
KLEE: WARNING ONCE: function "i915_gem_free_object" has inline asm
KLEE: WARNING ONCE: function "i915_gem_prime_import" has inline asm
KLEE: WARNING ONCE: function "i915_drm_resume" has inline asm
KLEE: WARNING ONCE: function "swsci" has inline asm
KLEE: WARNING ONCE: function "intel_dp_set_idle_link_train" has inline asm
KLEE: WARNING ONCE: function "vlv_dport_to_channel" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___12" has inline asm
KLEE: WARNING ONCE: function "intel_get_load_detect_pipe" has inline asm
KLEE: WARNING ONCE: function "intel_modeset_check_state" has inline asm
KLEE: WARNING ONCE: function "intel_modeset_compute_config" has inline asm
KLEE: WARNING ONCE: function "hsw_enable_ips" has inline asm
KLEE: WARNING ONCE: function "intel_set_cpu_fifo_underrun_reporting" has inline asm
KLEE: WARNING ONCE: function "i9xx_set_fifo_underrun_reporting" has inline asm
KLEE: WARNING ONCE: function "ironlake_enable_display_irq" has inline asm
KLEE: WARNING ONCE: function "ironlake_disable_display_irq" has inline asm
KLEE: WARNING ONCE: function "broadwell_set_fifo_underrun_reporting" has inline asm
KLEE: WARNING ONCE: function "sandybridge_pcode_write" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___5" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___13" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___0" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___0" has inline asm
KLEE: WARNING ONCE: function "i845_update_cursor" has inline asm
KLEE: WARNING ONCE: function "compute_m_n" has inline asm
KLEE: WARNING ONCE: function "intel_atomic_setup_scalers" has inline asm
KLEE: WARNING ONCE: function "i915_disable_vga" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___12" has inline asm
KLEE: WARNING ONCE: function "hsw_disable_ips" has inline asm
KLEE: WARNING ONCE: function "page_flip_completed" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___10" has inline asm
KLEE: WARNING ONCE: function "intel_prepare_ddi" has inline asm
KLEE: WARNING ONCE: function "intel_enable_gt_powersave" has inline asm
KLEE: WARNING ONCE: function "intel_runtime_pm_get_noresume" has inline asm
KLEE: WARNING ONCE: function "ddi_get_encoder_port" has inline asm
KLEE: WARNING ONCE: function "i915_gem_init_swizzling" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_enable" has inline asm
KLEE: WARNING ONCE: function "ironlake_init_pch_refclk" has inline asm
KLEE: WARNING ONCE: function "lpt_init_pch_refclk" has inline asm
KLEE: WARNING ONCE: function "intel_sbi_read" has inline asm
KLEE: WARNING ONCE: function "intel_sbi_write" has inline asm
KLEE: WARNING ONCE: function "vlv_resume_prepare" has inline asm
KLEE: WARNING ONCE: function "__intel_uncore_early_sanitize" has inline asm
KLEE: WARNING ONCE: function "skl_init_cdclk" has inline asm
KLEE: WARNING ONCE: function "hsw_disable_pc8" has inline asm
KLEE: WARNING ONCE: function "trace_intel_gpu_freq_change" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held" has inline asm
KLEE: WARNING ONCE: function "snb_update_pm_irq" has inline asm
KLEE: WARNING ONCE: function "sandybridge_pcode_read" has inline asm
KLEE: WARNING ONCE: function "broxton_phy_init" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___11" has inline asm
KLEE: WARNING ONCE: function "broxton_set_cdclk" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_forcewake_reset" has inline asm
KLEE: WARNING ONCE: function "fw_domain_reset" has inline asm
KLEE: WARNING ONCE: function "vlv_force_gfx_clock" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep" has inline asm
KLEE: WARNING ONCE: function "skl_uninit_cdclk" has inline asm
KLEE: WARNING ONCE: function "hsw_enable_pc8" has inline asm
KLEE: WARNING ONCE: function "intel_gpu_reset" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___4" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___12" has inline asm
KLEE: WARNING ONCE: function "kref_put___10" has inline asm
KLEE: WARNING ONCE: function "intel_cleanup_gt_powersave" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_init" has inline asm
KLEE: WARNING ONCE: function "intel_modeset_init" has inline asm
KLEE: WARNING ONCE: function "i915_gem_init" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_create_stolen_for_preallocated" has inline asm
KLEE: WARNING ONCE: function "i915_gem_ringbuffer_submission" has inline asm
KLEE: WARNING ONCE: function "intel_execlists_submission" has inline asm
KLEE: WARNING ONCE: function "intel_cleanup_ring_buffer" has inline asm
KLEE: WARNING ONCE: function "intel_logical_ring_stop" has inline asm
KLEE: WARNING ONCE: function "i915_gem_init_global_gtt" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_init" has inline asm
KLEE: WARNING ONCE: function "stop_ring" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___3" has inline asm
KLEE: WARNING ONCE: function "i915_cmd_parser_init_ring" has inline asm
KLEE: WARNING ONCE: function "execlists_context_unqueue" has inline asm
KLEE: WARNING ONCE: function "execlists_submit_contexts" has inline asm
KLEE: WARNING ONCE: function "execlists_update_context" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_forcewake_get__locked" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_forcewake_put__locked" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___2" has inline asm
KLEE: WARNING ONCE: function "init_workarounds_ring" has inline asm
KLEE: WARNING ONCE: function "gen8_xcs_signal" has inline asm
KLEE: WARNING ONCE: function "init_ring_common" has inline asm
KLEE: WARNING ONCE: function "intel_init_ring_buffer" has inline asm
KLEE: WARNING ONCE: function "gen6_signal" has inline asm
KLEE: WARNING ONCE: function "ilk_update_gt_irq" has inline asm
KLEE: WARNING ONCE: function "gen6_bsd_ring_write_tail" has inline asm
KLEE: WARNING ONCE: function "gen8_rcs_signal" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___7" has inline asm
KLEE: WARNING ONCE: function "i915_gem_execbuffer_move_to_active" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_assign" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___3" has inline asm
KLEE: WARNING ONCE: function "haswell_crtc_enable" has inline asm
KLEE: WARNING ONCE: function "haswell_crtc_disable" has inline asm
KLEE: WARNING ONCE: function "ironlake_update_primary_plane" has inline asm
KLEE: WARNING ONCE: function "ironlake_crtc_enable" has inline asm
KLEE: WARNING ONCE: function "ironlake_crtc_disable" has inline asm
KLEE: WARNING ONCE: function "i9xx_update_primary_plane" has inline asm
KLEE: WARNING ONCE: function "i9xx_crtc_enable" has inline asm
KLEE: WARNING ONCE: function "intel_check_cursor_plane" has inline asm
KLEE: WARNING ONCE: function "intel_sdvo_init" has inline asm
KLEE: WARNING ONCE: function "intel_psr_work" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___7" has inline asm
KLEE: WARNING ONCE: function "i9xx_crtc_clock_get" has inline asm
KLEE: WARNING ONCE: function "intel_dsi_post_disable" has inline asm
KLEE: WARNING ONCE: function "wait_for_dsi_fifo_empty" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___14" has inline asm
KLEE: WARNING ONCE: function "dpi_send_cmd" has inline asm
KLEE: WARNING ONCE: function "vlv_enable_dsi_pll" has inline asm
KLEE: WARNING ONCE: function "intel_hdmi_init_connector" has inline asm
KLEE: WARNING ONCE: function "vlv_dport_to_channel___0" has inline asm
KLEE: WARNING ONCE: function "vlv_wait_port_ready" has inline asm
KLEE: WARNING ONCE: function "intel_sdvo_write_cmd" has inline asm
KLEE: WARNING ONCE: function "intel_sdvo_read_response" has inline asm
KLEE: WARNING ONCE: function "intel_dp_init_connector" has inline asm
KLEE: WARNING ONCE: function "vlv_power_sequencer_pipe" has inline asm
KLEE: WARNING ONCE: function "vlv_pipe_to_channel" has inline asm
KLEE: WARNING ONCE: function "chv_enable_pll" has inline asm
KLEE: WARNING ONCE: function "vlv_enable_pll" has inline asm
KLEE: WARNING ONCE: function "intel_mst_enable_dp" has inline asm
KLEE: WARNING ONCE: function "intel_dp_aux_ch" has inline asm
KLEE: WARNING ONCE: function "wait_panel_status" has inline asm
KLEE: WARNING ONCE: function "intel_psr_disable" has inline asm
KLEE: WARNING ONCE: function "intel_enable_lvds" has inline asm
KLEE: WARNING ONCE: function "intel_disable_lvds" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___17" has inline asm
KLEE: WARNING ONCE: function "skl_ddi_pll_enable" has inline asm
KLEE: WARNING ONCE: function "bxt_ddi_pll_enable" has inline asm
KLEE: WARNING ONCE: function "ilk_update_plane" has inline asm
KLEE: WARNING ONCE: function "vlv_update_plane" has inline asm
KLEE: WARNING ONCE: function "ivb_update_plane" has inline asm
KLEE: WARNING ONCE: function "intel_check_sprite_plane" has inline asm
KLEE: WARNING ONCE: function "i9xx_set_pipeconf" has inline asm
KLEE: WARNING ONCE: function "intel_disable_pipe" has inline asm
KLEE: WARNING ONCE: function "intel_set_pch_fifo_underrun_reporting" has inline asm
KLEE: WARNING ONCE: function "intel_disable_shared_dpll" has inline asm
KLEE: WARNING ONCE: function "ibx_display_interrupt_update" has inline asm
KLEE: WARNING ONCE: function "intel_ddi_get_crtc_new_encoder" has inline asm
KLEE: WARNING ONCE: function "intel_ddi_get_crtc_encoder" has inline asm
KLEE: WARNING ONCE: function "intel_ddi_set_pipe_settings" has inline asm
KLEE: WARNING ONCE: function "intel_ddi_enable_transcoder_func" has inline asm
KLEE: WARNING ONCE: function "valleyview_update_wm" has inline asm
KLEE: WARNING ONCE: function "i8xx_fbc_disable" has inline asm
KLEE: WARNING ONCE: function "i915_gem_shrinker_oom" has inline asm
KLEE: WARNING ONCE: function "i915_gem_shrinker_lock" has inline asm
KLEE: WARNING ONCE: function "ivybridge_parity_work" has inline asm
KLEE: WARNING ONCE: function "i915_hangcheck_elapsed" has inline asm
KLEE: WARNING ONCE: function "i915_get_crtc_scanoutpos" has inline asm
KLEE: WARNING ONCE: function "i915_hpd_irq_setup" has inline asm
KLEE: WARNING ONCE: function "gen8_irq_handler" has inline asm
KLEE: WARNING ONCE: function "ironlake_irq_handler" has inline asm
KLEE: WARNING ONCE: function "i915_disable_pipestat" has inline asm
KLEE: WARNING ONCE: function "i915_enable_pipestat" has inline asm
KLEE: WARNING ONCE: function "notify_ring" has inline asm
KLEE: WARNING ONCE: function "intel_prepare_page_flip" has inline asm
KLEE: WARNING ONCE: function "intel_check_page_flip" has inline asm
KLEE: WARNING ONCE: function "intel_queue_rps_boost_for_request" has inline asm
KLEE: WARNING ONCE: function "__intel_rps_boost_work" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___6" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_check_errors" has inline asm
KLEE: WARNING ONCE: function "cpt_irq_handler" has inline asm
KLEE: WARNING ONCE: function "gen8_gt_irq_handler" has inline asm
KLEE: WARNING ONCE: function "execlists_check_remove_request" has inline asm
KLEE: WARNING ONCE: function "__intel_get_crtc_scanline" has inline asm
KLEE: WARNING ONCE: function "i915_handle_error" has inline asm
KLEE: WARNING ONCE: function "intel_lr_context_reset" has inline asm
KLEE: WARNING ONCE: function "i915_error_object_create" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock" has inline asm
KLEE: WARNING ONCE: function "rcu_read_unlock" has inline asm
KLEE: WARNING ONCE: function "intel_overlay_capture_error_state" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_restore" has inline asm
KLEE: WARNING ONCE: function "gen8_ggtt_clear_range" has inline asm
KLEE: WARNING ONCE: function "gen8_ggtt_insert_entries" has inline asm
KLEE: WARNING ONCE: function "sg_set_page" has inline asm
KLEE: WARNING ONCE: function "gen6_ggtt_clear_range" has inline asm
KLEE: WARNING ONCE: function "gen6_ggtt_insert_entries" has inline asm
KLEE: WARNING ONCE: function "i915_check_vgpu" has inline asm
KLEE: WARNING ONCE: function "fw_domains_get" has inline asm
KLEE: WARNING ONCE: function "fw_domains_put" has inline asm
KLEE: WARNING ONCE: function "fw_domains_get_with_thread_status" has inline asm
KLEE: WARNING ONCE: function "gen9_write8" has inline asm
KLEE: WARNING ONCE: function "gen9_write16" has inline asm
KLEE: WARNING ONCE: function "gen9_write32" has inline asm
KLEE: WARNING ONCE: function "gen9_write64" has inline asm
KLEE: WARNING ONCE: function "gen9_read8" has inline asm
KLEE: WARNING ONCE: function "gen9_read16" has inline asm
KLEE: WARNING ONCE: function "gen9_read32" has inline asm
KLEE: WARNING ONCE: function "gen9_read64" has inline asm
KLEE: WARNING ONCE: function "chv_write8" has inline asm
KLEE: WARNING ONCE: function "chv_write16" has inline asm
KLEE: WARNING ONCE: function "chv_write32" has inline asm
KLEE: WARNING ONCE: function "chv_write64" has inline asm
KLEE: WARNING ONCE: function "chv_read8" has inline asm
KLEE: WARNING ONCE: function "chv_read16" has inline asm
KLEE: WARNING ONCE: function "chv_read32" has inline asm
KLEE: WARNING ONCE: function "chv_read64" has inline asm
KLEE: WARNING ONCE: function "gen8_write8" has inline asm
KLEE: WARNING ONCE: function "gen8_write16" has inline asm
KLEE: WARNING ONCE: function "gen8_write32" has inline asm
KLEE: WARNING ONCE: function "gen8_write64" has inline asm
KLEE: WARNING ONCE: function "gen6_read8" has inline asm
KLEE: WARNING ONCE: function "gen6_read16" has inline asm
KLEE: WARNING ONCE: function "gen6_read32" has inline asm
KLEE: WARNING ONCE: function "gen6_read64" has inline asm
KLEE: WARNING ONCE: function "gen6_write8" has inline asm
KLEE: WARNING ONCE: function "hsw_write8" has inline asm
KLEE: WARNING ONCE: function "gen6_write16" has inline asm
KLEE: WARNING ONCE: function "hsw_write16" has inline asm
KLEE: WARNING ONCE: function "gen6_write32" has inline asm
KLEE: WARNING ONCE: function "hsw_write32" has inline asm
KLEE: WARNING ONCE: function "gen6_write64" has inline asm
KLEE: WARNING ONCE: function "hsw_write64" has inline asm
KLEE: WARNING ONCE: function "vlv_read8" has inline asm
KLEE: WARNING ONCE: function "vlv_read16" has inline asm
KLEE: WARNING ONCE: function "vlv_read32" has inline asm
KLEE: WARNING ONCE: function "vlv_read64" has inline asm
KLEE: WARNING ONCE: function "gen5_write8" has inline asm
KLEE: WARNING ONCE: function "gen5_write16" has inline asm
KLEE: WARNING ONCE: function "gen5_write32" has inline asm
KLEE: WARNING ONCE: function "gen5_write64" has inline asm
KLEE: WARNING ONCE: function "gen5_read8" has inline asm
KLEE: WARNING ONCE: function "gen5_read16" has inline asm
KLEE: WARNING ONCE: function "gen5_read32" has inline asm
KLEE: WARNING ONCE: function "gen5_read64" has inline asm
KLEE: WARNING ONCE: function "gen2_write8" has inline asm
KLEE: WARNING ONCE: function "gen2_write16" has inline asm
KLEE: WARNING ONCE: function "gen2_write32" has inline asm
KLEE: WARNING ONCE: function "gen2_write64" has inline asm
KLEE: WARNING ONCE: function "gen2_read8" has inline asm
KLEE: WARNING ONCE: function "gen2_read16" has inline asm
KLEE: WARNING ONCE: function "gen2_read32" has inline asm
KLEE: WARNING ONCE: function "gen2_read64" has inline asm
KLEE: WARNING ONCE: function "vgpu_write8" has inline asm
KLEE: WARNING ONCE: function "vgpu_write16" has inline asm
KLEE: WARNING ONCE: function "vgpu_write32" has inline asm
KLEE: WARNING ONCE: function "vgpu_write64" has inline asm
KLEE: WARNING ONCE: function "vgpu_read8" has inline asm
KLEE: WARNING ONCE: function "vgpu_read16" has inline asm
KLEE: WARNING ONCE: function "vgpu_read32" has inline asm
KLEE: WARNING ONCE: function "vgpu_read64" has inline asm
KLEE: WARNING ONCE: function "trace_i915_reg_rw___0" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___9" has inline asm
KLEE: WARNING ONCE: function "__gen6_gt_wait_for_fifo" has inline asm
KLEE: WARNING ONCE: function "hsw_unclaimed_reg_debug" has inline asm
KLEE: WARNING ONCE: function "gen6_gt_check_fifodbg" has inline asm
KLEE: WARNING ONCE: function "hsw_unclaimed_reg_detect" has inline asm
KLEE: WARNING ONCE: function "i915_gem_fault" has inline asm
KLEE: WARNING ONCE: function "gt_rp_mhz_show" has inline asm
KLEE: WARNING ONCE: function "i915_error_state_get" has inline asm
KLEE: WARNING ONCE: function "hsw_set_power_well" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___1" has inline asm
KLEE: WARNING ONCE: function "skl_set_power_well" has inline asm
KLEE: WARNING ONCE: function "valleyview_disable_display_irqs" has inline asm
KLEE: WARNING ONCE: function "vlv_set_power_well" has inline asm
KLEE: WARNING ONCE: function "valleyview_enable_display_irqs" has inline asm
KLEE: WARNING ONCE: function "compat_i915_batchbuffer" has inline asm
KLEE: WARNING ONCE: function "compat_i915_irq_emit" has inline asm
KLEE: WARNING ONCE: function "compat_i915_getparam" has inline asm
KLEE: WARNING ONCE: function "compat_i915_alloc" has inline asm
KLEE: WARNING ONCE: function "compat_i915_cmdbuffer" has inline asm
KLEE: WARNING ONCE: function "pipe_crc_data_count" has inline asm
KLEE: WARNING ONCE: function "i915_drpc_info" has inline asm
KLEE: WARNING ONCE: function "i915_dump_lrc" has inline asm
KLEE: WARNING ONCE: function "i915_energy_uJ" has inline asm
KLEE: WARNING ONCE: function "i915_semaphore_status" has inline asm
KLEE: WARNING ONCE: function "i915_sseu_status" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_page" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_pages_phys" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_put_pages_phys" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_pages_gtt" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_put_pages_gtt" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_save_bit_17_swizzle" has inline asm
KLEE: WARNING ONCE: function "sg_set_page___1" has inline asm
KLEE: WARNING ONCE: function "sg_mark_end" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_do_bit_17_swizzle" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_pages_stolen" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_get_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_put_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_release" has inline asm
KLEE: WARNING ONCE: function "__i915_mm_struct_free__worker" has inline asm
KLEE: WARNING ONCE: function "__i915_gem_userptr_get_pages_worker" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___9" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_mn_invalidate_range_start" has inline asm
KLEE: WARNING ONCE: function "intel_crtc_set_config" has inline asm
KLEE: WARNING ONCE: function "intel_crtc_page_flip" has inline asm
KLEE: WARNING ONCE: function "intel_unpin_work_fn" has inline asm
KLEE: WARNING ONCE: function "kref_get___11" has inline asm
KLEE: WARNING ONCE: function "intel_mmio_flip_work_func" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_assign___3" has inline asm
KLEE: WARNING ONCE: function "intel_pipe_update_start" has inline asm
KLEE: WARNING ONCE: function "intel_pipe_update_end" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___11" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_enable" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_disable___0" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___14" has inline asm
KLEE: WARNING ONCE: function "intel_crt_detect" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___10" has inline asm
KLEE: WARNING ONCE: function "intel_crt_detect_ddc" has inline asm
KLEE: WARNING ONCE: function "intel_dsi_host_transfer" has inline asm
KLEE: WARNING ONCE: function "gmbus_wait_hw_status" has inline asm
KLEE: WARNING ONCE: function "gmbus_wait_idle" has inline asm
KLEE: WARNING ONCE: function "intel_sdvo_detect" has inline asm
KLEE: WARNING ONCE: function "chv_set_pipe_power_well" has inline asm
KLEE: WARNING ONCE: function "chv_dpio_cmn_power_well_enable" has inline asm
KLEE: WARNING: undefined reference to function: cfb_copyarea
KLEE: WARNING: undefined reference to function: cfb_fillrect
KLEE: WARNING: undefined reference to function: cfb_imageblit
KLEE: WARNING: undefined reference to function: delayed_work_timer_fn
KLEE: WARNING: undefined reference to function: drm_atomic_helper_connector_destroy_state
KLEE: WARNING: undefined reference to function: drm_gem_dmabuf_release
KLEE: WARNING: undefined reference to function: drm_gem_vm_close
KLEE: WARNING: undefined reference to function: drm_gem_vm_open
KLEE: WARNING: undefined reference to variable: system_wq
KLEE: ERROR: unable to load symbol(system_wq) while initializing globals.
KLEE: output directory is "/tmp/symbiotic-0aZ1rK/klee-out-0"
KLEE: Using STP solver backend
KLEE: WARNING ONCE: function "__i915_chipset_val" has inline asm
KLEE: WARNING ONCE: function "__i915_gfx_val" has inline asm
KLEE: WARNING ONCE: function "__i915_update_gfx_val" has inline asm
KLEE: WARNING ONCE: function "ironlake_set_drps" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_ggtt_unpin_view" has inline asm
KLEE: WARNING ONCE: function "i915_gem_write_fence" has inline asm
KLEE: WARNING ONCE: function "i915_gem_obj_size" has inline asm
KLEE: WARNING ONCE: function "i915_wait_request" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_unreference___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_free" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_free" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___1" has inline asm
KLEE: WARNING ONCE: function "i915_ppgtt_release" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___1" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___4" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___11" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___10" has inline asm
KLEE: WARNING ONCE: function "__i915_wait_request" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_retire" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___5" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___7" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_completed___1" has inline asm
KLEE: WARNING ONCE: function "__i915_add_request" has inline asm
KLEE: WARNING ONCE: function "kref_get___5" has inline asm
KLEE: WARNING ONCE: function "vlv_sideband_rw" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___8" has inline asm
KLEE: WARNING ONCE: function "trace_i915_gem_ring_flush" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___8" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___11" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_sync" has inline asm
KLEE: WARNING ONCE: function "trace_i915_gem_object_change_domain___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_clflush_object" has inline asm
KLEE: WARNING ONCE: function "intel_fbc_update" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_do_pin" has inline asm
KLEE: WARNING ONCE: function "i915_vma_unbind" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_pin_pages___1" has inline asm
KLEE: WARNING ONCE: function "i915_gem_evict_something" has inline asm
KLEE: WARNING ONCE: function "i915_vma_bind" has inline asm
KLEE: WARNING ONCE: function "i915_gem_vma_destroy" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_unpin_pages___2" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_sg_attrs" has inline asm
KLEE: WARNING ONCE: function "i915_switch_context" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_reference" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_unreference" has inline asm
KLEE: WARNING ONCE: function "trace_switch_mm" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_set_to_gtt_domain" has inline asm
KLEE: WARNING ONCE: function "mi_set_context" has inline asm
KLEE: WARNING ONCE: function "i915_vma_move_to_active" has inline asm
KLEE: WARNING ONCE: function "kref_get___9" has inline asm
KLEE: WARNING ONCE: function "intel_ring_init_seqno" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_unreference___1" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___5" has inline asm
KLEE: WARNING ONCE: function "dma_map_sg_attrs" has inline asm
KLEE: WARNING ONCE: function "sg_page___2" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___2" has inline asm
KLEE: WARNING ONCE: function "__i915_gem_vma_create" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_finish_gtt" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_put_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_execbuffer" has inline asm
KLEE: WARNING ONCE: function "i915_gem_pread_ioctl" has inline asm
KLEE: WARNING ONCE: function "i915_gem_pwrite_ioctl" has inline asm
KLEE: WARNING ONCE: function "i915_gem_mmap_ioctl" has inline asm
KLEE: WARNING ONCE: function "i915_gem_set_tiling" has inline asm
KLEE: WARNING ONCE: function "i915_gem_execbuffer2" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_ioctl" has inline asm
KLEE: WARNING ONCE: function "kref_get___7" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference_unlocked" has inline asm
KLEE: WARNING ONCE: function "i915_gem_create_context" has inline asm
KLEE: WARNING ONCE: function "i915_ppgtt_create" has inline asm
KLEE: WARNING ONCE: function "__hw_ppgtt_init" has inline asm
KLEE: WARNING ONCE: function "gen6_initialize_pt" has inline asm
KLEE: WARNING ONCE: function "gen6_alloc_va_range" has inline asm
KLEE: WARNING ONCE: function "gen6_ppgtt_clear_range" has inline asm
KLEE: WARNING ONCE: function "gen6_ppgtt_insert_entries" has inline asm
KLEE: WARNING ONCE: function "gen6_dump_ppgtt" has inline asm
KLEE: WARNING ONCE: function "gen6_write_page_range" has inline asm
KLEE: WARNING ONCE: function "gen8_initialize_pt" has inline asm
KLEE: WARNING ONCE: function "gen8_initialize_pd" has inline asm
KLEE: WARNING ONCE: function "gen8_alloc_va_range" has inline asm
KLEE: WARNING ONCE: function "gen8_ppgtt_insert_entries" has inline asm
KLEE: WARNING ONCE: function "gen8_ppgtt_clear_range" has inline asm
KLEE: WARNING ONCE: function "gen8_mm_switch" has inline asm
KLEE: WARNING ONCE: function "pagefault_enable" has inline asm
KLEE: WARNING ONCE: function "get_pd_offset" has inline asm
KLEE: WARNING ONCE: function "i915_gem_alloc_object" has inline asm
KLEE: WARNING ONCE: function "_i915_gem_object_create_stolen" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_pin_pages" has inline asm
KLEE: WARNING ONCE: function "kref_put_mutex___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_do_execbuffer" has inline asm
KLEE: WARNING ONCE: function "intel_lr_context_deferred_create" has inline asm
KLEE: WARNING ONCE: function "kref_get___3" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_unreference___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_execbuffer_relocate_entry" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___4" has inline asm
KLEE: WARNING ONCE: function "i915_gem_batch_pool_get" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_unpin_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_set_to_cpu_domain" has inline asm
KLEE: WARNING ONCE: function "sg_page___0" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_evict_vm" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_assign___4" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference_unlocked___3" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___13" has inline asm
KLEE: WARNING ONCE: function "i915_gem_shrink" has inline asm
KLEE: WARNING ONCE: function "i915_gem_evict_everything" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___8" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_wait_rendering__nonblocking" has inline asm
KLEE: WARNING ONCE: function "sg_page_iter_page___1" has inline asm
KLEE: WARNING ONCE: function "i915_driver_load" has inline asm
KLEE: WARNING ONCE: function "i915_gem_free_object" has inline asm
KLEE: WARNING ONCE: function "i915_gem_prime_import" has inline asm
KLEE: WARNING ONCE: function "i915_drm_resume" has inline asm
KLEE: WARNING ONCE: function "swsci" has inline asm
KLEE: WARNING ONCE: function "intel_dp_set_idle_link_train" has inline asm
KLEE: WARNING ONCE: function "vlv_dport_to_channel" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___12" has inline asm
KLEE: WARNING ONCE: function "intel_get_load_detect_pipe" has inline asm
KLEE: WARNING ONCE: function "intel_modeset_check_state" has inline asm
KLEE: WARNING ONCE: function "intel_modeset_compute_config" has inline asm
KLEE: WARNING ONCE: function "hsw_enable_ips" has inline asm
KLEE: WARNING ONCE: function "intel_set_cpu_fifo_underrun_reporting" has inline asm
KLEE: WARNING ONCE: function "i9xx_set_fifo_underrun_reporting" has inline asm
KLEE: WARNING ONCE: function "ironlake_enable_display_irq" has inline asm
KLEE: WARNING ONCE: function "ironlake_disable_display_irq" has inline asm
KLEE: WARNING ONCE: function "broadwell_set_fifo_underrun_reporting" has inline asm
KLEE: WARNING ONCE: function "sandybridge_pcode_write" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___5" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___13" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___0" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___0" has inline asm
KLEE: WARNING ONCE: function "i845_update_cursor" has inline asm
KLEE: WARNING ONCE: function "compute_m_n" has inline asm
KLEE: WARNING ONCE: function "intel_atomic_setup_scalers" has inline asm
KLEE: WARNING ONCE: function "i915_disable_vga" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___12" has inline asm
KLEE: WARNING ONCE: function "hsw_disable_ips" has inline asm
KLEE: WARNING ONCE: function "page_flip_completed" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___10" has inline asm
KLEE: WARNING ONCE: function "intel_prepare_ddi" has inline asm
KLEE: WARNING ONCE: function "intel_enable_gt_powersave" has inline asm
KLEE: WARNING ONCE: function "intel_runtime_pm_get_noresume" has inline asm
KLEE: WARNING ONCE: function "ddi_get_encoder_port" has inline asm
KLEE: WARNING ONCE: function "i915_gem_init_swizzling" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_enable" has inline asm
KLEE: WARNING ONCE: function "ironlake_init_pch_refclk" has inline asm
KLEE: WARNING ONCE: function "lpt_init_pch_refclk" has inline asm
KLEE: WARNING ONCE: function "intel_sbi_read" has inline asm
KLEE: WARNING ONCE: function "intel_sbi_write" has inline asm
KLEE: WARNING ONCE: function "vlv_resume_prepare" has inline asm
KLEE: WARNING ONCE: function "__intel_uncore_early_sanitize" has inline asm
KLEE: WARNING ONCE: function "skl_init_cdclk" has inline asm
KLEE: WARNING ONCE: function "hsw_disable_pc8" has inline asm
KLEE: WARNING ONCE: function "trace_intel_gpu_freq_change" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held" has inline asm
KLEE: WARNING ONCE: function "snb_update_pm_irq" has inline asm
KLEE: WARNING ONCE: function "sandybridge_pcode_read" has inline asm
KLEE: WARNING ONCE: function "broxton_phy_init" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___11" has inline asm
KLEE: WARNING ONCE: function "broxton_set_cdclk" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_forcewake_reset" has inline asm
KLEE: WARNING ONCE: function "fw_domain_reset" has inline asm
KLEE: WARNING ONCE: function "vlv_force_gfx_clock" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep" has inline asm
KLEE: WARNING ONCE: function "skl_uninit_cdclk" has inline asm
KLEE: WARNING ONCE: function "hsw_enable_pc8" has inline asm
KLEE: WARNING ONCE: function "intel_gpu_reset" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___4" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags___12" has inline asm
KLEE: WARNING ONCE: function "kref_put___10" has inline asm
KLEE: WARNING ONCE: function "intel_cleanup_gt_powersave" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_init" has inline asm
KLEE: WARNING ONCE: function "intel_modeset_init" has inline asm
KLEE: WARNING ONCE: function "i915_gem_init" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_create_stolen_for_preallocated" has inline asm
KLEE: WARNING ONCE: function "i915_gem_ringbuffer_submission" has inline asm
KLEE: WARNING ONCE: function "intel_execlists_submission" has inline asm
KLEE: WARNING ONCE: function "intel_cleanup_ring_buffer" has inline asm
KLEE: WARNING ONCE: function "intel_logical_ring_stop" has inline asm
KLEE: WARNING ONCE: function "i915_gem_init_global_gtt" has inline asm
KLEE: WARNING ONCE: function "i915_gem_context_init" has inline asm
KLEE: WARNING ONCE: function "stop_ring" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___3" has inline asm
KLEE: WARNING ONCE: function "i915_cmd_parser_init_ring" has inline asm
KLEE: WARNING ONCE: function "execlists_context_unqueue" has inline asm
KLEE: WARNING ONCE: function "execlists_submit_contexts" has inline asm
KLEE: WARNING ONCE: function "execlists_update_context" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_forcewake_get__locked" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_forcewake_put__locked" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___2" has inline asm
KLEE: WARNING ONCE: function "init_workarounds_ring" has inline asm
KLEE: WARNING ONCE: function "gen8_xcs_signal" has inline asm
KLEE: WARNING ONCE: function "init_ring_common" has inline asm
KLEE: WARNING ONCE: function "intel_init_ring_buffer" has inline asm
KLEE: WARNING ONCE: function "gen6_signal" has inline asm
KLEE: WARNING ONCE: function "ilk_update_gt_irq" has inline asm
KLEE: WARNING ONCE: function "gen6_bsd_ring_write_tail" has inline asm
KLEE: WARNING ONCE: function "gen8_rcs_signal" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___7" has inline asm
KLEE: WARNING ONCE: function "i915_gem_execbuffer_move_to_active" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_assign" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___3" has inline asm
KLEE: WARNING ONCE: function "haswell_crtc_enable" has inline asm
KLEE: WARNING ONCE: function "haswell_crtc_disable" has inline asm
KLEE: WARNING ONCE: function "ironlake_update_primary_plane" has inline asm
KLEE: WARNING ONCE: function "ironlake_crtc_enable" has inline asm
KLEE: WARNING ONCE: function "ironlake_crtc_disable" has inline asm
KLEE: WARNING ONCE: function "i9xx_update_primary_plane" has inline asm
KLEE: WARNING ONCE: function "i9xx_crtc_enable" has inline asm
KLEE: WARNING ONCE: function "intel_check_cursor_plane" has inline asm
KLEE: WARNING ONCE: function "intel_sdvo_init" has inline asm
KLEE: WARNING ONCE: function "intel_psr_work" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___7" has inline asm
KLEE: WARNING ONCE: function "i9xx_crtc_clock_get" has inline asm
KLEE: WARNING ONCE: function "intel_dsi_post_disable" has inline asm
KLEE: WARNING ONCE: function "wait_for_dsi_fifo_empty" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___14" has inline asm
KLEE: WARNING ONCE: function "dpi_send_cmd" has inline asm
KLEE: WARNING ONCE: function "vlv_enable_dsi_pll" has inline asm
KLEE: WARNING ONCE: function "intel_hdmi_init_connector" has inline asm
KLEE: WARNING ONCE: function "vlv_dport_to_channel___0" has inline asm
KLEE: WARNING ONCE: function "vlv_wait_port_ready" has inline asm
KLEE: WARNING ONCE: function "intel_sdvo_write_cmd" has inline asm
KLEE: WARNING ONCE: function "intel_sdvo_read_response" has inline asm
KLEE: WARNING ONCE: function "intel_dp_init_connector" has inline asm
KLEE: WARNING ONCE: function "vlv_power_sequencer_pipe" has inline asm
KLEE: WARNING ONCE: function "vlv_pipe_to_channel" has inline asm
KLEE: WARNING ONCE: function "chv_enable_pll" has inline asm
KLEE: WARNING ONCE: function "vlv_enable_pll" has inline asm
KLEE: WARNING ONCE: function "intel_mst_enable_dp" has inline asm
KLEE: WARNING ONCE: function "intel_dp_aux_ch" has inline asm
KLEE: WARNING ONCE: function "wait_panel_status" has inline asm
KLEE: WARNING ONCE: function "intel_psr_disable" has inline asm
KLEE: WARNING ONCE: function "intel_enable_lvds" has inline asm
KLEE: WARNING ONCE: function "intel_disable_lvds" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___17" has inline asm
KLEE: WARNING ONCE: function "skl_ddi_pll_enable" has inline asm
KLEE: WARNING ONCE: function "bxt_ddi_pll_enable" has inline asm
KLEE: WARNING ONCE: function "ilk_update_plane" has inline asm
KLEE: WARNING ONCE: function "vlv_update_plane" has inline asm
KLEE: WARNING ONCE: function "ivb_update_plane" has inline asm
KLEE: WARNING ONCE: function "intel_check_sprite_plane" has inline asm
KLEE: WARNING ONCE: function "i9xx_set_pipeconf" has inline asm
KLEE: WARNING ONCE: function "intel_disable_pipe" has inline asm
KLEE: WARNING ONCE: function "intel_set_pch_fifo_underrun_reporting" has inline asm
KLEE: WARNING ONCE: function "intel_disable_shared_dpll" has inline asm
KLEE: WARNING ONCE: function "ibx_display_interrupt_update" has inline asm
KLEE: WARNING ONCE: function "intel_ddi_get_crtc_new_encoder" has inline asm
KLEE: WARNING ONCE: function "intel_ddi_get_crtc_encoder" has inline asm
KLEE: WARNING ONCE: function "intel_ddi_set_pipe_settings" has inline asm
KLEE: WARNING ONCE: function "intel_ddi_enable_transcoder_func" has inline asm
KLEE: WARNING ONCE: function "valleyview_update_wm" has inline asm
KLEE: WARNING ONCE: function "i8xx_fbc_disable" has inline asm
KLEE: WARNING ONCE: function "i915_gem_shrinker_oom" has inline asm
KLEE: WARNING ONCE: function "i915_gem_shrinker_lock" has inline asm
KLEE: WARNING ONCE: function "ivybridge_parity_work" has inline asm
KLEE: WARNING ONCE: function "i915_hangcheck_elapsed" has inline asm
KLEE: WARNING ONCE: function "i915_get_crtc_scanoutpos" has inline asm
KLEE: WARNING ONCE: function "i915_hpd_irq_setup" has inline asm
KLEE: WARNING ONCE: function "gen8_irq_handler" has inline asm
KLEE: WARNING ONCE: function "ironlake_irq_handler" has inline asm
KLEE: WARNING ONCE: function "i915_disable_pipestat" has inline asm
KLEE: WARNING ONCE: function "i915_enable_pipestat" has inline asm
KLEE: WARNING ONCE: function "notify_ring" has inline asm
KLEE: WARNING ONCE: function "intel_prepare_page_flip" has inline asm
KLEE: WARNING ONCE: function "intel_check_page_flip" has inline asm
KLEE: WARNING ONCE: function "intel_queue_rps_boost_for_request" has inline asm
KLEE: WARNING ONCE: function "__intel_rps_boost_work" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___6" has inline asm
KLEE: WARNING ONCE: function "intel_uncore_check_errors" has inline asm
KLEE: WARNING ONCE: function "cpt_irq_handler" has inline asm
KLEE: WARNING ONCE: function "gen8_gt_irq_handler" has inline asm
KLEE: WARNING ONCE: function "execlists_check_remove_request" has inline asm
KLEE: WARNING ONCE: function "__intel_get_crtc_scanline" has inline asm
KLEE: WARNING ONCE: function "i915_handle_error" has inline asm
KLEE: WARNING ONCE: function "intel_lr_context_reset" has inline asm
KLEE: WARNING ONCE: function "i915_error_object_create" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock" has inline asm
KLEE: WARNING ONCE: function "rcu_read_unlock" has inline asm
KLEE: WARNING ONCE: function "intel_overlay_capture_error_state" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_restore" has inline asm
KLEE: WARNING ONCE: function "gen8_ggtt_clear_range" has inline asm
KLEE: WARNING ONCE: function "gen8_ggtt_insert_entries" has inline asm
KLEE: WARNING ONCE: function "sg_set_page" has inline asm
KLEE: WARNING ONCE: function "gen6_ggtt_clear_range" has inline asm
KLEE: WARNING ONCE: function "gen6_ggtt_insert_entries" has inline asm
KLEE: WARNING ONCE: function "i915_check_vgpu" has inline asm
KLEE: WARNING ONCE: function "fw_domains_get" has inline asm
KLEE: WARNING ONCE: function "fw_domains_put" has inline asm
KLEE: WARNING ONCE: function "fw_domains_get_with_thread_status" has inline asm
KLEE: WARNING ONCE: function "gen9_write8" has inline asm
KLEE: WARNING ONCE: function "gen9_write16" has inline asm
KLEE: WARNING ONCE: function "gen9_write32" has inline asm
KLEE: WARNING ONCE: function "gen9_write64" has inline asm
KLEE: WARNING ONCE: function "gen9_read8" has inline asm
KLEE: WARNING ONCE: function "gen9_read16" has inline asm
KLEE: WARNING ONCE: function "gen9_read32" has inline asm
KLEE: WARNING ONCE: function "gen9_read64" has inline asm
KLEE: WARNING ONCE: function "chv_write8" has inline asm
KLEE: WARNING ONCE: function "chv_write16" has inline asm
KLEE: WARNING ONCE: function "chv_write32" has inline asm
KLEE: WARNING ONCE: function "chv_write64" has inline asm
KLEE: WARNING ONCE: function "chv_read8" has inline asm
KLEE: WARNING ONCE: function "chv_read16" has inline asm
KLEE: WARNING ONCE: function "chv_read32" has inline asm
KLEE: WARNING ONCE: function "chv_read64" has inline asm
KLEE: WARNING ONCE: function "gen8_write8" has inline asm
KLEE: WARNING ONCE: function "gen8_write16" has inline asm
KLEE: WARNING ONCE: function "gen8_write32" has inline asm
KLEE: WARNING ONCE: function "gen8_write64" has inline asm
KLEE: WARNING ONCE: function "gen6_read8" has inline asm
KLEE: WARNING ONCE: function "gen6_read16" has inline asm
KLEE: WARNING ONCE: function "gen6_read32" has inline asm
KLEE: WARNING ONCE: function "gen6_read64" has inline asm
KLEE: WARNING ONCE: function "gen6_write8" has inline asm
KLEE: WARNING ONCE: function "hsw_write8" has inline asm
KLEE: WARNING ONCE: function "gen6_write16" has inline asm
KLEE: WARNING ONCE: function "hsw_write16" has inline asm
KLEE: WARNING ONCE: function "gen6_write32" has inline asm
KLEE: WARNING ONCE: function "hsw_write32" has inline asm
KLEE: WARNING ONCE: function "gen6_write64" has inline asm
KLEE: WARNING ONCE: function "hsw_write64" has inline asm
KLEE: WARNING ONCE: function "vlv_read8" has inline asm
KLEE: WARNING ONCE: function "vlv_read16" has inline asm
KLEE: WARNING ONCE: function "vlv_read32" has inline asm
KLEE: WARNING ONCE: function "vlv_read64" has inline asm
KLEE: WARNING ONCE: function "gen5_write8" has inline asm
KLEE: WARNING ONCE: function "gen5_write16" has inline asm
KLEE: WARNING ONCE: function "gen5_write32" has inline asm
KLEE: WARNING ONCE: function "gen5_write64" has inline asm
KLEE: WARNING ONCE: function "gen5_read8" has inline asm
KLEE: WARNING ONCE: function "gen5_read16" has inline asm
KLEE: WARNING ONCE: function "gen5_read32" has inline asm
KLEE: WARNING ONCE: function "gen5_read64" has inline asm
KLEE: WARNING ONCE: function "gen2_write8" has inline asm
KLEE: WARNING ONCE: function "gen2_write16" has inline asm
KLEE: WARNING ONCE: function "gen2_write32" has inline asm
KLEE: WARNING ONCE: function "gen2_write64" has inline asm
KLEE: WARNING ONCE: function "gen2_read8" has inline asm
KLEE: WARNING ONCE: function "gen2_read16" has inline asm
KLEE: WARNING ONCE: function "gen2_read32" has inline asm
KLEE: WARNING ONCE: function "gen2_read64" has inline asm
KLEE: WARNING ONCE: function "vgpu_write8" has inline asm
KLEE: WARNING ONCE: function "vgpu_write16" has inline asm
KLEE: WARNING ONCE: function "vgpu_write32" has inline asm
KLEE: WARNING ONCE: function "vgpu_write64" has inline asm
KLEE: WARNING ONCE: function "vgpu_read8" has inline asm
KLEE: WARNING ONCE: function "vgpu_read16" has inline asm
KLEE: WARNING ONCE: function "vgpu_read32" has inline asm
KLEE: WARNING ONCE: function "vgpu_read64" has inline asm
KLEE: WARNING ONCE: function "trace_i915_reg_rw___0" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___9" has inline asm
KLEE: WARNING ONCE: function "__gen6_gt_wait_for_fifo" has inline asm
KLEE: WARNING ONCE: function "hsw_unclaimed_reg_debug" has inline asm
KLEE: WARNING ONCE: function "gen6_gt_check_fifodbg" has inline asm
KLEE: WARNING ONCE: function "hsw_unclaimed_reg_detect" has inline asm
KLEE: WARNING ONCE: function "i915_gem_fault" has inline asm
KLEE: WARNING ONCE: function "gt_rp_mhz_show" has inline asm
KLEE: WARNING ONCE: function "i915_error_state_get" has inline asm
KLEE: WARNING ONCE: function "hsw_set_power_well" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___1" has inline asm
KLEE: WARNING ONCE: function "skl_set_power_well" has inline asm
KLEE: WARNING ONCE: function "valleyview_disable_display_irqs" has inline asm
KLEE: WARNING ONCE: function "vlv_set_power_well" has inline asm
KLEE: WARNING ONCE: function "valleyview_enable_display_irqs" has inline asm
KLEE: WARNING ONCE: function "compat_i915_batchbuffer" has inline asm
KLEE: WARNING ONCE: function "compat_i915_irq_emit" has inline asm
KLEE: WARNING ONCE: function "compat_i915_getparam" has inline asm
KLEE: WARNING ONCE: function "compat_i915_alloc" has inline asm
KLEE: WARNING ONCE: function "compat_i915_cmdbuffer" has inline asm
KLEE: WARNING ONCE: function "pipe_crc_data_count" has inline asm
KLEE: WARNING ONCE: function "i915_drpc_info" has inline asm
KLEE: WARNING ONCE: function "i915_dump_lrc" has inline asm
KLEE: WARNING ONCE: function "i915_energy_uJ" has inline asm
KLEE: WARNING ONCE: function "i915_semaphore_status" has inline asm
KLEE: WARNING ONCE: function "i915_sseu_status" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_page" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___0" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_pages_phys" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_put_pages_phys" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_pages_gtt" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_put_pages_gtt" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_save_bit_17_swizzle" has inline asm
KLEE: WARNING ONCE: function "sg_set_page___1" has inline asm
KLEE: WARNING ONCE: function "sg_mark_end" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_do_bit_17_swizzle" has inline asm
KLEE: WARNING ONCE: function "i915_gem_object_get_pages_stolen" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_get_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_put_pages" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_release" has inline asm
KLEE: WARNING ONCE: function "__i915_mm_struct_free__worker" has inline asm
KLEE: WARNING ONCE: function "__i915_gem_userptr_get_pages_worker" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___9" has inline asm
KLEE: WARNING ONCE: function "i915_gem_userptr_mn_invalidate_range_start" has inline asm
KLEE: WARNING ONCE: function "intel_crtc_set_config" has inline asm
KLEE: WARNING ONCE: function "intel_crtc_page_flip" has inline asm
KLEE: WARNING ONCE: function "intel_unpin_work_fn" has inline asm
KLEE: WARNING ONCE: function "kref_get___11" has inline asm
KLEE: WARNING ONCE: function "intel_mmio_flip_work_func" has inline asm
KLEE: WARNING ONCE: function "i915_gem_request_assign___3" has inline asm
KLEE: WARNING ONCE: function "intel_pipe_update_start" has inline asm
KLEE: WARNING ONCE: function "intel_pipe_update_end" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___11" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_enable" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_disable___0" has inline asm
KLEE: WARNING ONCE: function "drm_gem_object_unreference___14" has inline asm
KLEE: WARNING ONCE: function "intel_crt_detect" has inline asm
KLEE: WARNING ONCE: function "drm_can_sleep___10" has inline asm
KLEE: WARNING ONCE: function "intel_crt_detect_ddc" has inline asm
KLEE: WARNING ONCE: function "intel_dsi_host_transfer" has inline asm
KLEE: WARNING ONCE: function "gmbus_wait_hw_status" has inline asm
KLEE: WARNING ONCE: function "gmbus_wait_idle" has inline asm
KLEE: WARNING ONCE: function "intel_sdvo_detect" has inline asm
KLEE: WARNING ONCE: function "chv_set_pipe_power_well" has inline asm
KLEE: WARNING ONCE: function "chv_dpio_cmn_power_well_enable" has inline asm
KLEE: WARNING: undefined reference to function: cfb_copyarea
KLEE: WARNING: undefined reference to function: cfb_fillrect
KLEE: WARNING: undefined reference to function: cfb_imageblit
KLEE: WARNING: undefined reference to function: delayed_work_timer_fn
KLEE: WARNING: undefined reference to function: drm_atomic_helper_connector_destroy_state
KLEE: WARNING: undefined reference to function: drm_gem_dmabuf_release
KLEE: WARNING: undefined reference to function: drm_gem_vm_close
KLEE: WARNING: undefined reference to function: drm_gem_vm_open
KLEE: WARNING: undefined reference to variable: system_wq
KLEE: ERROR: unable to load symbol(system_wq) while initializing globals.
Running the verifier failed
RESULT: unknown
INFO: Total time elapsed: 37.0275821686
