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--net--wireless--ath--ath9k--ath9k.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.: 909 878 9653 71185
Removed infinite loop in dma_unmap_single_attrs
Removed infinite loop in ath_rx_remove_buffer
Removed infinite loop in ath_descdma_setup
Removed infinite loop in dma_map_single_attrs
Removed infinite loop in ath_txq_update
Removed infinite loop in ath_rx_buf_link
Removed infinite loop in dma_sync_single_for_device
Removed infinite loop in ath_tx_rc_status
Removed infinite loop in dma_sync_single_for_cpu
Removed infinite loop in ath_edma_get_buffers
Removed infinite loop in ldv_stop
Removed infinite loop in ldv_module_put_and_exit
INFO: Compilation, preparation and instrumentation time: 2.4833240509
Removed calls to 'ath_printk' (function is undefined)
Removed calls to '_raw_spin_unlock_irqrestore' (function is undefined)
Removed calls to 'ieee80211_free_txskb' (function is undefined)
Removed calls to 'mutex_lock_nested' (function is undefined)
Removed calls to '_raw_spin_lock_bh' (function is undefined)
Removed calls to 'ath9k_hw_cfg_output' (function is undefined)
Removed calls to 'ath9k_hw_set_gpio' (function is undefined)
Removed calls to 'ath9k_cmn_init_crypto' (function is undefined)
Removed calls to 'ath9k_hw_reset_tsf' (function is undefined)
Removed calls to '_raw_spin_unlock_bh' (function is undefined)
Removed calls to 'mutex_unlock' (function is undefined)
Removed calls to 'ath9k_hw_disable_interrupts' (function is undefined)
Removed calls to 'synchronize_irq' (function is undefined)
Removed calls to 'tasklet_kill' (function is undefined)
Removed calls to 'ath9k_hw_cfg_gpio_input' (function is undefined)
Removed calls to '__dev_kfree_skb_any' (function is undefined)
Removed calls to 'warn_slowpath_null' (function is undefined)
Removed calls to 'ath9k_hw_set_interrupts' (function is undefined)
Removed calls to 'ath9k_hw_enable_interrupts' (function is undefined)
Removed calls to 'ath9k_hw_wow_enable' (function is undefined)
Removed calls to '__list_add' (function is undefined)
Removed calls to 'list_del' (function is undefined)
Removed calls to 'ath9k_hw_write_associd' (function is undefined)
Removed calls to 'ath9k_hw_init_global_settings' (function is undefined)
Removed calls to 'ath9k_hw_setrxfilter' (function is undefined)
Removed calls to 'ath_key_delete' (function is undefined)
Removed calls to 'ath9k_hw_set_tx_filter' (function is undefined)
Removed calls to 'ath_dynack_node_init' (function is undefined)
Removed calls to 'ath_dynack_node_deinit' (function is undefined)
Removed calls to 'ath9k_hw_settsf64' (function is undefined)
Removed calls to 'ieee80211_start_tx_ba_cb_irqsafe' (function is undefined)
Removed calls to 'ieee80211_stop_tx_ba_cb_irqsafe' (function is undefined)
Removed calls to 'wiphy_rfkill_set_hw_state' (function is undefined)
Removed calls to 'ath9k_cmn_reload_chainmask' (function is undefined)
Removed calls to 'ieee80211_get_tx_rates' (function is undefined)
Removed calls to 'ieee80211_sta_set_buffered' (function is undefined)
Removed calls to '_raw_spin_lock' (function is undefined)
Removed calls to 'ath_hw_cycle_counters_update' (function is undefined)
Removed calls to '_raw_spin_unlock' (function is undefined)
Defining function _raw_spin_lock_irqsave as symbolic
Defining function ath9k_hw_setpower as symbolic
Defining function del_timer_sync as symbolic
Defining function mod_timer as symbolic
Removed calls to 'pci_set_master' (function is undefined)
Removed calls to 'dev_err' (function is undefined)
Removed calls to 'free_irq' (function is undefined)
Removed calls to 'ath9k_hw_name' (function is undefined)
Removed calls to '_dev_info' (function is undefined)
Removed calls to 'ieee80211_free_hw' (function is undefined)
Removed calls to 'wiphy_rfkill_stop_polling' (function is undefined)
Removed calls to 'ath9k_cmn_spectral_deinit_debug' (function is undefined)
Removed calls to 'ieee80211_unregister_hw' (function is undefined)
Removed calls to 'led_classdev_unregister' (function is undefined)
Removed calls to 'consume_skb' (function is undefined)
Removed calls to 'ath_gen_timer_free' (function is undefined)
Removed calls to 'ath9k_hw_deinit' (function is undefined)
Removed calls to 'release_firmware' (function is undefined)
Defining function ath9k_hw_releasetxqueue as symbolic
Removed calls to 'ar9003_mci_cleanup' (function is undefined)
Removed calls to 'debug_dma_unmap_page' (function is undefined)
Defining function device_init_wakeup as symbolic
Defining function pcim_enable_device as symbolic
Defining function printk as symbolic
Defining function pcim_iomap_regions as symbolic
Defining function pcim_iomap_table as symbolic
Removed calls to '__init_waitqueue_head' (function is undefined)
Removed calls to 'wait_for_completion' (function is undefined)
Removed calls to '__raw_spin_lock_init' (function is undefined)
Removed calls to '__mutex_init' (function is undefined)
Removed calls to 'tasklet_init' (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)
Removed calls to 'wiphy_rfkill_start_polling' (function is undefined)
Removed calls to 'ath_reg_notifier_apply' (function is undefined)
Removed calls to 'ath9k_hw_set_txpowerlimit' (function is undefined)
Removed calls to 'ath9k_cmn_update_txpow' (function is undefined)
Defining function ath_regd_init as symbolic
Removed calls to 'ath9k_hw_setup_statusring' (function is undefined)
Removed calls to 'ath9k_hw_set_rx_bufsize' (function is undefined)
Defining function ieee80211_register_hw as symbolic
Removed calls to 'ath9k_cmn_spectral_init_debug' (function is undefined)
Removed calls to 'ath9k_cmn_debug_recv' (function is undefined)
Removed calls to 'ath9k_cmn_debug_phy_err' (function is undefined)
Removed calls to 'ath9k_cmn_debug_base_eeprom' (function is undefined)
Removed calls to 'ath9k_cmn_debug_modal_eeprom' (function is undefined)
Defining function ath_is_world_regd as symbolic
Defining function regulatory_hint as symbolic
Defining function snprintf as symbolic
Defining function led_classdev_register as symbolic
Defining function __ieee80211_get_radio_led_name as symbolic
Defining function debugfs_create_dir as symbolic
Defining function debugfs_create_file as symbolic
Defining function debugfs_create_devm_seqfile as symbolic
Defining function debugfs_create_u32 as symbolic
Defining function debugfs_create_u8 as symbolic
Defining function debugfs_create_bool as symbolic
Defining function seq_printf as symbolic
Defining function seq_puts as symbolic
Defining function ath_opmode_to_string as symbolic
Defining function ath9k_hw_getrxfilter as symbolic
Defining function __ieee80211_create_tpt_led_trigger as symbolic
Removed calls to 'cfg80211_chandef_create' (function is undefined)
Defining function ath9k_cmn_get_channel as symbolic
Defining function ath_rxbuf_alloc as symbolic
Removed calls to 'debug_dma_map_page' (function is undefined)
Removed calls to 'debug_dma_mapping_error' (function is undefined)
Defining function __phys_addr as symbolic
Defining function dmam_alloc_coherent as symbolic
Defining function devm_kmalloc as symbolic
Removed calls to 'ieee80211_queue_delayed_work' (function is undefined)
Removed calls to 'ath9k_hw_kill_interrupts' (function is undefined)
Removed calls to 'ieee80211_queue_work' (function is undefined)
Defining function __msecs_to_jiffies as symbolic
Defining function wiphy_to_ieee80211_hw as symbolic
Removed calls to 'iowrite32' (function is undefined)
Defining function dfs_pattern_detector_init as symbolic
Removed calls to 'ar9003_hw_bb_watchdog_dbg_info' (function is undefined)
Removed calls to '__wake_up' (function is undefined)
Removed calls to 'ath_gen_timer_isr' (function is undefined)
Removed calls to 'ath9k_hw_check_nav' (function is undefined)
Removed calls to 'ath9k_hw_bstuck_nfcal' (function is undefined)
Removed calls to 'ath9k_hw_puttxbuf' (function is undefined)
Removed calls to 'ath9k_hw_txstart' (function is undefined)
Removed calls to 'ar9003_paprd_setup_gain_table' (function is undefined)
Removed calls to 'kfree_skb' (function is undefined)
Defining function ath9k_hw_init as symbolic
Removed calls to 'ath9k_hw_btcoex_init_scheme' (function is undefined)
Removed calls to 'ath9k_hw_btcoex_init_2wire' (function is undefined)
Removed calls to 'ath9k_hw_btcoex_init_3wire' (function is undefined)
Removed calls to 'ath9k_hw_init_btcoex_hw' (function is undefined)
Removed calls to 'ath9k_hw_btcoex_init_mci' (function is undefined)
Defining function ath9k_cmn_init_channels_rates as symbolic
Removed calls to 'ath9k_hw_request_gpio' (function is undefined)
Removed calls to 'ath9k_hw_ani_monitor' (function is undefined)
Defining function jiffies_to_msecs as symbolic
Defining function ath9k_hw_reset_calvalid as symbolic
Defining function ar9003_is_paprd_enabled as symbolic
Removed calls to 'ar9003_paprd_enable' (function is undefined)
Removed calls to 'ar9003_paprd_populate_single_table' (function is undefined)
Defining function ath9k_hw_getchan_noise as symbolic
Removed calls to 'ath9k_hw_gen_timer_stop' (function is undefined)
Removed calls to 'ieee80211_update_p2p_noa' (function is undefined)
Defining function ath_gen_timer_alloc as symbolic
Removed calls to 'complete' (function is undefined)
Removed calls to 'getrawmonotonic64' (function is undefined)
Defining function ath9k_hw_gettsf32 as symbolic
Removed calls to 'ath9k_hw_gen_timer_start' (function is undefined)
Removed calls to 'lock_acquire' (function is undefined)
Removed calls to 'lockdep_rcu_suspicious' (function is undefined)
Defining function ieee80211_find_sta as symbolic
Removed calls to 'lock_release' (function is undefined)
Defining function debug_lockdep_rcu_enabled as symbolic
Defining function rcu_is_watching as symbolic
Removed calls to 'ieee80211_tx_status' (function is undefined)
Defining function ath9k_hw_computetxtime as symbolic
Removed calls to 'ieee80211_wake_queue' (function is undefined)
Defining function ieee80211_hdrlen as symbolic
Defining function __memmove as symbolic
Defining function skb_pull as symbolic
Defining function jiffies_to_usecs as symbolic
Defining function ath9k_hw_get_tsf_offset as symbolic
Defining function ar9003_mci_setup as symbolic
Removed calls to 'ath9k_hw_btcoex_disable' (function is undefined)
Removed calls to 'ath9k_hw_btcoex_enable' (function is undefined)
Removed calls to 'ath9k_hw_btcoex_bt_stomp' (function is undefined)
Defining function ath9k_hw_gpio_get as symbolic
Defining function ar9003_mci_state as symbolic
Defining function ath9k_hw_beaconq_setup as symbolic
Defining function ath9k_hw_get_txq_props as symbolic
Defining function ath9k_hw_set_txq_props as symbolic
Defining function ath9k_hw_resettxqueue as symbolic
Defining function ath9k_hw_setuptxqueue as symbolic
Removed calls to 'ieee80211_remain_on_channel_expired' (function is undefined)
Defining function cancel_work_sync as symbolic
Defining function cancel_delayed_work_sync as symbolic
Removed calls to 'ieee80211_ready_on_channel' (function is undefined)
Removed calls to 'ieee80211_stop_queue' (function is undefined)
Removed calls to '__might_sleep' (function is undefined)
Removed calls to 'finish_wait' (function is undefined)
Defining function ath9k_hw_gettsf64 as symbolic
Removed calls to 'ath9k_cmn_spectral_scan_trigger' (function is undefined)
Removed calls to 'ieee80211_scan_completed' (function is undefined)
Defining function ieee80211_probereq_get as symbolic
Defining function skb_put as symbolic
Defining function ieee80211_tx_prepare_skb as symbolic
Defining function skb_push as symbolic
Defining function ath9k_cmn_get_hw_crypto_keytype as symbolic
Removed calls to 'disable_irq' (function is undefined)
Removed calls to 'enable_irq' (function is undefined)
Removed calls to 'ieee80211_stop_queues' (function is undefined)
Defining function ath9k_hw_reset as symbolic
Removed calls to 'ieee80211_wake_queues' (function is undefined)
Removed calls to 'ath_hw_setbssidmask' (function is undefined)
Removed calls to 'ath9k_hw_set_tsfadjust' (function is undefined)
Removed calls to 'ath9k_hw_setopmode' (function is undefined)
Removed calls to 'ath9k_hw_startpcureceive' (function is undefined)
Removed calls to 'ath9k_hw_putrxbuf' (function is undefined)
Removed calls to 'ath9k_cmn_beacon_config_ap' (function is undefined)
Removed calls to 'ath9k_cmn_beacon_config_adhoc' (function is undefined)
Removed calls to 'ath9k_hw_set_sta_beacon_timers' (function is undefined)
Defining function ath9k_cmn_beacon_config_sta as symbolic
Removed calls to 'ath9k_hw_beaconinit' (function is undefined)
Removed calls to 'ath9k_hw_setuprxdesc' (function is undefined)
Removed calls to 'ath9k_hw_setmcastfilter' (function is undefined)
Removed calls to '__list_del_entry' (function is undefined)
Removed calls to 'ath9k_hw_addrxbuf_edma' (function is undefined)
Removed calls to 'debug_dma_sync_single_for_device' (function is undefined)
Removed calls to 'ar9003_mci_send_wlan_channels' (function is undefined)
Defining function __usecs_to_jiffies as symbolic
Removed calls to 'ath9k_hw_abortpcurecv' (function is undefined)
Removed calls to 'ath9k_hw_abort_tx_dma' (function is undefined)
Defining function ath9k_hw_numtxpending as symbolic
Removed calls to 'ath_dynack_sample_tx_ts' (function is undefined)
Removed calls to 'ieee80211_sta_eosp' (function is undefined)
Defining function ieee80211_find_sta_by_ifaddr as symbolic
Removed calls to 'ieee80211_send_bar' (function is undefined)
Defining function ath9k_hw_stopdmarecv as symbolic
Removed calls to 'ath9k_cmn_debug_stat_rx' (function is undefined)
Removed calls to 'ath9k_cmn_process_rssi' (function is undefined)
Removed calls to 'ath9k_cmn_rx_skb_postprocess' (function is undefined)
Removed calls to 'skb_trim' (function is undefined)
Removed calls to 'ath9k_hw_setantenna' (function is undefined)
Removed calls to 'ath_dynack_sample_ack_ts' (function is undefined)
Removed calls to 'ieee80211_rx' (function is undefined)
Defining function pskb_expand_head as symbolic
Defining function ieee80211_parse_p2p_noa as symbolic
Defining function ath_cmn_process_fft as symbolic
Defining function ath9k_cmn_rx_accept as symbolic
Defining function ath_is_mybeacon as symbolic
Defining function ath9k_cmn_process_rate as symbolic
Removed calls to 'ieee80211_radar_detected' (function is undefined)
Defining function ath9k_hw_rxprocdesc as symbolic
Removed calls to 'debug_dma_sync_single_for_cpu' (function is undefined)
Defining function ath9k_hw_process_rxdesc_edma as symbolic
Defining function ieee80211_nullfunc_get as symbolic
Defining function prepare_to_wait_event as symbolic
Defining function schedule_timeout as symbolic
Defining function ar9003_get_pll_sqsum_dvc as symbolic
Defining function ar9003_paprd_init_table as symbolic
Defining function ar9003_paprd_is_done as symbolic
Defining function ar9003_paprd_create_curve as symbolic
Defining function wait_for_completion_timeout as symbolic
Defining function __alloc_skb as symbolic
Defining function ath9k_hw_setrxabort as symbolic
Defining function ath9k_hw_stop_dma_queue as symbolic
Removed calls to 'ieee80211_csa_finish' (function is undefined)
Defining function ieee80211_get_buffered_bc as symbolic
Defining function ieee80211_beacon_get_tim as symbolic
Defining function ieee80211_csa_is_complete as symbolic
Defining function ath9k_hw_check_alive as symbolic
Defining function ar9003_hw_bb_watchdog_check as symbolic
Removed calls to 'ieee80211_iterate_active_interfaces_atomic' (function is undefined)
Removed calls to 'ar9003_mci_get_interrupt' (function is undefined)
Defining function ar9003_mci_send_message as symbolic
Defining function ar9003_mci_get_next_gpm_offset as symbolic
Removed calls to 'ar9003_mci_set_bt_version' (function is undefined)
Removed calls to 'ath9k_hw_btcoex_set_concur_txprio' (function is undefined)
Defining function ath9k_hw_gettxbuf as symbolic
Defining function request_firmware_nowait as symbolic
Defining function ioread32 as symbolic
Defining function request_threaded_irq as symbolic
Defining function ath9k_hw_intrpend as symbolic
Removed calls to '__tasklet_schedule' (function is undefined)
Defining function ath9k_hw_updatetxtriglevel as symbolic
Defining function ieee80211_alloc_hw_nm as symbolic
Defining function pci_bus_write_config_dword as symbolic
Defining function pci_bus_read_config_dword as symbolic
Defining function pci_bus_write_config_byte as symbolic
Defining function pci_bus_read_config_byte as symbolic
Defining function dma_supported as symbolic
Defining function dma_set_mask as symbolic
Defining function pcie_capability_read_word as symbolic
Defining function pcie_capability_clear_and_set_word as symbolic
Defining function ath9k_hw_disable as symbolic
Defining function ath9k_hw_wait as symbolic
Defining function platform_get_resource as symbolic
Defining function devm_ioremap_nocache as symbolic
Defining function default_llseek as symbolic
Defining function simple_open as symbolic
Removed calls to '__might_fault' (function is undefined)
Removed calls to '__copy_from_user_overflow' (function is undefined)
Defining function kstrtoull as symbolic
Defining function _copy_from_user as symbolic
Defining function scnprintf as symbolic
Defining function simple_read_from_buffer as symbolic
Defining function strtobool as symbolic
Defining function sprintf as symbolic
Defining function kstrtou8_from_user as symbolic
Removed calls to 'vfree' (function is undefined)
Defining function vmalloc as symbolic
Defining function ath_key_config as symbolic
Removed calls to 'ath9k_hw_btcoex_set_weight' (function is undefined)
Defining function device_set_wakeup_enable as symbolic
Defining function ath9k_hw_wow_wakeup as symbolic
Defining function ath9k_hw_wow_apply_pattern as symbolic
Defining function ath9k_hw_phy_disable as symbolic
Defining function queue_work_on as symbolic
Defining function queue_delayed_work_on as symbolic
Removed calls to 'flush_workqueue' (function is undefined)
Removed calls to 'ldv_initialize' (function is undefined)
Removed calls to 'platform_driver_unregister' (function is undefined)
Removed calls to 'pci_unregister_driver' (function is undefined)
Defining function ldv_release_19 as symbolic
Defining function ldv_release_37 as symbolic
Defining function ldv_probe_37 as symbolic
Defining function ldv_release_34 as symbolic
Defining function ldv_probe_34 as symbolic
Defining function ldv_release_15 as symbolic
Defining function ldv_suspend_late_36 as symbolic
Defining function ldv_restore_early_36 as symbolic
Defining function ldv_resume_early_36 as symbolic
Defining function ldv_thaw_early_36 as symbolic
Defining function ldv_resume_noirq_36 as symbolic
Defining function ldv_freeze_noirq_36 as symbolic
Defining function ldv_prepare_36 as symbolic
Defining function ldv_freeze_late_36 as symbolic
Defining function ldv_thaw_noirq_36 as symbolic
Defining function ldv_poweroff_noirq_36 as symbolic
Defining function ldv_poweroff_late_36 as symbolic
Defining function ldv_restore_noirq_36 as symbolic
Defining function ldv_suspend_noirq_36 as symbolic
Defining function ldv_complete_36 as symbolic
Defining function ldv_release_29 as symbolic
Defining function ldv_release_23 as symbolic
Defining function __platform_driver_register as symbolic
Defining function __pci_register_driver as symbolic
Defining function ldv_shutdown_35 as symbolic
Defining function ldv_release_31 as symbolic
Defining function ldv_release_24 as symbolic
Defining function ldv_release_20 as symbolic
Defining function ldv_release_28 as symbolic
Defining function ldv_release_25 as symbolic
Defining function ldv_release_27 as symbolic
Defining function ldv_release_16 as symbolic
Defining function ldv_release_30 as symbolic
Defining function ldv_release_18 as symbolic
Defining function ldv_release_17 as symbolic
Defining function ldv_release_26 as symbolic
Defining function single_release as symbolic
Defining function seq_read as symbolic
Defining function seq_lseek as symbolic
Defining function single_open as symbolic
Defining function ldv_release_32 as symbolic
Linked our definitions to these undefined functions:
  memcmp
  strlen
  __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: 2.19165420532
