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-32_7a-drivers--scsi--qla2xxx--qla2xxx.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.: 2595 1973 25976 197604
Removed infinite loop in qlt_free_session_done
Removed infinite loop in qla82xx_wr_32
Removed infinite loop in qla82xx_rd_32
Removed infinite loop in arch_local_irq_restore
Removed infinite loop in qlt_find_host_by_vp_idx
Removed infinite loop in qla2x00_clean_dsd_pool___0
Removed infinite loop in dma_unmap_sg_attrs___1
Removed infinite loop in qlt_undelete_sess
Removed infinite loop in qlt_find_host_by_d_id
Removed infinite loop in sg_page___0
Removed infinite loop in arch_local_save_flags
Removed infinite loop in arch_local_irq_disable
Removed infinite loop in arch_local_irq_restore___0
Removed infinite loop in arch_local_save_flags___0
Removed infinite loop in arch_local_irq_disable___0
Removed infinite loop in qla2x00_sp_compl
Removed infinite loop in dma_unmap_sg_attrs
Removed infinite loop in qla2x00_clean_dsd_pool
Removed infinite loop in qla24xx_vport_delete
Removed infinite loop in dma_map_sg_attrs___0
Removed infinite loop in dma_unmap_sg_attrs___0
Removed infinite loop in sg_page___1
Removed infinite loop in qlt_free_cmd
Removed infinite loop in qlt_add_target
Removed infinite loop in qlt_sess_work_fn
Removed infinite loop in qlt_build_ctio_crc2_pkt
Removed infinite loop in qla24xx_walk_and_build_sglist_no_difb
Removed infinite loop in qla24xx_walk_and_build_sglist
Removed infinite loop in qla24xx_walk_and_build_prot_sglist
Removed infinite loop in qlt_pci_map_calc_cnt
Removed infinite loop in dma_map_sg_attrs___2
Removed infinite loop in sg_page___3
Removed infinite loop in dma_map_sg_attrs
Removed infinite loop in sg_page
Removed infinite loop in qla24xx_build_scsi_crc_2_iocbs
Removed infinite loop in qla82xx_pci_is_same_window
Removed infinite loop in qla2x00_delete_all_vps
Removed infinite loop in ldv_stop
INFO: Compilation, preparation and instrumentation time: 6.27387094498
Defining function sscanf as symbolic
Removed calls to '_raw_spin_unlock_irqrestore' (function is undefined)
Removed calls to 'flush_workqueue' (function is undefined)
Removed calls to 'blk_queue_update_dma_alignment' (function is undefined)
Defining function scsi_change_queue_depth as symbolic
Defining function scsi_is_fc_rport as symbolic
Removed calls to 'ldv__builtin_va_start' (function is undefined)
Removed calls to 'ldv__builtin_va_end' (function is undefined)
Removed calls to 'msleep' (function is undefined)
Defining function _raw_spin_lock_irqsave as symbolic
Defining function printk as symbolic
Removed calls to '__wake_up' (function is undefined)
Removed calls to 'complete' (function is undefined)
Defining function wait_for_completion_timeout as symbolic
Removed calls to 'trace_hardirqs_off' (function is undefined)
Removed calls to 'trace_hardirqs_on' (function is undefined)
Removed calls to '_raw_write_unlock_irqrestore' (function is undefined)
Defining function wake_up_process as symbolic
Defining function _raw_write_lock_irqsave as symbolic
Removed calls to 'scsi_build_sense_buffer' (function is undefined)
Removed calls to 'scmd_printk' (function is undefined)
Removed calls to '_raw_spin_lock' (function is undefined)
Removed calls to '__list_add' (function is undefined)
Removed calls to 'list_del' (function is undefined)
Removed calls to '_raw_spin_unlock' (function is undefined)
Removed calls to 'dump_stack' (function is undefined)
Removed calls to '__init_work' (function is undefined)
Removed calls to 'lockdep_init_map' (function is undefined)
Removed calls to 'mempool_free' (function is undefined)
Removed calls to 'int_to_scsilun' (function is undefined)
Defining function mempool_alloc as symbolic
Defining function queue_work_on as symbolic
Defining function scsilun_to_int as symbolic
Removed calls to 'dma_pool_free' (function is undefined)
Removed calls to 'debug_dma_unmap_sg' (function is undefined)
Defining function percpu_ida_alloc as symbolic
Removed calls to 'warn_slowpath_null' (function is undefined)
Removed calls to 'percpu_ida_free' (function is undefined)
Removed calls to 'mutex_lock' (function is undefined)
Removed calls to 'dma_free_attrs' (function is undefined)
Removed calls to 'mutex_unlock' (function is undefined)
Defining function dma_pool_alloc as symbolic
Defining function dma_alloc_attrs as symbolic
Defining function sg_next as symbolic
Defining function find_first_zero_bit as symbolic
Removed calls to 'fc_remote_port_delete' (function is undefined)
Defining function queue_delayed_work_on as symbolic
Removed calls to 'vfree' (function is undefined)
Defining function vmalloc as symbolic
Removed calls to 'usleep_range' (function is undefined)
Defining function pci_bus_read_config_word as symbolic
Defining function snprintf as symbolic
Defining function fc_block_scsi_eh as symbolic
Removed calls to 'scsi_dma_unmap' (function is undefined)
Removed calls to 'scsi_host_put' (function is undefined)
Removed calls to 'fc_remove_host' (function is undefined)
Removed calls to 'scsi_remove_host' (function is undefined)
Defining function sg_copy_to_buffer as symbolic
Defining function sg_copy_from_buffer as symbolic
Removed calls to 'debug_dma_map_sg' (function is undefined)
Defining function scsi_is_host_device as symbolic
Defining function del_timer_sync as symbolic
Removed calls to '__const_udelay' (function is undefined)
Removed calls to 'add_timer' (function is undefined)
Removed calls to '__mutex_init' (function is undefined)
Removed calls to '__init_waitqueue_head' (function is undefined)
Removed calls to 'init_timer_key' (function is undefined)
Removed calls to '__raw_spin_lock_init' (function is undefined)
Defining function scsi_add_host_with_dma as symbolic
Defining function mod_timer as symbolic
Defining function sprintf as symbolic
Defining function scsi_host_alloc as symbolic
Removed calls to '__might_sleep' (function is undefined)
Removed calls to 'schedule' (function is undefined)
Removed calls to 'finish_wait' (function is undefined)
Defining function prepare_to_wait_event as symbolic
Defining function flush_delayed_work as symbolic
Defining function scsi_host_get as symbolic
Removed calls to 'pci_set_master' (function is undefined)
Removed calls to 'pci_disable_rom' (function is undefined)
Removed calls to '___might_sleep' (function is undefined)
Defining function jiffies_to_msecs as symbolic
Defining function _cond_resched as symbolic
Defining function pci_request_selected_regions as symbolic
Defining function __bitmap_weight as symbolic
Defining function ioremap_nocache as symbolic
Removed calls to 'scsi_block_requests' (function is undefined)
Removed calls to 'scsi_unblock_requests' (function is undefined)
Defining function strcat as symbolic
Defining function request_firmware as symbolic
Defining function scnprintf as symbolic
Defining function pci_bus_write_config_word as symbolic
Defining function pci_try_set_mwi as symbolic
Removed calls to 'pci_clear_mwi' (function is undefined)
Defining function pci_bus_write_config_byte as symbolic
Removed calls to 'wait_for_completion' (function is undefined)
Defining function del_timer as symbolic
Removed calls to 'do_gettimeofday' (function is undefined)
Defining function strim as symbolic
Defining function pcie_capability_read_dword as symbolic
Defining function pci_find_capability as symbolic
Defining function pcix_set_mmrbc as symbolic
Defining function pcie_set_readrq as symbolic
Removed calls to '_raw_spin_lock_irq' (function is undefined)
Removed calls to '_raw_spin_unlock_irq' (function is undefined)
Defining function pci_request_regions as symbolic
Removed calls to '__udelay' (function is undefined)
Defining function __msecs_to_jiffies as symbolic
Removed calls to '__list_del_entry' (function is undefined)
Removed calls to 'fc_remote_port_rolechg' (function is undefined)
Defining function fc_remote_port_add as symbolic
Defining function find_first_bit as symbolic
Defining function find_next_bit as symbolic
Defining function ___ratelimit as symbolic
Removed calls to '_raw_read_lock' (function is undefined)
Removed calls to '_raw_read_unlock' (function is undefined)
Defining function pcie_capability_read_word as symbolic
Removed calls to 'iounmap' (function is undefined)
Removed calls to 'dev_err' (function is undefined)
Defining function __printk_ratelimit as symbolic
Defining function pci_set_mwi as symbolic
Removed calls to 'free_irq' (function is undefined)
Removed calls to 'pci_disable_msix' (function is undefined)
Removed calls to 'dma_pool_destroy' (function is undefined)
Removed calls to 'mempool_destroy' (function is undefined)
Removed calls to 'destroy_workqueue' (function is undefined)
Removed calls to 'scsi_scan_host' (function is undefined)
Removed calls to 'pci_release_selected_regions' (function is undefined)
Removed calls to 'pci_disable_device' (function is undefined)
Defining function pci_disable_pcie_error_reporting as symbolic
Removed calls to 'debugfs_remove' (function is undefined)
Removed calls to 'sysfs_remove_bin_file' (function is undefined)
Defining function kthread_stop as symbolic
Defining function cancel_work_sync as symbolic
Defining function fc_vport_terminate as symbolic
Defining function pci_select_bars as symbolic
Defining function pci_enable_device_mem as symbolic
Defining function pci_enable_device as symbolic
Defining function pci_enable_pcie_error_reporting as symbolic
Defining function pci_save_state as symbolic
Removed calls to 'set_user_nice' (function is undefined)
Defining function kthread_create_on_node as symbolic
Defining function __alloc_workqueue_key as symbolic
Defining function debugfs_create_dir as symbolic
Defining function debugfs_create_file as symbolic
Defining function sysfs_create_bin_file as symbolic
Removed calls to 'fc_host_post_event' (function is undefined)
Defining function kthread_should_stop as symbolic
Defining function fc_vport_create as symbolic
Defining function fc_get_event_number as symbolic
Defining function kobject_uevent_env as symbolic
Defining function request_threaded_irq as symbolic
Defining function pci_enable_msi_range as symbolic
Defining function pci_enable_msix_range as symbolic
Defining function kmem_cache_create as symbolic
Defining function dma_pool_create as symbolic
Defining function mempool_alloc_slab as symbolic
Defining function mempool_create as symbolic
Defining function dma_set_mask as symbolic
Defining function dma_get_required_mask as symbolic
Defining function dma_supported as symbolic
Removed calls to '__rwlock_init' (function is undefined)
Defining function pci_bus_read_config_byte as symbolic
Removed calls to 'pci_restore_state' (function is undefined)
Removed calls to 'pci_dev_put' (function is undefined)
Defining function pci_cleanup_aer_uncorrect_error_status as symbolic
Defining function pci_get_domain_bus_and_slot as symbolic
Defining function noop_llseek as symbolic
Defining function simple_strtol as symbolic
Defining function memory_read_from_buffer as symbolic
Defining function capable as symbolic
Defining function schedule_timeout 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 seq_puts as symbolic
Defining function seq_printf as symbolic
Defining function seq_putc as symbolic
Defining function pci_bus_read_config_dword as symbolic
Removed calls to 'ldv_initialize' (function is undefined)
Removed calls to '__unregister_chrdev' (function is undefined)
Removed calls to 'pci_unregister_driver' (function is undefined)
Removed calls to 'release_firmware' (function is undefined)
Removed calls to 'kmem_cache_destroy' (function is undefined)
Removed calls to 'fc_release_transport' (function is undefined)
Defining function ldv_release_80 as symbolic
Defining function ldv_probe_80 as symbolic
Defining function ldv_release_84 as symbolic
Defining function ldv_probe_84 as symbolic
Defining function ldv_release_78 as symbolic
Defining function ldv_probe_78 as symbolic
Defining function ldv_release_87 as symbolic
Defining function ldv_probe_87 as symbolic
Defining function ldv_suspend_77 as symbolic
Defining function ldv_release_77 as symbolic
Defining function ldv_probe_77 as symbolic
Defining function ldv_release_81 as symbolic
Defining function ldv_probe_81 as symbolic
Defining function ldv_release_86 as symbolic
Defining function ldv_probe_86 as symbolic
Defining function ldv_release_82 as symbolic
Defining function ldv_probe_82 as symbolic
Defining function ldv_release_83 as symbolic
Defining function ldv_probe_83 as symbolic
Defining function ldv_open_75 as symbolic
Defining function ldv_release_75 as symbolic
Defining function ldv_release_79 as symbolic
Defining function ldv_probe_79 as symbolic
Defining function ldv_release_85 as symbolic
Defining function ldv_probe_85 as symbolic
Defining function fc_attach_transport as symbolic
Defining function __pci_register_driver as symbolic
Defining function __register_chrdev as symbolic
Defining function strcasecmp as symbolic
Defining function ldv_release_69 as symbolic
Defining function ldv_probe_69 as symbolic
Defining function ldv_release_68 as symbolic
Defining function ldv_probe_68 as symbolic
Defining function ldv_release_70 as symbolic
Defining function ldv_probe_70 as symbolic
Defining function ldv_release_67 as symbolic
Defining function ldv_probe_67 as symbolic
Defining function ldv_release_66 as symbolic
Defining function ldv_probe_66 as symbolic
Defining function ldv_release_73 as symbolic
Defining function ldv_probe_73 as symbolic
Defining function ldv_release_65 as symbolic
Defining function ldv_probe_65 as symbolic
Defining function ldv_release_74 as symbolic
Defining function ldv_probe_74 as symbolic
Defining function ldv_release_72 as symbolic
Defining function ldv_probe_72 as symbolic
Defining function ldv_release_71 as symbolic
Defining function ldv_probe_71 as symbolic
Defining function mutex_trylock as symbolic
Defining function kmemdup as symbolic
Linked our definitions to these undefined functions:
  memcmp
  strcmp
  strcpy
  strlen
  strncmp
  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: 7.34344911575
