bin/symbiotic --witness witness.graphml --no-slice --no-prepare --prp=../sv-benchmarks/c/Systems_DeviceDriversLinux64_ReachSafety.prp ../sv-benchmarks/c/ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-intel-ixgbe-ixgbe_true-unreach-call.cil.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.: 1905 1819 19383 117995
Removed infinite loop in ldv_assume
Removed infinite loop in ldv_stop
INFO: Compilation, preparation and instrumentation time: 4.08033084869
Defining function driver_for_each_device as symbolic
Defining function dca_add_requester as symbolic
Defining function dca_remove_requester as symbolic
Defining function dca3_get_tag as symbolic
Removed calls to '__napi_schedule' (function is undefined)
Defining function netdev_info as symbolic
Removed calls to 'ptp_clock_event' (function is undefined)
Defining function netdev_crit as symbolic
Defining function queue_work_on as symbolic
Defining function dev_err as symbolic
Removed calls to 'dca_unregister_notify' (function is undefined)
Removed calls to 'pci_unregister_driver' (function is undefined)
Removed calls to 'debugfs_remove_recursive' (function is undefined)
Removed calls to 'rcu_barrier' (function is undefined)
Removed calls to 'dca_register_notify' (function is undefined)
Defining function printk as symbolic
Defining function __pci_register_driver as symbolic
Defining function debugfs_create_dir as symbolic
Defining function netdev_err as symbolic
Defining function netdev_warn as symbolic
Defining function dev_warn as symbolic
Defining function ndo_dflt_bridge_getlink as symbolic
Defining function nla_find as symbolic
Removed calls to '_raw_spin_lock_bh' (function is undefined)
Removed calls to '_raw_spin_unlock_bh' (function is undefined)
Removed calls to 'warn_slowpath_null' (function is undefined)
Removed calls to 'put_page' (function is undefined)
Removed calls to 'skb_add_rx_frag' (function is undefined)
Removed calls to 'debug_dma_sync_single_range_for_device' (function is undefined)
Removed calls to '__dev_kfree_skb_any' (function is undefined)
Removed calls to '__free_pages' (function is undefined)
Defining function netif_receive_skb as symbolic
Defining function napi_gro_receive as symbolic
Defining function netif_rx as symbolic
Removed calls to 'debug_dma_unmap_sg' (function is undefined)
Defining function skb_put as symbolic
Defining function __pskb_pull_tail as symbolic
Defining function eth_type_trans as symbolic
Removed calls to '__ldv_spin_lock' (function is undefined)
Removed calls to '_raw_spin_unlock_irqrestore' (function is undefined)
Defining function timecounter_cyc2time as symbolic
Defining function skb_pad as symbolic
Removed calls to 'debug_dma_sync_single_range_for_cpu' (function is undefined)
Removed calls to 'debug_dma_unmap_page' (function is undefined)
Defining function __netdev_alloc_skb as symbolic
Removed calls to 'debug_dma_map_page' (function is undefined)
Removed calls to 'debug_dma_mapping_error' (function is undefined)
Defining function __alloc_pages_nodemask as symbolic
Removed calls to 'msleep' (function is undefined)
Removed calls to 'usleep_range' (function is undefined)
Removed calls to 'netif_carrier_off' (function is undefined)
Removed calls to 'synchronize_irq' (function is undefined)
Removed calls to '__might_sleep' (function is undefined)
Removed calls to '_raw_spin_lock' (function is undefined)
Removed calls to '_raw_spin_unlock' (function is undefined)
Removed calls to '__raw_spin_lock_init' (function is undefined)
Defining function netdev_all_upper_get_next_dev_rcu as symbolic
Defining function mod_timer as symbolic
Defining function netif_set_real_num_tx_queues as symbolic
Defining function netif_set_real_num_rx_queues as symbolic
Removed calls to '__const_udelay' (function is undefined)
Removed calls to 'consume_skb' (function is undefined)
Defining function find_first_bit as symbolic
Defining function find_next_bit as symbolic
Defining function netif_set_xps_queue as symbolic
Removed calls to '__local_bh_disable_ip' (function is undefined)
Removed calls to '__local_bh_enable_ip' (function is undefined)
Removed calls to 'dql_reset' (function is undefined)
Removed calls to 'timecounter_init' (function is undefined)
Defining function ktime_get_real as symbolic
Defining function del_timer_sync as symbolic
Defining function ldv_del_timer_sync as symbolic
Defining function find_first_zero_bit as symbolic
Defining function find_last_bit as symbolic
Removed calls to 'free_irq' (function is undefined)
Removed calls to 'pci_disable_msix' (function is undefined)
Removed calls to '__init_work' (function is undefined)
Removed calls to 'lockdep_init_map' (function is undefined)
Removed calls to 'vfree' (function is undefined)
Removed calls to 'debug_dma_free_coherent' (function is undefined)
Removed calls to 'dma_pool_destroy' (function is undefined)
Removed calls to 'dma_pool_free' (function is undefined)
Defining function irq_set_affinity_hint as symbolic
Defining function snprintf as symbolic
Removed calls to 'skb_tstamp_tx' (function is undefined)
Defining function ptp_clock_register as symbolic
Defining function _dev_info as symbolic
Defining function timecounter_read as symbolic
Defining function request_threaded_irq as symbolic
Defining function dma_pool_create as symbolic
Defining function __phys_addr as symbolic
Defining function vzalloc_node as symbolic
Defining function vzalloc as symbolic
Removed calls to 'debug_dma_alloc_coherent' (function is undefined)
Removed calls to 'pci_disable_msi' (function is undefined)
Removed calls to 'ldv_check_alloc_flags' (function is undefined)
Removed calls to 'ldv_after_alloc' (function is undefined)
Removed calls to 'netif_napi_add' (function is undefined)
Removed calls to 'napi_hash_add' (function is undefined)
Removed calls to 'napi_hash_del' (function is undefined)
Removed calls to 'netif_napi_del' (function is undefined)
Removed calls to 'kfree_call_rcu' (function is undefined)
Defining function __cpu_to_node as symbolic
Removed calls to 'dql_completed' (function is undefined)
Removed calls to 'napi_complete' (function is undefined)
Defining function netpoll_trap as symbolic
Defining function __kmalloc_node as symbolic
Removed calls to 'pci_disable_sriov' (function is undefined)
Defining function pci_enable_msi_block as symbolic
Defining function netdev_printk as symbolic
Defining function pci_vfs_assigned as symbolic
Defining function pci_enable_msix as symbolic
Defining function __bitmap_weight as symbolic
Defining function cancel_work_sync as symbolic
Removed calls to 'might_fault' (function is undefined)
Defining function mdio_mii_ioctl as symbolic
Defining function _copy_to_user as symbolic
Defining function _copy_from_user as symbolic
Removed calls to 'debug_dma_map_sg' (function is undefined)
Defining function dma_pool_alloc as symbolic
Defining function sg_next as symbolic
Removed calls to 'netdev_features_change' (function is undefined)
Defining function __alloc_percpu as symbolic
Defining function pci_find_ext_capability as symbolic
Defining function pci_bus_read_config_byte as symbolic
Defining function ndo_dflt_fdb_add as symbolic
Defining function dev_uc_add_excl as symbolic
Defining function dev_mc_add_excl as symbolic
Removed calls to 'lock_acquire' (function is undefined)
Removed calls to 'lockdep_rcu_suspicious' (function is undefined)
Removed calls to 'lock_release' (function is undefined)
Defining function debug_lockdep_rcu_enabled as symbolic
Defining function rcu_is_watching as symbolic
Defining function skb_copy_bits as symbolic
Removed calls to 'skb_clone_tx_timestamp' (function is undefined)
Defining function pskb_expand_head as symbolic
Defining function net_ratelimit as symbolic
Defining function csum_ipv6_magic as symbolic
Defining function eth_validate_addr as symbolic
Removed calls to 'pci_dev_put' (function is undefined)
Removed calls to 'netif_device_detach' (function is undefined)
Removed calls to 'pci_disable_device' (function is undefined)
Defining function pci_get_device as symbolic
Defining function pci_cleanup_aer_uncorrect_error_status as symbolic
Defining function pci_bus_write_config_dword as symbolic
Defining function pci_bus_read_config_dword as symbolic
Removed calls to 'netif_device_attach' (function is undefined)
Removed calls to 'pci_set_master' (function is undefined)
Removed calls to 'pci_restore_state' (function is undefined)
Defining function pci_enable_device_mem as symbolic
Defining function pci_save_state as symbolic
Defining function pci_wake_from_d3 as symbolic
Defining function pci_num_vf as symbolic
Removed calls to '__list_add' (function is undefined)
Defining function pci_enable_sriov as symbolic
Removed calls to 'rtnl_lock' (function is undefined)
Removed calls to 'rtnl_unlock' (function is undefined)
Defining function strlcpy as symbolic
Defining function dev_get_stats as symbolic
Defining function ethtool_op_get_link as symbolic
Defining function sprintf as symbolic
Defining function ptp_clock_index as symbolic
Defining function ethtool_op_get_ts_info as symbolic
Removed calls to 'debug_dma_sync_single_for_cpu' (function is undefined)
Removed calls to 'debug_dma_sync_single_for_device' (function is undefined)
Removed calls to 'kfree_skb' (function is undefined)
Defining function dev_close as symbolic
Defining function dev_open as symbolic
Defining function msleep_interruptible as symbolic
Defining function __alloc_skb as symbolic
Defining function vmalloc as symbolic
Defining function device_set_wakeup_enable as symbolic
Defining function pci_bus_read_config_word as symbolic
Defining function mdio45_probe as symbolic
Defining function pci_bus_write_config_word as symbolic
Removed calls to '__udelay' (function is undefined)
Defining function dcb_getapp as symbolic
Defining function dcb_ieee_delapp as symbolic
Defining function dcb_ieee_getapp_mask as symbolic
Defining function dcb_ieee_setapp as symbolic
Defining function kasprintf as symbolic
Defining function simple_read_from_buffer as symbolic
Removed calls to 'warn_slowpath_fmt' (function is undefined)
Removed calls to 'init_timer_key' (function is undefined)
Removed calls to 'iounmap' (function is undefined)
Removed calls to 'free_netdev' (function is undefined)
Removed calls to 'pci_release_selected_regions' (function is undefined)
Removed calls to 'unregister_netdev' (function is undefined)
Defining function pci_set_power_state as symbolic
Defining function pci_prepare_to_sleep as symbolic
Defining function pci_select_bars as symbolic
Defining function pci_disable_pcie_error_reporting as symbolic
Defining function dev_addr_del as symbolic
Defining function pci_request_selected_regions as symbolic
Defining function pci_enable_pcie_error_reporting as symbolic
Defining function pci_sriov_set_totalvfs as symbolic
Removed calls to 'print_hex_dump' (function is undefined)
Removed calls to 'netif_carrier_on' (function is undefined)
Defining function debugfs_create_file as symbolic
Defining function devm_hwmon_device_register_with_groups as symbolic
Defining function devm_kmalloc as symbolic
Defining function dev_addr_add as symbolic
Defining function register_netdev as symbolic
Defining function ldv_pre_register_netdev as symbolic
Defining function pcie_get_minimum_link as symbolic
Defining function pcie_capability_read_word as symbolic
Defining function ioremap_nocache as symbolic
Defining function alloc_etherdev_mqs as symbolic
Defining function dma_set_mask as symbolic
Defining function dma_supported as symbolic
Defining function simple_open as symbolic
Defining function simple_write_to_buffer as symbolic
Defining function sscanf as symbolic
Defining function external_allocated_data as symbolic
Removed calls to 'ldv_initialize' (function is undefined)
Removed calls to 'ldv_switch_to_interrupt_context' (function is undefined)
Removed calls to 'ldv_switch_to_process_context' (function is undefined)
Removed calls to 'ldv_pre_probe' (function is undefined)
Removed calls to 'ldv_assert' (function is undefined)
Linked our definitions to these undefined functions:
  memcmp
  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: 4.15148901939