INFO: Before verification stats: Globals/Functions/Blocks/Instr.: 930 788 5440 37312
INFO: Starting verification
KLEE: WARNING ONCE: function "ath9k_start" has inline asm
KLEE: WARNING ONCE: function "ath9k_stop" has inline asm
KLEE: WARNING ONCE: function "ath9k_suspend" has inline asm
KLEE: WARNING ONCE: function "ath9k_resume" has inline asm
KLEE: WARNING ONCE: function "ath9k_sw_scan_start" has inline asm
KLEE: WARNING ONCE: function "ath9k_sw_scan_complete" has inline asm
KLEE: WARNING ONCE: function "ath9k_tx_last_beacon" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_single_attrs" has inline asm
KLEE: WARNING ONCE: function "ath_rx_remove_buffer" has inline asm
KLEE: WARNING ONCE: function "ath9k_hw_scan" has inline asm
KLEE: WARNING ONCE: function "ath9k_init_device" has inline asm
KLEE: WARNING ONCE: function "ath_paprd_calibrate" has inline asm
KLEE: WARNING ONCE: function "dma_map_single_attrs" has inline asm
KLEE: WARNING ONCE: function "ath_descdma_setup" has inline asm
KLEE: WARNING ONCE: function "ath9k_queue_reset" 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 "ath_tx_addto_baw" has inline asm
KLEE: WARNING ONCE: function "ath_tx_update_baw" has inline asm
KLEE: WARNING ONCE: function "ath_tx_complete" has inline asm
KLEE: WARNING ONCE: function "ath9k_btcoex_timer_resume" has inline asm
KLEE: WARNING ONCE: function "ath_txq_update" has inline asm
KLEE: WARNING ONCE: function "ath_scan_complete" has inline asm
KLEE: WARNING ONCE: function "ath_reset" has inline asm
KLEE: WARNING ONCE: function "ath_reset_internal" has inline asm
KLEE: WARNING ONCE: function "ath_complete_reset" has inline asm
KLEE: WARNING ONCE: function "ath9k_calculate_summary_state" has inline asm
KLEE: WARNING ONCE: function "ath9k_set_beacon" has inline asm
KLEE: WARNING ONCE: function "ath_rx_buf_link" has inline asm
KLEE: WARNING ONCE: function "dma_sync_single_for_device" has inline asm
KLEE: WARNING ONCE: function "ath_chanctx_check_active" has inline asm
KLEE: WARNING ONCE: function "ath_tx_rc_status" has inline asm
KLEE: WARNING ONCE: function "ath_rx_tasklet" has inline asm
KLEE: WARNING ONCE: function "tasklet_schedule" has inline asm
KLEE: WARNING ONCE: function "write_file_ani" has inline asm
KLEE: WARNING ONCE: function "ath_check_ani" has inline asm
KLEE: WARNING ONCE: function "ath9k_beacon_config" has inline asm
KLEE: WARNING ONCE: function "ath9k_beacon_remove_slot" has inline asm
KLEE: WARNING ONCE: function "ath9k_tasklet" has inline asm
KLEE: WARNING ONCE: function "ath_mci_msg" has inline asm
KLEE: WARNING ONCE: function "ath_btcoex_period_timer" has inline asm
KLEE: WARNING ONCE: function "ldv_main_exported_38" has inline asm
KLEE: WARNING: undefined reference to function: delayed_work_timer_fn
KLEE: ERROR: /tmp/vcloud-vcloud-master/worker/working_dir_df42fe2c-a576-402b-9257-b42b87551395/symbiotic/lib/verifier/__VERIFIER_exit.c:6: abort failure
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING ONCE: Alignment of memory from call "malloc" is not modelled. Using alignment of 8.
KLEE: WARNING: killing 32188 states (over memory cap)
KLEE: WARNING: killing 30896 states (over memory cap)
KLEE: WARNING: killing 27815 states (over memory cap)
KLEE: WARNING: killing 28434 states (over memory cap)
KLEE: WARNING: killing 27464 states (over memory cap)
KLEE: WARNING: killing 27324 states (over memory cap)
KLEE: WARNING: killing 28163 states (over memory cap)
KLEE: WARNING: killing 28936 states (over memory cap)
KLEE: WARNING: killing 31375 states (over memory cap)
KLEE: WARNING: killing 31001 states (over memory cap)
KLEE: WARNING: killing 31524 states (over memory cap)
KLEE: WARNING: killing 31806 states (over memory cap)
KLEE: WARNING: killing 32974 states (over memory cap)
KLEE: WARNING: killing 33961 states (over memory cap)
KLEE: WARNING: killing 33849 states (over memory cap)
KLEE: WARNING: killing 31784 states (over memory cap)
KLEE: WARNING: killing 33007 states (over memory cap)
KLEE: WARNING: killing 29545 states (over memory cap)
KLEE: WARNING: killing 32284 states (over memory cap)
KLEE: WARNING: killing 29025 states (over memory cap)
KLEE: WARNING: killing 30942 states (over memory cap)
KLEE: WARNING: killing 28489 states (over memory cap)
KLEE: WARNING: killing 31595 states (over memory cap)
KLEE: WARNING: killing 30613 states (over memory cap)
KLEE: WARNING: killing 31022 states (over memory cap)
KLEE: WARNING: killing 32113 states (over memory cap)
KLEE: WARNING: killing 30390 states (over memory cap)
KLEE: WARNING: killing 30301 states (over memory cap)
KLEE: WARNING: killing 30699 states (over memory cap)
KLEE: WARNING: killing 30356 states (over memory cap)
KLEE: WARNING: killing 32188 states (over memory cap)
KLEE: WARNING: killing 31354 states (over memory cap)
KLEE: WARNING: killing 30811 states (over memory cap)
KLEE: WARNING: killing 30410 states (over memory cap)
KLEE: WARNING: killing 31684 states (over memory cap)
KLEE: WARNING: killing 31086 states (over memory cap)
KLEE: WARNING: killing 30800 states (over memory cap)
KLEE: WARNING: killing 30647 states (over memory cap)
KLEE: WARNING: killing 29938 states (over memory cap)
KLEE: WARNING: killing 31575 states (over memory cap)
KLEE: WARNING: killing 31229 states (over memory cap)
KLEE: WARNING: killing 30138 states (over memory cap)
KLEE: WARNING: killing 31220 states (over memory cap)
KLEE: WARNING: killing 31609 states (over memory cap)
KLEE: WARNING: killing 31090 states (over memory cap)
KLEE: WARNING: killing 32162 states (over memory cap)
KLEE: WARNING: killing 30647 states (over memory cap)
KLEE: WARNING: killing 31714 states (over memory cap)
KLEE: WARNING: killing 29910 states (over memory cap)
KLEE: WARNING: killing 31156 states (over memory cap)
KLEE: WARNING: killing 30518 states (over memory cap)
KLEE: WARNING: killing 31950 states (over memory cap)
KLEE: WARNING: killing 32342 states (over memory cap)
KLEE: WARNING: killing 32320 states (over memory cap)
KLEE: WARNING: killing 31548 states (over memory cap)
KLEE: WARNING: killing 29385 states (over memory cap)
KLEE: WARNING: killing 30567 states (over memory cap)
KLEE: WARNING ONCE: skipping fork (memory cap exceeded)
KLEE: WARNING: killing 28940 states (over memory cap)
KLEE: WARNING: killing 30358 states (over memory cap)
KLEE: WARNING: killing 31233 states (over memory cap)
KLEE: WARNING: killing 30906 states (over memory cap)
KLEE: WARNING: killing 30318 states (over memory cap)
KLEE: WARNING: killing 31543 states (over memory cap)
KLEE: WARNING: killing 32733 states (over memory cap)
KLEE: WARNING: killing 32522 states (over memory cap)
KLEE: WARNING: killing 31344 states (over memory cap)
KLEE: WARNING: killing 32279 states (over memory cap)
KLEE: WARNING: killing 29771 states (over memory cap)
KLEE: WARNING: killing 31726 states (over memory cap)
KLEE: WARNING: killing 30543 states (over memory cap)
KLEE: WARNING: killing 30384 states (over memory cap)
KLEE: WARNING: killing 31371 states (over memory cap)
KLEE: WARNING: killing 28774 states (over memory cap)
KLEE: WARNING: killing 31366 states (over memory cap)
KLEE: WARNING: killing 31629 states (over memory cap)
KLEE: WARNING: killing 31056 states (over memory cap)
KLEE: WARNING: killing 32041 states (over memory cap)
KLEE: WARNING: killing 31464 states (over memory cap)
KLEE: WARNING: killing 31437 states (over memory cap)
KLEE: WARNING: killing 31356 states (over memory cap)
KLEE: WARNING: killing 31572 states (over memory cap)
KLEE: WARNING: killing 30820 states (over memory cap)
KLEE: WARNING: killing 31205 states (over memory cap)
KLEE: WARNING: killing 31116 states (over memory cap)
KLEE: WARNING: killing 30133 states (over memory cap)
KLEE: WARNING: killing 32184 states (over memory cap)
KLEE: WARNING: killing 30432 states (over memory cap)
KLEE: WARNING: killing 30392 states (over memory cap)
KLEE: WARNING: killing 31190 states (over memory cap)
KLEE: WARNING: killing 31641 states (over memory cap)
KLEE: WARNING: killing 31435 states (over memory cap)
KLEE: WARNING: killing 29340 states (over memory cap)
KLEE: WARNING: killing 30140 states (over memory cap)
KLEE: WARNING: killing 33274 states (over memory cap)
KLEE: WARNING: killing 31206 states (over memory cap)
KLEE: WARNING: killing 29766 states (over memory cap)
KLEE: WARNING: killing 31373 states (over memory cap)
KLEE: WARNING: killing 31401 states (over memory cap)
KLEE: WARNING: killing 31028 states (over memory cap)
KLEE: WARNING: killing 30815 states (over memory cap)
KLEE: WARNING: killing 31960 states (over memory cap)