INFO: Before verification stats: Globals/Functions/Blocks/Instr.: 3023 1648 16891 137250
INFO: Starting verification
KLEE: WARNING ONCE: function "qla2xxx_eh_abort" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_eh_host_reset" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_scan_start" has inline asm
KLEE: WARNING ONCE: function "qlt_free_session_done" has inline asm
KLEE: WARNING ONCE: function "qla2x00_abort_isp_cleanup" has inline asm
KLEE: WARNING ONCE: function "qla82xx_restart_isp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_init_rings" has inline asm
KLEE: WARNING ONCE: function "qla2x00_mailbox_command" has inline asm
KLEE: WARNING ONCE: function "qla2x00_poll" has inline asm
KLEE: WARNING ONCE: function "ql_dump_regs" has inline asm
KLEE: WARNING ONCE: function "qla82xx_wr_32" has inline asm
KLEE: WARNING ONCE: function "qla82xx_pci_set_crbwindow_2M" has inline asm
KLEE: WARNING ONCE: function "qla82xx_rd_32" has inline asm
KLEE: WARNING ONCE: function "qla82xx_poll" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_restore" has inline asm
KLEE: WARNING ONCE: function "qla2x00_check_reg32_for_disconnect" has inline asm
KLEE: WARNING ONCE: function "qla82xx_mbx_completion" has inline asm
KLEE: WARNING ONCE: function "qla2x00_async_event" has inline asm
KLEE: WARNING ONCE: function "qla24xx_process_response_queue" has inline asm
KLEE: WARNING ONCE: function "qla2x00_error_entry" has inline asm
KLEE: WARNING ONCE: function "qla2x00_status_entry" has inline asm
KLEE: WARNING ONCE: function "qla24xx_report_id_acquisition" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_sp_from_handle" has inline asm
KLEE: WARNING ONCE: function "qlt_24xx_process_atio_queue" has inline asm
KLEE: WARNING ONCE: function "qlt_find_host_by_vp_idx" has inline asm
KLEE: WARNING ONCE: function "qlt_response_pkt" has inline asm
KLEE: WARNING ONCE: function "qlt_24xx_send_abts_resp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_start_iocbs" has inline asm
KLEE: WARNING ONCE: function "qla82xx_start_iocbs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_alloc_iocbs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_debounce_register___0" has inline asm
KLEE: WARNING ONCE: function "__qla2x00_marker" has inline asm
KLEE: WARNING ONCE: function "qlt_send_notify_ack" has inline asm
KLEE: WARNING ONCE: function "__qlt_send_term_exchange" has inline asm
KLEE: WARNING ONCE: function "pci_unmap_sg" has inline asm
KLEE: WARNING ONCE: function "qlt_chk_exch_leak_thresh_hold" has inline asm
KLEE: WARNING ONCE: function "__qlt_send_busy" has inline asm
KLEE: WARNING ONCE: function "kref_get" has inline asm
KLEE: WARNING ONCE: function "qlt_undelete_sess" has inline asm
KLEE: WARNING ONCE: function "qla2x00_process_completed_request" has inline asm
KLEE: WARNING ONCE: function "qla2x00_mark_device_lost" has inline asm
KLEE: WARNING ONCE: function "qla2x00_schedule_rport_del" has inline asm
KLEE: WARNING ONCE: function "qlt_async_event" has inline asm
KLEE: WARNING ONCE: function "qla2x00_process_response_queue" has inline asm
KLEE: WARNING ONCE: function "qla2x00_alert_all_vps" has inline asm
KLEE: WARNING ONCE: function "qla2x00_alloc_work" has inline asm
KLEE: WARNING ONCE: function "qlafx00_mailbox_command" has inline asm
KLEE: WARNING ONCE: function "qla2x00_poll___0" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_restore___0" has inline asm
KLEE: WARNING ONCE: function "qla2x00_setup_chip" has inline asm
KLEE: WARNING ONCE: function "qla8044_check_fw_alive" has inline asm
KLEE: WARNING ONCE: function "qla82xx_clear_pending_mbx" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_sp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sp_free_dma" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sp_compl" has inline asm
KLEE: WARNING ONCE: function "qla2x00_set_host_system_hostname" has inline asm
KLEE: WARNING ONCE: function "qla24xx_vport_delete" has inline asm
KLEE: WARNING ONCE: function "qla24xx_bsg_request" has inline asm
KLEE: WARNING ONCE: function "dma_map_sg_attrs___0" has inline asm
KLEE: WARNING ONCE: function "qla2x00_bsg_sp_free" has inline asm
KLEE: WARNING ONCE: function "qla2x00_start_sp" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_sg_attrs___0" has inline asm
KLEE: WARNING ONCE: function "qla81xx_set_loopback_mode" has inline asm
KLEE: WARNING ONCE: function "qla2x00_start_bidir" has inline asm
KLEE: WARNING ONCE: function "qlafx00_tm_iocb" has inline asm
KLEE: WARNING ONCE: function "qlafx00_fxdisc_iocb" has inline asm
KLEE: WARNING ONCE: function "qlafx00_abort_iocb" has inline asm
KLEE: WARNING ONCE: function "qla2x00_find_new_loop_id" has inline asm
KLEE: WARNING ONCE: function "qla2x00_clear_loop_id" has inline asm
KLEE: WARNING ONCE: function "qla24xx_deallocate_vp_id" has inline asm
KLEE: WARNING ONCE: function "qla25xx_init_req_que" has inline asm
KLEE: WARNING ONCE: function "qla25xx_free_req_que" has inline asm
KLEE: WARNING ONCE: function "qlt_free_cmd" has inline asm
KLEE: WARNING ONCE: function "qla24xx_create_vhost" has inline asm
KLEE: WARNING ONCE: function "qla25xx_create_req_que" has inline asm
KLEE: WARNING ONCE: function "qlt_add_target" has inline asm
KLEE: WARNING ONCE: function "qlt_sess_work_fn" has inline asm
KLEE: WARNING ONCE: function "qlt_rdy_to_xfer" has inline asm
KLEE: WARNING ONCE: function "qlt_xmit_response" has inline asm
KLEE: WARNING ONCE: function "qlt_pci_map_calc_cnt" has inline asm
KLEE: WARNING ONCE: function "qlt_check_reserve_free_req" has inline asm
KLEE: WARNING ONCE: function "qlt_build_ctio_crc2_pkt" has inline asm
KLEE: WARNING ONCE: function "qla24xx_walk_and_build_sglist_no_difb" has inline asm
KLEE: WARNING ONCE: function "qla24xx_walk_and_build_sglist" has inline asm
KLEE: WARNING ONCE: function "qla24xx_walk_and_build_prot_sglist" has inline asm
KLEE: WARNING ONCE: function "pci_map_sg" has inline asm
KLEE: WARNING ONCE: function "qla2x00_timer" has inline asm
KLEE: WARNING ONCE: function "qla82xx_watchdog" has inline asm
KLEE: WARNING ONCE: function "qla8044_watchdog" has inline asm
KLEE: WARNING ONCE: function "qlafx00_timer_routine" has inline asm
KLEE: WARNING ONCE: function "qlt_stop_phase1" has inline asm
KLEE: WARNING ONCE: function "qlt_xmit_tm_rsp" has inline asm
KLEE: WARNING ONCE: function "qlt_enable_vha" has inline asm
KLEE: WARNING ONCE: function "qla2100_pci_config" has inline asm
KLEE: WARNING ONCE: function "qla2x00_reset_chip" has inline asm
KLEE: WARNING ONCE: function "qla2x00_chip_diag" has inline asm
KLEE: WARNING ONCE: function "qla2x00_config_rings" has inline asm
KLEE: WARNING ONCE: function "qla2x00_reset_adapter" has inline asm
KLEE: WARNING ONCE: function "qla2x00_nvram_config" has inline asm
KLEE: WARNING ONCE: function "qla2100_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla2x00_enable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_disable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_read_nvram_data" has inline asm
KLEE: WARNING ONCE: function "qla2x00_write_nvram_data" has inline asm
KLEE: WARNING ONCE: function "qla2100_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla2x00_read_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla2x00_write_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_flash_version" has inline asm
KLEE: WARNING ONCE: function "qla2x00_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qla2x00_abort_isp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_initialize_adapter" has inline asm
KLEE: WARNING ONCE: function "qla8044_set_idc_dontreset" has inline asm
KLEE: WARNING ONCE: function "qla84xx_put_chip" has inline asm
KLEE: WARNING ONCE: function "qla83xx_reset_ownership" has inline asm
KLEE: WARNING ONCE: function "qla83xx_wait_logic" has inline asm
KLEE: WARNING ONCE: function "qla8044_clear_drv_active" has inline asm
KLEE: WARNING ONCE: function "qla8044_idc_unlock" has inline asm
KLEE: WARNING ONCE: function "qla8044_read_flash_data" has inline asm
KLEE: WARNING ONCE: function "qla8044_flash_lock" has inline asm
KLEE: WARNING ONCE: function "qla8044_rd_reg_indirect" has inline asm
KLEE: WARNING ONCE: function "qla8044_wr_reg_indirect" has inline asm
KLEE: WARNING ONCE: function "qla8044_set_win_base" has inline asm
KLEE: WARNING ONCE: function "qla24xx_read_flash_dword" has inline asm
KLEE: WARNING ONCE: function "qla25xx_init_rsp_que" has inline asm
KLEE: WARNING ONCE: function "dma_map_sg_attrs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_read_flash_byte" has inline asm
KLEE: WARNING ONCE: function "qla2x00_suspend_hba" has inline asm
KLEE: WARNING ONCE: function "qla2x00_write_flash_byte" has inline asm
KLEE: WARNING ONCE: function "qla2x00_resume_hba" has inline asm
KLEE: WARNING ONCE: function "qla2x00_lock_nvram_access" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_nvram_word" has inline asm
KLEE: WARNING ONCE: function "qla2x00_nv_write" has inline asm
KLEE: WARNING ONCE: function "qla2x00_write_nvram_word" has inline asm
KLEE: WARNING ONCE: function "qla2x00_mbx_completion" has inline asm
KLEE: WARNING ONCE: function "qla2x00_handle_mbx_completion" has inline asm
KLEE: WARNING ONCE: function "qla2x00_debounce_register" has inline asm
KLEE: WARNING ONCE: function "qla2300_pci_config" has inline asm
KLEE: WARNING ONCE: function "qla2300_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla2300_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla2x00_beacon_on" has inline asm
KLEE: WARNING ONCE: function "qla2x00_beacon_blink" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_dump_ram" has inline asm
KLEE: WARNING ONCE: function "qla24xx_pci_config" has inline asm
KLEE: WARNING ONCE: function "qla24xx_reset_chip" has inline asm
KLEE: WARNING ONCE: function "qla24xx_config_rings" has inline asm
KLEE: WARNING ONCE: function "qla24xx_reset_adapter" has inline asm
KLEE: WARNING ONCE: function "qla24xx_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla24xx_enable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla24xx_disable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla24xx_write_nvram_data" has inline asm
KLEE: WARNING ONCE: function "qla24xx_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla24xx_beacon_on" has inline asm
KLEE: WARNING ONCE: function "qla24xx_beacon_off" has inline asm
KLEE: WARNING ONCE: function "qla24xx_beacon_blink" has inline asm
KLEE: WARNING ONCE: function "qla24xx_read_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla24xx_write_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla24xx_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qla24xx_write_flash_dword" has inline asm
KLEE: WARNING ONCE: function "qla24xx_pause_risc" has inline asm
KLEE: WARNING ONCE: function "qla24xx_soft_reset" has inline asm
KLEE: WARNING ONCE: function "qla24xx_dump_memory" has inline asm
KLEE: WARNING ONCE: function "qla24xx_dump_ram" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sp_free" has inline asm
KLEE: WARNING ONCE: function "qlafx00_fx_disc" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_check_risc_status" has inline asm
KLEE: WARNING ONCE: function "qla24xx_mbx_completion" has inline asm
KLEE: WARNING ONCE: function "qlt_24xx_config_rings" has inline asm
KLEE: WARNING ONCE: function "qla81xx_write_mpi_register" has inline asm
KLEE: WARNING ONCE: function "qla25xx_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla24xx_dif_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qla25xx_copy_mq" has inline asm
KLEE: WARNING ONCE: function "qla81xx_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla82xx_config_rings" has inline asm
KLEE: WARNING ONCE: function "qla82xx_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla82xx_enable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla82xx_disable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla82xx_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qla82xx_abort_isp" has inline asm
KLEE: WARNING ONCE: function "qla82xx_idc_lock" has inline asm
KLEE: WARNING ONCE: function "qla82xx_set_reset_owner" has inline asm
KLEE: WARNING ONCE: function "qla8044_idc_lock" has inline asm
KLEE: WARNING ONCE: function "qla8044_device_state_handler" has inline asm
KLEE: WARNING ONCE: function "qla8044_device_bootstrap" has inline asm
KLEE: WARNING ONCE: function "qla8044_set_rst_ready" has inline asm
KLEE: WARNING ONCE: function "qla8044_clear_qsnt_ready" has inline asm
KLEE: WARNING ONCE: function "qla8044_flash_lock_recovery" has inline asm
KLEE: WARNING ONCE: function "qla8044_collect_md_data" has inline asm
KLEE: WARNING ONCE: function "qla82xx_md_collect" has inline asm
KLEE: WARNING ONCE: function "qla2x00_perform_loop_resync" has inline asm
KLEE: WARNING ONCE: function "qla2x00_loop_resync" has inline asm
KLEE: WARNING ONCE: function "qlafx00_configure_devices" has inline asm
KLEE: WARNING ONCE: function "qla2x00_fdmi_register" has inline asm
KLEE: WARNING ONCE: function "qla2x00_fdmiv2_rhba" has inline asm
KLEE: WARNING ONCE: function "qla82xx_rom_fast_read" has inline asm
KLEE: WARNING ONCE: function "qla82xx_pci_mem_write_2M" has inline asm
KLEE: WARNING ONCE: function "qla82xx_pci_is_same_window" has inline asm
KLEE: WARNING ONCE: function "qla82xx_pci_mem_read_2M" has inline asm
KLEE: WARNING ONCE: function "qla8044_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla8044_write_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla8044_abort_isp" has inline asm
KLEE: WARNING ONCE: function "qla83xx_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qlafx00_soft_reset" has inline asm
KLEE: WARNING ONCE: function "qlafx00_config_rings" has inline asm
KLEE: WARNING ONCE: function "qlafx00_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qlafx00_enable_intrs" has inline asm
KLEE: WARNING ONCE: function "qlafx00_disable_intrs" has inline asm
KLEE: WARNING ONCE: function "qlafx00_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qlafx00_abort_isp" has inline asm
KLEE: WARNING ONCE: function "qlafx00_initialize_adapter" has inline asm
KLEE: WARNING ONCE: function "qlafx00_abort_isp_cleanup" has inline asm
KLEE: WARNING ONCE: function "qla2x00_probe_one" has inline asm
KLEE: WARNING ONCE: function "qla2x00_remove_one" has inline asm
KLEE: WARNING ONCE: function "qla2x00_delete_all_vps" has inline asm
KLEE: WARNING ONCE: function "qla2x00_dfs_remove" has inline asm
KLEE: WARNING ONCE: function "qla25xx_free_rsp_que" has inline asm
KLEE: WARNING ONCE: function "qla2x00_request_irqs" has inline asm
KLEE: WARNING ONCE: function "qla25xx_create_rsp_que" has inline asm
KLEE: WARNING ONCE: function "qla2x00_do_dpc" has inline asm
KLEE: WARNING ONCE: function "qla2x00_disable_board_on_pci_error" has inline asm
KLEE: WARNING ONCE: function "qla2x00_dfs_setup" has inline asm
KLEE: WARNING ONCE: function "qla2x00_do_work" has inline asm
KLEE: WARNING ONCE: function "qlafx00_rescan_isp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_update_fcports" has inline asm
KLEE: WARNING ONCE: function "qla2x00_relogin" has inline asm
KLEE: WARNING ONCE: function "qla2x00_do_dpc_all_vps" has inline asm
KLEE: WARNING ONCE: function "qla24xx_configure_vhba" has inline asm
KLEE: WARNING ONCE: function "qla2x00_async_login_done" has inline asm
KLEE: WARNING ONCE: function "qla2x00_async_adisc_done" has inline asm
KLEE: WARNING ONCE: function "qlafx00_process_aen" has inline asm
KLEE: WARNING ONCE: function "qla25xx_msix_rsp_q" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_pci_mmio_enabled" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_pci_slot_reset" has inline asm
KLEE: WARNING ONCE: function "qla82xx_msix_default" has inline asm
KLEE: WARNING ONCE: function "qla82xx_msix_rsp_q" has inline asm
KLEE: WARNING ONCE: function "qla24xx_msix_default" has inline asm
KLEE: WARNING ONCE: function "qla24xx_msix_rsp_q" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sysfs_write_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sysfs_write_nvram" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sysfs_write_reset" has inline asm
KLEE: WARNING ONCE: function "qla2x00_wait_for_fcoe_ctx_reset" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t257" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t258" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t259" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t260" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t261" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t267" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t270" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t271" has inline asm
KLEE: WARNING ONCE: function "qla27xx_dump_mpi_ram" has inline asm
KLEE: WARNING ONCE: function "qla27xx_read_window" has inline asm
KLEE: WARNING ONCE: function "qla27xx_read16" has inline asm
KLEE: WARNING ONCE: function "qla27xx_read32" has inline asm
KLEE: WARNING ONCE: function "qla27xx_read8" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_thermal_temp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_zio_store" has inline asm
KLEE: WARNING ONCE: function "qlafx00_init_response_q_entries" has inline asm
KLEE: WARNING ONCE: function "qla8044_rd_direct" has inline asm
KLEE: WARNING ONCE: function "qla8044_rd_reg" has inline asm
KLEE: WARNING ONCE: function "qla8044_wr_reg" has inline asm
KLEE: WARNING ONCE: function "qla8044_wr_direct" has inline asm
KLEE: WARNING ONCE: function "qla8044_need_reset" has inline asm
KLEE: WARNING ONCE: function "qla8044_read_temperature" has inline asm
KLEE: WARNING ONCE: function "main" has inline asm
KLEE: WARNING ONCE: function "ldv_main_exported_33" has inline asm
KLEE: WARNING ONCE: function "ldv_main_exported_32" has inline asm
KLEE: WARNING: undefined reference to function: delayed_work_timer_fn
KLEE: WARNING: undefined reference to function: mempool_free_slab
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-TfEoAQ/klee-out-0"
KLEE: Using STP solver backend
KLEE: WARNING ONCE: function "qla2xxx_eh_abort" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_eh_host_reset" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_scan_start" has inline asm
KLEE: WARNING ONCE: function "qlt_free_session_done" has inline asm
KLEE: WARNING ONCE: function "qla2x00_abort_isp_cleanup" has inline asm
KLEE: WARNING ONCE: function "qla82xx_restart_isp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_init_rings" has inline asm
KLEE: WARNING ONCE: function "qla2x00_mailbox_command" has inline asm
KLEE: WARNING ONCE: function "qla2x00_poll" has inline asm
KLEE: WARNING ONCE: function "ql_dump_regs" has inline asm
KLEE: WARNING ONCE: function "qla82xx_wr_32" has inline asm
KLEE: WARNING ONCE: function "qla82xx_pci_set_crbwindow_2M" has inline asm
KLEE: WARNING ONCE: function "qla82xx_rd_32" has inline asm
KLEE: WARNING ONCE: function "qla82xx_poll" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_restore" has inline asm
KLEE: WARNING ONCE: function "qla2x00_check_reg32_for_disconnect" has inline asm
KLEE: WARNING ONCE: function "qla82xx_mbx_completion" has inline asm
KLEE: WARNING ONCE: function "qla2x00_async_event" has inline asm
KLEE: WARNING ONCE: function "qla24xx_process_response_queue" has inline asm
KLEE: WARNING ONCE: function "qla2x00_error_entry" has inline asm
KLEE: WARNING ONCE: function "qla2x00_status_entry" has inline asm
KLEE: WARNING ONCE: function "qla24xx_report_id_acquisition" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_sp_from_handle" has inline asm
KLEE: WARNING ONCE: function "qlt_24xx_process_atio_queue" has inline asm
KLEE: WARNING ONCE: function "qlt_find_host_by_vp_idx" has inline asm
KLEE: WARNING ONCE: function "qlt_response_pkt" has inline asm
KLEE: WARNING ONCE: function "qlt_24xx_send_abts_resp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_start_iocbs" has inline asm
KLEE: WARNING ONCE: function "qla82xx_start_iocbs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_alloc_iocbs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_debounce_register___0" has inline asm
KLEE: WARNING ONCE: function "__qla2x00_marker" has inline asm
KLEE: WARNING ONCE: function "qlt_send_notify_ack" has inline asm
KLEE: WARNING ONCE: function "__qlt_send_term_exchange" has inline asm
KLEE: WARNING ONCE: function "pci_unmap_sg" has inline asm
KLEE: WARNING ONCE: function "qlt_chk_exch_leak_thresh_hold" has inline asm
KLEE: WARNING ONCE: function "__qlt_send_busy" has inline asm
KLEE: WARNING ONCE: function "kref_get" has inline asm
KLEE: WARNING ONCE: function "qlt_undelete_sess" has inline asm
KLEE: WARNING ONCE: function "qla2x00_process_completed_request" has inline asm
KLEE: WARNING ONCE: function "qla2x00_mark_device_lost" has inline asm
KLEE: WARNING ONCE: function "qla2x00_schedule_rport_del" has inline asm
KLEE: WARNING ONCE: function "qlt_async_event" has inline asm
KLEE: WARNING ONCE: function "qla2x00_process_response_queue" has inline asm
KLEE: WARNING ONCE: function "qla2x00_alert_all_vps" has inline asm
KLEE: WARNING ONCE: function "qla2x00_alloc_work" has inline asm
KLEE: WARNING ONCE: function "qlafx00_mailbox_command" has inline asm
KLEE: WARNING ONCE: function "qla2x00_poll___0" has inline asm
KLEE: WARNING ONCE: function "arch_local_irq_restore___0" has inline asm
KLEE: WARNING ONCE: function "qla2x00_setup_chip" has inline asm
KLEE: WARNING ONCE: function "qla8044_check_fw_alive" has inline asm
KLEE: WARNING ONCE: function "qla82xx_clear_pending_mbx" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_sp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sp_free_dma" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sp_compl" has inline asm
KLEE: WARNING ONCE: function "qla2x00_set_host_system_hostname" has inline asm
KLEE: WARNING ONCE: function "qla24xx_vport_delete" has inline asm
KLEE: WARNING ONCE: function "qla24xx_bsg_request" has inline asm
KLEE: WARNING ONCE: function "dma_map_sg_attrs___0" has inline asm
KLEE: WARNING ONCE: function "qla2x00_bsg_sp_free" has inline asm
KLEE: WARNING ONCE: function "qla2x00_start_sp" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_sg_attrs___0" has inline asm
KLEE: WARNING ONCE: function "qla81xx_set_loopback_mode" has inline asm
KLEE: WARNING ONCE: function "qla2x00_start_bidir" has inline asm
KLEE: WARNING ONCE: function "qlafx00_tm_iocb" has inline asm
KLEE: WARNING ONCE: function "qlafx00_fxdisc_iocb" has inline asm
KLEE: WARNING ONCE: function "qlafx00_abort_iocb" has inline asm
KLEE: WARNING ONCE: function "qla2x00_find_new_loop_id" has inline asm
KLEE: WARNING ONCE: function "qla2x00_clear_loop_id" has inline asm
KLEE: WARNING ONCE: function "qla24xx_deallocate_vp_id" has inline asm
KLEE: WARNING ONCE: function "qla25xx_init_req_que" has inline asm
KLEE: WARNING ONCE: function "qla25xx_free_req_que" has inline asm
KLEE: WARNING ONCE: function "qlt_free_cmd" has inline asm
KLEE: WARNING ONCE: function "qla24xx_create_vhost" has inline asm
KLEE: WARNING ONCE: function "qla25xx_create_req_que" has inline asm
KLEE: WARNING ONCE: function "qlt_add_target" has inline asm
KLEE: WARNING ONCE: function "qlt_sess_work_fn" has inline asm
KLEE: WARNING ONCE: function "qlt_rdy_to_xfer" has inline asm
KLEE: WARNING ONCE: function "qlt_xmit_response" has inline asm
KLEE: WARNING ONCE: function "qlt_pci_map_calc_cnt" has inline asm
KLEE: WARNING ONCE: function "qlt_check_reserve_free_req" has inline asm
KLEE: WARNING ONCE: function "qlt_build_ctio_crc2_pkt" has inline asm
KLEE: WARNING ONCE: function "qla24xx_walk_and_build_sglist_no_difb" has inline asm
KLEE: WARNING ONCE: function "qla24xx_walk_and_build_sglist" has inline asm
KLEE: WARNING ONCE: function "qla24xx_walk_and_build_prot_sglist" has inline asm
KLEE: WARNING ONCE: function "pci_map_sg" has inline asm
KLEE: WARNING ONCE: function "qla2x00_timer" has inline asm
KLEE: WARNING ONCE: function "qla82xx_watchdog" has inline asm
KLEE: WARNING ONCE: function "qla8044_watchdog" has inline asm
KLEE: WARNING ONCE: function "qlafx00_timer_routine" has inline asm
KLEE: WARNING ONCE: function "qlt_stop_phase1" has inline asm
KLEE: WARNING ONCE: function "qlt_xmit_tm_rsp" has inline asm
KLEE: WARNING ONCE: function "qlt_enable_vha" has inline asm
KLEE: WARNING ONCE: function "qla2100_pci_config" has inline asm
KLEE: WARNING ONCE: function "qla2x00_reset_chip" has inline asm
KLEE: WARNING ONCE: function "qla2x00_chip_diag" has inline asm
KLEE: WARNING ONCE: function "qla2x00_config_rings" has inline asm
KLEE: WARNING ONCE: function "qla2x00_reset_adapter" has inline asm
KLEE: WARNING ONCE: function "qla2x00_nvram_config" has inline asm
KLEE: WARNING ONCE: function "qla2100_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla2x00_enable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_disable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_read_nvram_data" has inline asm
KLEE: WARNING ONCE: function "qla2x00_write_nvram_data" has inline asm
KLEE: WARNING ONCE: function "qla2100_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla2x00_read_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla2x00_write_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_flash_version" has inline asm
KLEE: WARNING ONCE: function "qla2x00_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qla2x00_abort_isp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_initialize_adapter" has inline asm
KLEE: WARNING ONCE: function "qla8044_set_idc_dontreset" has inline asm
KLEE: WARNING ONCE: function "qla84xx_put_chip" has inline asm
KLEE: WARNING ONCE: function "qla83xx_reset_ownership" has inline asm
KLEE: WARNING ONCE: function "qla83xx_wait_logic" has inline asm
KLEE: WARNING ONCE: function "qla8044_clear_drv_active" has inline asm
KLEE: WARNING ONCE: function "qla8044_idc_unlock" has inline asm
KLEE: WARNING ONCE: function "qla8044_read_flash_data" has inline asm
KLEE: WARNING ONCE: function "qla8044_flash_lock" has inline asm
KLEE: WARNING ONCE: function "qla8044_rd_reg_indirect" has inline asm
KLEE: WARNING ONCE: function "qla8044_wr_reg_indirect" has inline asm
KLEE: WARNING ONCE: function "qla8044_set_win_base" has inline asm
KLEE: WARNING ONCE: function "qla24xx_read_flash_dword" has inline asm
KLEE: WARNING ONCE: function "qla25xx_init_rsp_que" has inline asm
KLEE: WARNING ONCE: function "dma_map_sg_attrs" has inline asm
KLEE: WARNING ONCE: function "qla2x00_read_flash_byte" has inline asm
KLEE: WARNING ONCE: function "qla2x00_suspend_hba" has inline asm
KLEE: WARNING ONCE: function "qla2x00_write_flash_byte" has inline asm
KLEE: WARNING ONCE: function "qla2x00_resume_hba" has inline asm
KLEE: WARNING ONCE: function "qla2x00_lock_nvram_access" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_nvram_word" has inline asm
KLEE: WARNING ONCE: function "qla2x00_nv_write" has inline asm
KLEE: WARNING ONCE: function "qla2x00_write_nvram_word" has inline asm
KLEE: WARNING ONCE: function "qla2x00_mbx_completion" has inline asm
KLEE: WARNING ONCE: function "qla2x00_handle_mbx_completion" has inline asm
KLEE: WARNING ONCE: function "qla2x00_debounce_register" has inline asm
KLEE: WARNING ONCE: function "qla2300_pci_config" has inline asm
KLEE: WARNING ONCE: function "qla2300_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla2300_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla2x00_beacon_on" has inline asm
KLEE: WARNING ONCE: function "qla2x00_beacon_blink" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_dump_ram" has inline asm
KLEE: WARNING ONCE: function "qla24xx_pci_config" has inline asm
KLEE: WARNING ONCE: function "qla24xx_reset_chip" has inline asm
KLEE: WARNING ONCE: function "qla24xx_config_rings" has inline asm
KLEE: WARNING ONCE: function "qla24xx_reset_adapter" has inline asm
KLEE: WARNING ONCE: function "qla24xx_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla24xx_enable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla24xx_disable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla24xx_write_nvram_data" has inline asm
KLEE: WARNING ONCE: function "qla24xx_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla24xx_beacon_on" has inline asm
KLEE: WARNING ONCE: function "qla24xx_beacon_off" has inline asm
KLEE: WARNING ONCE: function "qla24xx_beacon_blink" has inline asm
KLEE: WARNING ONCE: function "qla24xx_read_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla24xx_write_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla24xx_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qla24xx_write_flash_dword" has inline asm
KLEE: WARNING ONCE: function "qla24xx_pause_risc" has inline asm
KLEE: WARNING ONCE: function "qla24xx_soft_reset" has inline asm
KLEE: WARNING ONCE: function "qla24xx_dump_memory" has inline asm
KLEE: WARNING ONCE: function "qla24xx_dump_ram" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sp_free" has inline asm
KLEE: WARNING ONCE: function "qlafx00_fx_disc" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_check_risc_status" has inline asm
KLEE: WARNING ONCE: function "qla24xx_mbx_completion" has inline asm
KLEE: WARNING ONCE: function "qlt_24xx_config_rings" has inline asm
KLEE: WARNING ONCE: function "qla81xx_write_mpi_register" has inline asm
KLEE: WARNING ONCE: function "qla25xx_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla24xx_dif_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qla25xx_copy_mq" has inline asm
KLEE: WARNING ONCE: function "qla81xx_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla82xx_config_rings" has inline asm
KLEE: WARNING ONCE: function "qla82xx_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla82xx_enable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla82xx_disable_intrs" has inline asm
KLEE: WARNING ONCE: function "qla82xx_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qla82xx_abort_isp" has inline asm
KLEE: WARNING ONCE: function "qla82xx_idc_lock" has inline asm
KLEE: WARNING ONCE: function "qla82xx_set_reset_owner" has inline asm
KLEE: WARNING ONCE: function "qla8044_idc_lock" has inline asm
KLEE: WARNING ONCE: function "qla8044_device_state_handler" has inline asm
KLEE: WARNING ONCE: function "qla8044_device_bootstrap" has inline asm
KLEE: WARNING ONCE: function "qla8044_set_rst_ready" has inline asm
KLEE: WARNING ONCE: function "qla8044_clear_qsnt_ready" has inline asm
KLEE: WARNING ONCE: function "qla8044_flash_lock_recovery" has inline asm
KLEE: WARNING ONCE: function "qla8044_collect_md_data" has inline asm
KLEE: WARNING ONCE: function "qla82xx_md_collect" has inline asm
KLEE: WARNING ONCE: function "qla2x00_perform_loop_resync" has inline asm
KLEE: WARNING ONCE: function "qla2x00_loop_resync" has inline asm
KLEE: WARNING ONCE: function "qlafx00_configure_devices" has inline asm
KLEE: WARNING ONCE: function "qla2x00_fdmi_register" has inline asm
KLEE: WARNING ONCE: function "qla2x00_fdmiv2_rhba" has inline asm
KLEE: WARNING ONCE: function "qla82xx_rom_fast_read" has inline asm
KLEE: WARNING ONCE: function "qla82xx_pci_mem_write_2M" has inline asm
KLEE: WARNING ONCE: function "qla82xx_pci_is_same_window" has inline asm
KLEE: WARNING ONCE: function "qla82xx_pci_mem_read_2M" has inline asm
KLEE: WARNING ONCE: function "qla8044_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qla8044_write_optrom_data" has inline asm
KLEE: WARNING ONCE: function "qla8044_abort_isp" has inline asm
KLEE: WARNING ONCE: function "qla83xx_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qlafx00_soft_reset" has inline asm
KLEE: WARNING ONCE: function "qlafx00_config_rings" has inline asm
KLEE: WARNING ONCE: function "qlafx00_intr_handler" has inline asm
KLEE: WARNING ONCE: function "qlafx00_enable_intrs" has inline asm
KLEE: WARNING ONCE: function "qlafx00_disable_intrs" has inline asm
KLEE: WARNING ONCE: function "qlafx00_start_scsi" has inline asm
KLEE: WARNING ONCE: function "qlafx00_abort_isp" has inline asm
KLEE: WARNING ONCE: function "qlafx00_initialize_adapter" has inline asm
KLEE: WARNING ONCE: function "qlafx00_abort_isp_cleanup" has inline asm
KLEE: WARNING ONCE: function "qla2x00_probe_one" has inline asm
KLEE: WARNING ONCE: function "qla2x00_remove_one" has inline asm
KLEE: WARNING ONCE: function "qla2x00_delete_all_vps" has inline asm
KLEE: WARNING ONCE: function "qla2x00_dfs_remove" has inline asm
KLEE: WARNING ONCE: function "qla25xx_free_rsp_que" has inline asm
KLEE: WARNING ONCE: function "qla2x00_request_irqs" has inline asm
KLEE: WARNING ONCE: function "qla25xx_create_rsp_que" has inline asm
KLEE: WARNING ONCE: function "qla2x00_do_dpc" has inline asm
KLEE: WARNING ONCE: function "qla2x00_disable_board_on_pci_error" has inline asm
KLEE: WARNING ONCE: function "qla2x00_dfs_setup" has inline asm
KLEE: WARNING ONCE: function "qla2x00_do_work" has inline asm
KLEE: WARNING ONCE: function "qlafx00_rescan_isp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_update_fcports" has inline asm
KLEE: WARNING ONCE: function "qla2x00_relogin" has inline asm
KLEE: WARNING ONCE: function "qla2x00_do_dpc_all_vps" has inline asm
KLEE: WARNING ONCE: function "qla24xx_configure_vhba" has inline asm
KLEE: WARNING ONCE: function "qla2x00_async_login_done" has inline asm
KLEE: WARNING ONCE: function "qla2x00_async_adisc_done" has inline asm
KLEE: WARNING ONCE: function "qlafx00_process_aen" has inline asm
KLEE: WARNING ONCE: function "qla25xx_msix_rsp_q" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_pci_mmio_enabled" has inline asm
KLEE: WARNING ONCE: function "qla2xxx_pci_slot_reset" has inline asm
KLEE: WARNING ONCE: function "qla82xx_msix_default" has inline asm
KLEE: WARNING ONCE: function "qla82xx_msix_rsp_q" has inline asm
KLEE: WARNING ONCE: function "qla24xx_msix_default" has inline asm
KLEE: WARNING ONCE: function "qla24xx_msix_rsp_q" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sysfs_write_fw_dump" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sysfs_write_nvram" has inline asm
KLEE: WARNING ONCE: function "qla2x00_sysfs_write_reset" has inline asm
KLEE: WARNING ONCE: function "qla2x00_wait_for_fcoe_ctx_reset" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t257" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t258" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t259" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t260" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t261" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t267" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t270" has inline asm
KLEE: WARNING ONCE: function "qla27xx_fwdt_entry_t271" has inline asm
KLEE: WARNING ONCE: function "qla27xx_dump_mpi_ram" has inline asm
KLEE: WARNING ONCE: function "qla27xx_read_window" has inline asm
KLEE: WARNING ONCE: function "qla27xx_read16" has inline asm
KLEE: WARNING ONCE: function "qla27xx_read32" has inline asm
KLEE: WARNING ONCE: function "qla27xx_read8" has inline asm
KLEE: WARNING ONCE: function "qla2x00_get_thermal_temp" has inline asm
KLEE: WARNING ONCE: function "qla2x00_zio_store" has inline asm
KLEE: WARNING ONCE: function "qlafx00_init_response_q_entries" has inline asm
KLEE: WARNING ONCE: function "qla8044_rd_direct" has inline asm
KLEE: WARNING ONCE: function "qla8044_rd_reg" has inline asm
KLEE: WARNING ONCE: function "qla8044_wr_reg" has inline asm
KLEE: WARNING ONCE: function "qla8044_wr_direct" has inline asm
KLEE: WARNING ONCE: function "qla8044_need_reset" has inline asm
KLEE: WARNING ONCE: function "qla8044_read_temperature" has inline asm
KLEE: WARNING ONCE: function "main" has inline asm
KLEE: WARNING ONCE: function "ldv_main_exported_33" has inline asm
KLEE: WARNING ONCE: function "ldv_main_exported_32" has inline asm
KLEE: WARNING: undefined reference to function: delayed_work_timer_fn
KLEE: WARNING: undefined reference to function: mempool_free_slab
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: 15.7863690853