INFO: Before verification stats: Globals/Functions/Blocks/Instr.: 1941 1483 10511 70604
INFO: Starting verification
KLEE: WARNING ONCE: function "__ixgbe_notify_dca" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_dca" has inline asm
KLEE: WARNING ONCE: function "ixgbe_update_dca" has inline asm
KLEE: WARNING ONCE: function "ixgbe_intr" has inline asm
KLEE: WARNING ONCE: function "ixgbe_irq_enable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_lsc" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_sfp_event" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_fan_failure" has inline asm
KLEE: WARNING ONCE: function "ixgbe_irq_enable_queues" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_reg" has inline asm
KLEE: WARNING ONCE: function "ixgbe_msix_other" has inline asm
KLEE: WARNING ONCE: function "ixgbe_msg_task" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vf_reset_event" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ndo_set_vf_spoofchk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vmolr" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rx_mode" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_filter_enable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_restore_vf_multicasts" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_strip_enable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_strip_disable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ndo_bridge_setlink" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clean_rx_irq" has inline asm
KLEE: WARNING ONCE: function "ixgbe_alloc_rx_buffers" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_page" has inline asm
KLEE: WARNING ONCE: function "__ixgbe_ptp_rx_hwtstamp" has inline asm
KLEE: WARNING ONCE: function "dma_map_page" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reinit_locked" has inline asm
KLEE: WARNING ONCE: function "ixgbe_down" has inline asm
KLEE: WARNING ONCE: function "ixgbe_configure" has inline asm
KLEE: WARNING ONCE: function "ixgbe_up_complete" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_ivar" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_eitr" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_enable_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_set_input_mask_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_write_perfect_filter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_configure_fcoe" has inline asm
KLEE: WARNING ONCE: function "ixgbe_configure_tx_ring" has inline asm
KLEE: WARNING ONCE: function "ixgbe_configure_rx_ring" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fwd_ring_up" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_fwd_ring" has inline asm
KLEE: WARNING ONCE: function "netif_tx_stop_queue" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_rx_queue" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_pfc_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_pfc_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_rx_arbiter_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_tx_desc_arbiter_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_tx_data_arbiter_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_rx_arbiter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_tx_desc_arbiter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_tx_data_arbiter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_hw_config_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_hw_config_82599" has inline asm
KLEE: WARNING ONCE: function "netif_tx_disable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_tx_rx" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clean_tx_ring" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_single_attrs" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_reset" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_start_cyclecounter" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_setup_sdp" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_read" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fwd_add" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_tc" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_interrupt_scheme" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_fcoe_ddp_resources" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_init" has inline asm
KLEE: WARNING ONCE: function "ixgbe_free_fcoe_ddp_resources" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fcoe_ddp_put" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_adjfreq" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_tx_hwtstamp_work" has inline asm
KLEE: WARNING ONCE: function "dma_free_attrs" has inline asm
KLEE: WARNING ONCE: function "dma_map_single_attrs" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_sriov" has inline asm
KLEE: WARNING ONCE: function "ixgbe_alloc_q_vector" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_hw_control" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fwd_del" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_hwtstamp_ioctl" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fcoe_ddp_setup" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fcoe_enable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_stats64" has inline asm
KLEE: WARNING ONCE: function "ixgbe_select_queue" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vf_rate_limit" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ndo_set_vf_vlan" has inline asm
KLEE: WARNING ONCE: function "ixgbe_xmit_frame_ring" has inline asm
KLEE: WARNING ONCE: function "ixgbe_maybe_stop_tx" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_add_signature_filter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_rx_add_vid" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_rx_kill_vid" has inline asm
KLEE: WARNING ONCE: function "ixgbe_io_slot_reset" has inline asm
KLEE: WARNING ONCE: function "__ixgbe_enable_sriov" has inline asm
KLEE: WARNING ONCE: function "ixgbe_test_intr" has inline asm
KLEE: WARNING ONCE: function "ixgbe_update_stats" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_regs" has inline asm
KLEE: WARNING ONCE: function "ixgbe_diag_test" has inline asm
KLEE: WARNING ONCE: function "reg_pattern_test" has inline asm
KLEE: WARNING ONCE: function "ixgbe_free_desc_rings" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_phys_id" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_ringparam" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rxnfc" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_erase_perfect_filter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_tx_laser_multispeed_fiber" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_tx_laser_multispeed_fiber" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_mac_link_multispeed_fiber" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_mac_link_smartspeed" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_mac_link_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset_pipeline_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_acquire_swfw_sync" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_eeprom_semaphore" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_eeprom_semaphore" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_swfw_sync" has inline asm
KLEE: WARNING ONCE: function "ixgbe_blink_led_start_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_blink_led_stop_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_link_capabilities_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_thermal_sensor_data_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_phy_ops_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_i2c_byte_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_i2c_byte_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_copper_link_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_i2c_byte_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_i2c_start" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clock_out_i2c_byte" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_i2c_ack" has inline asm
KLEE: WARNING ONCE: function "ixgbe_i2c_stop" has inline asm
KLEE: WARNING ONCE: function "ixgbe_i2c_bus_clear" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_i2c_data" has inline asm
KLEE: WARNING ONCE: function "ixgbe_raise_i2c_clk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_lower_i2c_clk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clock_out_i2c_bit" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_i2c_byte_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_eeprom_params_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_thermal_sensor_thresh_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_mng_enabled" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_analog_reg8_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_sfp_modules_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_stop_mac_link_on_d3_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_analog_reg8_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_rx_dma_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_supported_physical_layer_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_eerd_buffer_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_acquire_eeprom" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_eeprom" has inline asm
KLEE: WARNING ONCE: function "ixgbe_shift_out_eeprom_bits" has inline asm
KLEE: WARNING ONCE: function "ixgbe_shift_in_eeprom_bits" has inline asm
KLEE: WARNING ONCE: function "ixgbe_standby_eeprom" has inline asm
KLEE: WARNING ONCE: function "ixgbe_raise_eeprom_clk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_lower_eeprom_clk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_poll_eerd_eewr_done" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset_hw_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_tx_pending" has inline asm
KLEE: WARNING ONCE: function "ixgbe_start_hw_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_start_hw_gen2" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_phy_reg_mdi" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_lan_id_multi_port_pcie" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_phy_reg_mdi" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_mac_link_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_vfta_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_vmdq_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fc_enable_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fc_autoneg" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_link_capabilities_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_supported_physical_layer_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_start_mac_link_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_analog_reg8_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_i2c_phy_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset_hw_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rxpba_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vfta_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vmdq_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_mac_link_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_start_hw_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_analog_reg8_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_mbx_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_mbx_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_for_rst_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_for_bit_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_obtain_mbx_lock_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_mac_link_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_hw_cntrs_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_rar_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_vfta_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_vmdq_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_mc_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_rx_buff_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_mc_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_rx_buff_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_rx_dma_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fc_enable_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_mac_addr_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_rx_addrs_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_uta_tables_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_led_off_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_led_on_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_phy_reg_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_swfw_sync_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_swfw_sync_semaphore" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_swfw_sync_semaphore" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset_hw_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_fw_drv_ver_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_mac_anti_spoofing" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rar_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rxpba_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vfta_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vlan_anti_spoofing" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vmdq_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vmdq_san_mac_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_stop_adapter_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_update_mc_addr_list_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_eewr_buffer_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_phy_reg_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_eeprom_params_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_update_eeprom_checksum_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_poll_flash_update_done_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_acquire_swfw_sync_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_blink_led_start_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_blink_led_stop_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcbnl_ieee_setapp" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcbnl_ieee_delapp" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcbnl_set_all" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rx_drop_en" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcbnl_devreset" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_read_rtrup2tc" has inline asm
KLEE: WARNING ONCE: function "ixgbe_probe" has inline asm
KLEE: WARNING ONCE: function "ixgbe_remove" has inline asm
KLEE: WARNING ONCE: function "ixgbe_resume" has inline asm
KLEE: WARNING ONCE: function "__ixgbe_shutdown" has inline asm
KLEE: WARNING ONCE: function "ixgbe_service_timer" has inline asm
KLEE: WARNING ONCE: function "ixgbe_service_task" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reinit_fdir_tables_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_rx_hang" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dbg_reg_ops_write" has inline asm
KLEE: WARNING ONCE: function "ixgbe_poll" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_6_141" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_6_144" has inline asm
KLEE: WARNING ONCE: function "ldv_net_dummy_resourceless_instance_6" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_8" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_9" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_10" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_11" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_12" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_13" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_13_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_13_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_13_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_13_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_12_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_12_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_12_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_12_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_11_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_11_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_11_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_11_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_10_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_10_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_10_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_10_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_9_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_9_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_9_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_9_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_8_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_8_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_8_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_8_75" has inline asm
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-0nsrfl/klee-out-0"
KLEE: Using STP solver backend
KLEE: WARNING ONCE: function "__ixgbe_notify_dca" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_dca" has inline asm
KLEE: WARNING ONCE: function "ixgbe_update_dca" has inline asm
KLEE: WARNING ONCE: function "ixgbe_intr" has inline asm
KLEE: WARNING ONCE: function "ixgbe_irq_enable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_lsc" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_sfp_event" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_fan_failure" has inline asm
KLEE: WARNING ONCE: function "ixgbe_irq_enable_queues" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_reg" has inline asm
KLEE: WARNING ONCE: function "ixgbe_msix_other" has inline asm
KLEE: WARNING ONCE: function "ixgbe_msg_task" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vf_reset_event" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ndo_set_vf_spoofchk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vmolr" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rx_mode" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_filter_enable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_restore_vf_multicasts" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_strip_enable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_strip_disable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ndo_bridge_setlink" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clean_rx_irq" has inline asm
KLEE: WARNING ONCE: function "ixgbe_alloc_rx_buffers" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_page" has inline asm
KLEE: WARNING ONCE: function "__ixgbe_ptp_rx_hwtstamp" has inline asm
KLEE: WARNING ONCE: function "dma_map_page" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reinit_locked" has inline asm
KLEE: WARNING ONCE: function "ixgbe_down" has inline asm
KLEE: WARNING ONCE: function "ixgbe_configure" has inline asm
KLEE: WARNING ONCE: function "ixgbe_up_complete" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_ivar" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_eitr" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_enable_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_set_input_mask_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_write_perfect_filter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_configure_fcoe" has inline asm
KLEE: WARNING ONCE: function "ixgbe_configure_tx_ring" has inline asm
KLEE: WARNING ONCE: function "ixgbe_configure_rx_ring" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fwd_ring_up" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_fwd_ring" has inline asm
KLEE: WARNING ONCE: function "netif_tx_stop_queue" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_rx_queue" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_pfc_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_pfc_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_rx_arbiter_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_tx_desc_arbiter_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_tx_data_arbiter_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_rx_arbiter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_tx_desc_arbiter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_config_tx_data_arbiter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_hw_config_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_hw_config_82599" has inline asm
KLEE: WARNING ONCE: function "netif_tx_disable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_tx_rx" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clean_tx_ring" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_single_attrs" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_reset" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_start_cyclecounter" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_setup_sdp" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_read" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fwd_add" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_tc" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_interrupt_scheme" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_fcoe_ddp_resources" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_init" has inline asm
KLEE: WARNING ONCE: function "ixgbe_free_fcoe_ddp_resources" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fcoe_ddp_put" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_adjfreq" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_tx_hwtstamp_work" has inline asm
KLEE: WARNING ONCE: function "dma_free_attrs" has inline asm
KLEE: WARNING ONCE: function "dma_map_single_attrs" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_sriov" has inline asm
KLEE: WARNING ONCE: function "ixgbe_alloc_q_vector" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_hw_control" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fwd_del" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_hwtstamp_ioctl" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fcoe_ddp_setup" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fcoe_enable" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_stats64" has inline asm
KLEE: WARNING ONCE: function "ixgbe_select_queue" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vf_rate_limit" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ndo_set_vf_vlan" has inline asm
KLEE: WARNING ONCE: function "ixgbe_xmit_frame_ring" has inline asm
KLEE: WARNING ONCE: function "ixgbe_maybe_stop_tx" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_add_signature_filter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_rx_add_vid" has inline asm
KLEE: WARNING ONCE: function "ixgbe_vlan_rx_kill_vid" has inline asm
KLEE: WARNING ONCE: function "ixgbe_io_slot_reset" has inline asm
KLEE: WARNING ONCE: function "__ixgbe_enable_sriov" has inline asm
KLEE: WARNING ONCE: function "ixgbe_test_intr" has inline asm
KLEE: WARNING ONCE: function "ixgbe_update_stats" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_regs" has inline asm
KLEE: WARNING ONCE: function "ixgbe_diag_test" has inline asm
KLEE: WARNING ONCE: function "reg_pattern_test" has inline asm
KLEE: WARNING ONCE: function "ixgbe_free_desc_rings" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_phys_id" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_ringparam" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rxnfc" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fdir_erase_perfect_filter_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_tx_laser_multispeed_fiber" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_tx_laser_multispeed_fiber" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_mac_link_multispeed_fiber" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_mac_link_smartspeed" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_mac_link_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset_pipeline_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_acquire_swfw_sync" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_eeprom_semaphore" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_eeprom_semaphore" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_swfw_sync" has inline asm
KLEE: WARNING ONCE: function "ixgbe_blink_led_start_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_blink_led_stop_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_link_capabilities_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_thermal_sensor_data_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_phy_ops_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_i2c_byte_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_i2c_byte_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_copper_link_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_i2c_byte_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_i2c_start" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clock_out_i2c_byte" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_i2c_ack" has inline asm
KLEE: WARNING ONCE: function "ixgbe_i2c_stop" has inline asm
KLEE: WARNING ONCE: function "ixgbe_i2c_bus_clear" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_i2c_data" has inline asm
KLEE: WARNING ONCE: function "ixgbe_raise_i2c_clk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_lower_i2c_clk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clock_out_i2c_bit" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_i2c_byte_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_eeprom_params_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_thermal_sensor_thresh_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_mng_enabled" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_analog_reg8_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_sfp_modules_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_stop_mac_link_on_d3_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_analog_reg8_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_rx_dma_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_supported_physical_layer_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_eerd_buffer_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_acquire_eeprom" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_eeprom" has inline asm
KLEE: WARNING ONCE: function "ixgbe_shift_out_eeprom_bits" has inline asm
KLEE: WARNING ONCE: function "ixgbe_shift_in_eeprom_bits" has inline asm
KLEE: WARNING ONCE: function "ixgbe_standby_eeprom" has inline asm
KLEE: WARNING ONCE: function "ixgbe_raise_eeprom_clk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_lower_eeprom_clk" has inline asm
KLEE: WARNING ONCE: function "ixgbe_poll_eerd_eewr_done" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset_hw_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_tx_pending" has inline asm
KLEE: WARNING ONCE: function "ixgbe_start_hw_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_start_hw_gen2" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_phy_reg_mdi" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_lan_id_multi_port_pcie" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_phy_reg_mdi" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_mac_link_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_vfta_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_vmdq_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fc_enable_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fc_autoneg" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_link_capabilities_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_supported_physical_layer_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_start_mac_link_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_analog_reg8_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_i2c_phy_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset_hw_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rxpba_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vfta_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vmdq_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_setup_mac_link_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_start_hw_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_analog_reg8_82598" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_mbx_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_mbx_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_for_rst_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_for_bit_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_obtain_mbx_lock_pf" has inline asm
KLEE: WARNING ONCE: function "ixgbe_check_mac_link_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_hw_cntrs_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_rar_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_vfta_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_clear_vmdq_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_mc_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_disable_rx_buff_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_mc_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_rx_buff_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_enable_rx_dma_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_fc_enable_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_mac_addr_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_rx_addrs_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_uta_tables_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_led_off_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_led_on_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_read_phy_reg_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_swfw_sync_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_get_swfw_sync_semaphore" has inline asm
KLEE: WARNING ONCE: function "ixgbe_release_swfw_sync_semaphore" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reset_hw_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_fw_drv_ver_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_mac_anti_spoofing" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rar_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rxpba_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vfta_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vlan_anti_spoofing" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vmdq_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_vmdq_san_mac_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_stop_adapter_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_update_mc_addr_list_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_eewr_buffer_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_write_phy_reg_generic" has inline asm
KLEE: WARNING ONCE: function "ixgbe_init_eeprom_params_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_update_eeprom_checksum_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_poll_flash_update_done_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_acquire_swfw_sync_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_blink_led_start_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_blink_led_stop_X540" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcbnl_ieee_setapp" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcbnl_ieee_delapp" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcbnl_set_all" has inline asm
KLEE: WARNING ONCE: function "ixgbe_set_rx_drop_en" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcbnl_devreset" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dcb_read_rtrup2tc" has inline asm
KLEE: WARNING ONCE: function "ixgbe_probe" has inline asm
KLEE: WARNING ONCE: function "ixgbe_remove" has inline asm
KLEE: WARNING ONCE: function "ixgbe_resume" has inline asm
KLEE: WARNING ONCE: function "__ixgbe_shutdown" has inline asm
KLEE: WARNING ONCE: function "ixgbe_service_timer" has inline asm
KLEE: WARNING ONCE: function "ixgbe_service_task" has inline asm
KLEE: WARNING ONCE: function "ixgbe_reinit_fdir_tables_82599" has inline asm
KLEE: WARNING ONCE: function "ixgbe_ptp_rx_hang" has inline asm
KLEE: WARNING ONCE: function "ixgbe_dbg_reg_ops_write" has inline asm
KLEE: WARNING ONCE: function "ixgbe_poll" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_6_141" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_6_144" has inline asm
KLEE: WARNING ONCE: function "ldv_net_dummy_resourceless_instance_6" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_8" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_9" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_10" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_11" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_12" has inline asm
KLEE: WARNING ONCE: function "ldv_struct_ixgbe_phy_operations_dummy_resourceless_instance_13" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_13_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_13_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_13_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_13_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_12_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_12_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_12_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_12_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_11_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_11_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_11_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_11_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_10_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_10_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_10_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_10_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_9_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_9_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_9_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_9_75" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_8_37" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_8_39" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_8_41" has inline asm
KLEE: WARNING ONCE: function "ldv_dummy_resourceless_instance_callback_8_75" has inline asm
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: 9.6408970356
