./Ultimate.py --spec ../../sv-benchmarks/c/properties/unreach-call.prp --file ../../sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 38b53e6a Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/config/TaipanReach.xml -i ../../sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/config/svcomp-Reach-64bit-Taipan_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 32b4e30d5a1880920f93e7d11103e760f5a0ee7c9527e7608537b1786282dd04 --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-38b53e6 [2022-11-25 23:17:32,723 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 23:17:32,726 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 23:17:32,760 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 23:17:32,761 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 23:17:32,765 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 23:17:32,768 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 23:17:32,772 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 23:17:32,775 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 23:17:32,783 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 23:17:32,785 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 23:17:32,788 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 23:17:32,789 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 23:17:32,795 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 23:17:32,797 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 23:17:32,800 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 23:17:32,802 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 23:17:32,803 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 23:17:32,804 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 23:17:32,806 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 23:17:32,808 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 23:17:32,809 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 23:17:32,811 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 23:17:32,812 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 23:17:32,816 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 23:17:32,816 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 23:17:32,816 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 23:17:32,818 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 23:17:32,818 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 23:17:32,819 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 23:17:32,820 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 23:17:32,821 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 23:17:32,822 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 23:17:32,823 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 23:17:32,824 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 23:17:32,824 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 23:17:32,825 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 23:17:32,826 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 23:17:32,826 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 23:17:32,827 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 23:17:32,828 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 23:17:32,829 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/config/svcomp-Reach-64bit-Taipan_Default.epf [2022-11-25 23:17:32,856 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 23:17:32,857 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 23:17:32,857 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 23:17:32,858 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 23:17:32,858 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 23:17:32,859 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 23:17:32,859 INFO L138 SettingsManager]: * User list type=DISABLED [2022-11-25 23:17:32,860 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-11-25 23:17:32,860 INFO L138 SettingsManager]: * Explicit value domain=true [2022-11-25 23:17:32,860 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2022-11-25 23:17:32,860 INFO L138 SettingsManager]: * Octagon Domain=false [2022-11-25 23:17:32,861 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2022-11-25 23:17:32,861 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2022-11-25 23:17:32,861 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2022-11-25 23:17:32,862 INFO L138 SettingsManager]: * Interval Domain=false [2022-11-25 23:17:32,862 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2022-11-25 23:17:32,862 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2022-11-25 23:17:32,862 INFO L138 SettingsManager]: * Simplification Technique=POLY_PAC [2022-11-25 23:17:32,863 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 23:17:32,864 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 23:17:32,864 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 23:17:32,864 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2022-11-25 23:17:32,864 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 23:17:32,865 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2022-11-25 23:17:32,865 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2022-11-25 23:17:32,865 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 23:17:32,866 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2022-11-25 23:17:32,866 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 23:17:32,866 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 23:17:32,866 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 23:17:32,867 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 23:17:32,867 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2022-11-25 23:17:32,867 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 23:17:32,868 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2022-11-25 23:17:32,868 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2022-11-25 23:17:32,868 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-11-25 23:17:32,868 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2022-11-25 23:17:32,869 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2022-11-25 23:17:32,869 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Taipan Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 32b4e30d5a1880920f93e7d11103e760f5a0ee7c9527e7608537b1786282dd04 [2022-11-25 23:17:33,155 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 23:17:33,195 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 23:17:33,198 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 23:17:33,200 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 23:17:33,200 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 23:17:33,202 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/../../sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i [2022-11-25 23:17:36,463 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 23:17:37,762 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 23:17:37,763 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i [2022-11-25 23:17:37,892 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/data/eb2ef6cd2/3a0df065ce694e41a6ec92530d6014c7/FLAGc7f46db4a [2022-11-25 23:17:37,910 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/data/eb2ef6cd2/3a0df065ce694e41a6ec92530d6014c7 [2022-11-25 23:17:37,913 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 23:17:37,915 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 23:17:37,916 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 23:17:37,917 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 23:17:37,922 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 23:17:37,924 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 11:17:37" (1/1) ... [2022-11-25 23:17:37,926 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@11269d35 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:37, skipping insertion in model container [2022-11-25 23:17:37,926 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 11:17:37" (1/1) ... [2022-11-25 23:17:37,936 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 23:17:38,470 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 23:17:40,005 WARN L623 FunctionHandler]: Unknown extern function __bitmap_weight [2022-11-25 23:17:40,389 WARN L623 FunctionHandler]: Unknown extern function __local_bh_disable_ip [2022-11-25 23:17:40,409 WARN L623 FunctionHandler]: Unknown extern function __local_bh_enable_ip [2022-11-25 23:17:40,522 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-11-25 23:17:40,565 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_bh [2022-11-25 23:17:40,595 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-11-25 23:17:40,635 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_bh [2022-11-25 23:17:40,663 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-11-25 23:17:40,817 WARN L623 FunctionHandler]: Unknown extern function queue_work_on [2022-11-25 23:17:41,178 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 23:17:41,441 WARN L623 FunctionHandler]: Unknown extern function might_fault [2022-11-25 23:17:41,445 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-11-25 23:17:41,446 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-11-25 23:17:41,447 WARN L623 FunctionHandler]: Unknown extern function __copy_from_user_overflow [2022-11-25 23:17:41,461 WARN L623 FunctionHandler]: Unknown extern function might_fault [2022-11-25 23:17:41,462 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-11-25 23:17:41,463 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-11-25 23:17:41,464 WARN L623 FunctionHandler]: Unknown extern function __copy_to_user_overflow [2022-11-25 23:17:41,631 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 23:17:41,637 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 23:17:41,637 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 23:17:41,652 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 23:17:41,668 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 23:17:41,685 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 23:17:41,701 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_cpu [2022-11-25 23:17:41,714 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_device [2022-11-25 23:17:41,727 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-11-25 23:17:41,785 WARN L623 FunctionHandler]: Unknown extern function debug_dma_alloc_coherent [2022-11-25 23:17:41,801 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 23:17:41,804 WARN L623 FunctionHandler]: Unknown extern function debug_dma_free_coherent [2022-11-25 23:17:41,818 WARN L623 FunctionHandler]: Unknown extern function dma_supported [2022-11-25 23:17:42,173 WARN L623 FunctionHandler]: Unknown extern function skb_tstamp_tx [2022-11-25 23:17:42,185 WARN L623 FunctionHandler]: Unknown extern function skb_clone_tx_timestamp [2022-11-25 23:17:42,314 WARN L623 FunctionHandler]: Unknown extern function __napi_schedule [2022-11-25 23:17:42,341 WARN L623 FunctionHandler]: Unknown extern function __might_sleep [2022-11-25 23:17:42,342 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:42,469 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-11-25 23:17:42,506 WARN L623 FunctionHandler]: Unknown extern function netpoll_trap [2022-11-25 23:17:42,507 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-11-25 23:17:42,547 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 23:17:42,548 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:17:42,596 WARN L623 FunctionHandler]: Unknown extern function dql_completed [2022-11-25 23:17:42,610 WARN L623 FunctionHandler]: Unknown extern function dql_reset [2022-11-25 23:17:42,682 WARN L623 FunctionHandler]: Unknown extern function __dev_kfree_skb_any [2022-11-25 23:17:42,771 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:42,773 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:42,774 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:42,775 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:42,775 WARN L623 FunctionHandler]: Unknown extern function __bad_size_call_parameter [2022-11-25 23:17:42,851 WARN L623 FunctionHandler]: Unknown extern function __skb_gso_segment [2022-11-25 23:17:43,028 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_byte [2022-11-25 23:17:43,038 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-11-25 23:17:43,049 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-11-25 23:17:43,059 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_byte [2022-11-25 23:17:43,070 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_word [2022-11-25 23:17:43,080 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-11-25 23:17:43,120 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_clear_and_set_word [2022-11-25 23:17:43,130 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_clear_and_set_word [2022-11-25 23:17:43,402 WARN L623 FunctionHandler]: Unknown extern function dma_set_mask [2022-11-25 23:17:43,535 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-11-25 23:17:43,852 WARN L623 FunctionHandler]: Unknown extern function mdiobus_alloc_size [2022-11-25 23:17:44,378 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-11-25 23:17:44,379 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-11-25 23:17:44,498 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,527 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,557 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,694 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,695 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,696 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,698 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,725 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,726 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,727 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,728 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,850 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,851 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,928 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:44,951 WARN L623 FunctionHandler]: Unknown extern function mdiobus_register [2022-11-25 23:17:44,952 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 23:17:44,953 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-11-25 23:17:44,954 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 23:17:44,955 WARN L623 FunctionHandler]: Unknown extern function mdiobus_unregister [2022-11-25 23:17:44,955 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-11-25 23:17:44,973 WARN L623 FunctionHandler]: Unknown extern function mdiobus_unregister [2022-11-25 23:17:44,974 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-11-25 23:17:45,001 WARN L623 FunctionHandler]: Unknown extern function usecs_to_jiffies [2022-11-25 23:17:45,002 WARN L623 FunctionHandler]: Unknown extern function jiffies_to_usecs [2022-11-25 23:17:45,003 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,097 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,099 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:45,099 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,100 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:45,101 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,114 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:45,115 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:45,118 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:45,120 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:45,201 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,217 WARN L623 FunctionHandler]: Unknown extern function phy_connect [2022-11-25 23:17:45,218 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:45,219 WARN L623 FunctionHandler]: Unknown extern function phy_disconnect [2022-11-25 23:17:45,234 WARN L623 FunctionHandler]: Unknown extern function phy_start [2022-11-25 23:17:45,235 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-11-25 23:17:45,247 WARN L623 FunctionHandler]: Unknown extern function phy_stop [2022-11-25 23:17:45,260 WARN L623 FunctionHandler]: Unknown extern function phy_disconnect [2022-11-25 23:17:45,463 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 23:17:45,477 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:45,491 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,492 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 23:17:45,496 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,649 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,666 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,720 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:45,734 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,735 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,807 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:45,826 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:45,858 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,862 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,892 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:45,949 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:45,987 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:46,012 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,028 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:46,044 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,044 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:46,046 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:46,076 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:46,141 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 23:17:46,141 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:46,175 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-11-25 23:17:46,177 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:46,178 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,181 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,182 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,202 WARN L623 FunctionHandler]: Unknown extern function pci_wake_from_d3 [2022-11-25 23:17:46,202 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 23:17:46,303 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,305 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,305 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,340 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,404 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 23:17:46,404 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 23:17:46,419 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,449 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,451 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,455 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,459 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,460 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,461 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,467 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,472 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,474 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,474 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,477 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,484 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,484 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,485 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,506 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,508 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,509 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,518 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,534 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,534 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,535 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,536 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,552 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,552 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,553 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,554 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,574 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,579 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,597 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,597 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,599 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,599 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,615 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,616 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,617 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,619 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,639 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,640 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,644 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,648 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:46,747 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_index [2022-11-25 23:17:46,822 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:46,823 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:46,852 WARN L623 FunctionHandler]: Unknown extern function ktime_get_real [2022-11-25 23:17:46,867 WARN L623 FunctionHandler]: Unknown extern function ktime_get_real [2022-11-25 23:17:46,880 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_unregister [2022-11-25 23:17:46,936 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:46,937 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:46,937 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:46,938 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:46,953 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:46,983 WARN L623 FunctionHandler]: Unknown extern function skb_tstamp_tx [2022-11-25 23:17:46,986 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:46,987 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:46,988 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:46,988 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:46,989 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:46,989 WARN L623 FunctionHandler]: Unknown extern function __bad_size_call_parameter [2022-11-25 23:17:47,003 WARN L623 FunctionHandler]: Unknown extern function put_page [2022-11-25 23:17:47,004 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:47,035 WARN L623 FunctionHandler]: Unknown extern function netdev_alloc_frag [2022-11-25 23:17:47,070 WARN L623 FunctionHandler]: Unknown extern function build_skb [2022-11-25 23:17:47,071 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 23:17:47,072 WARN L623 FunctionHandler]: Unknown extern function eth_type_trans [2022-11-25 23:17:47,073 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:47,074 WARN L623 FunctionHandler]: Unknown extern function napi_gro_receive [2022-11-25 23:17:47,101 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,161 WARN L623 FunctionHandler]: Unknown extern function cancel_work_sync [2022-11-25 23:17:47,175 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 23:17:47,176 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 23:17:47,190 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:47,191 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:47,191 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:47,192 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:47,206 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 23:17:47,208 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 23:17:47,246 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-11-25 23:17:47,247 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-11-25 23:17:47,260 WARN L623 FunctionHandler]: Unknown extern function netif_napi_del [2022-11-25 23:17:47,273 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 23:17:47,286 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 23:17:47,299 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-11-25 23:17:47,395 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:47,497 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:47,499 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:47,499 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:47,526 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:47,529 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:47,541 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:47,556 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,570 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,571 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,573 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,586 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 23:17:47,587 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:47,587 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:47,644 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:47,647 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:47,660 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:47,661 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:47,720 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:47,837 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:47,838 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,839 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:47,852 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,854 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,855 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,856 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:47,921 WARN L623 FunctionHandler]: Unknown extern function pci_device_is_present [2022-11-25 23:17:47,924 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-11-25 23:17:47,928 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,929 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,930 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:47,931 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_write_word [2022-11-25 23:17:47,934 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,183 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,267 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,267 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:48,284 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,286 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,287 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,291 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,292 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,294 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,295 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,296 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,302 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,305 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,307 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,312 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,360 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-11-25 23:17:48,374 WARN L623 FunctionHandler]: Unknown extern function hwmon_device_unregister [2022-11-25 23:17:48,388 WARN L623 FunctionHandler]: Unknown extern function hwmon_device_register_with_groups [2022-11-25 23:17:48,389 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:48,479 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,479 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:48,482 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 23:17:48,496 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 23:17:48,508 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 23:17:48,532 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:48,533 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-11-25 23:17:48,580 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:48,595 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:48,596 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-11-25 23:17:48,610 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-11-25 23:17:48,610 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:48,611 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:48,612 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-11-25 23:17:48,640 WARN L623 FunctionHandler]: Unknown extern function netif_get_num_default_rss_queues [2022-11-25 23:17:48,641 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix [2022-11-25 23:17:48,642 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix [2022-11-25 23:17:48,643 WARN L623 FunctionHandler]: Unknown extern function netdev_notice [2022-11-25 23:17:48,644 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_rx_queues [2022-11-25 23:17:48,645 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-11-25 23:17:48,646 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_tx_queues [2022-11-25 23:17:48,660 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:48,662 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msi_block [2022-11-25 23:17:48,664 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_tx_queues [2022-11-25 23:17:48,665 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_rx_queues [2022-11-25 23:17:48,679 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-11-25 23:17:48,679 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-11-25 23:17:48,724 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:48,725 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:48,726 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:48,727 WARN L623 FunctionHandler]: Unknown extern function netdev_notice [2022-11-25 23:17:48,728 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 23:17:48,742 WARN L623 FunctionHandler]: Unknown extern function pci_device_is_present [2022-11-25 23:17:48,857 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:48,871 WARN L623 FunctionHandler]: Unknown extern function phy_ethtool_gset [2022-11-25 23:17:48,889 WARN L623 FunctionHandler]: Unknown extern function phy_ethtool_sset [2022-11-25 23:17:48,905 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 23:17:48,906 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 23:17:48,907 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 23:17:48,907 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 23:17:48,935 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 23:17:48,975 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-11-25 23:17:49,038 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-11-25 23:17:49,120 WARN L623 FunctionHandler]: Unknown extern function netif_get_num_default_rss_queues [2022-11-25 23:17:49,149 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 23:17:49,192 WARN L623 FunctionHandler]: Unknown extern function pci_read_vpd [2022-11-25 23:17:49,193 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:49,222 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:49,223 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_tag [2022-11-25 23:17:49,223 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-11-25 23:17:49,225 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:49,238 WARN L623 FunctionHandler]: Unknown extern function msleep_interruptible [2022-11-25 23:17:49,285 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:49,330 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 23:17:49,333 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:49,334 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,335 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:49,336 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,336 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,337 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:49,356 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,356 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,358 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,407 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 23:17:49,421 WARN L623 FunctionHandler]: Unknown extern function phy_mii_ioctl [2022-11-25 23:17:49,467 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:49,468 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:49,469 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:49,482 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:49,521 WARN L623 FunctionHandler]: Unknown extern function netdev_update_features [2022-11-25 23:17:49,522 WARN L623 FunctionHandler]: Unknown extern function netdev_update_features [2022-11-25 23:17:49,729 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:49,729 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,730 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:49,760 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 23:17:49,770 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 23:17:49,773 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 23:17:49,773 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_capable [2022-11-25 23:17:49,786 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,787 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,800 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:49,857 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_tag [2022-11-25 23:17:49,858 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-11-25 23:17:49,858 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 23:17:49,860 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-11-25 23:17:49,861 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-11-25 23:17:49,862 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:49,923 WARN L623 FunctionHandler]: Unknown extern function strncat [2022-11-25 23:17:50,002 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,070 WARN L623 FunctionHandler]: Unknown extern function pci_get_slot [2022-11-25 23:17:50,071 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:50,072 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:50,117 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-11-25 23:17:50,119 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:50,120 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-11-25 23:17:50,121 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:50,121 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-11-25 23:17:50,122 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:50,129 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_read_word [2022-11-25 23:17:50,130 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-11-25 23:17:50,130 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,131 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-11-25 23:17:50,137 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:50,148 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:50,150 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,201 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:50,202 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:50,204 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:50,222 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,223 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,224 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,225 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-11-25 23:17:50,283 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,292 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,292 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,293 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,293 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,294 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,295 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,296 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,296 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,297 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:50,324 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:17:50,325 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 23:17:50,325 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,325 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-11-25 23:17:50,326 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,326 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-11-25 23:17:50,328 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 23:17:50,328 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 23:17:50,329 WARN L623 FunctionHandler]: Unknown extern function __init_work [2022-11-25 23:17:50,329 WARN L623 FunctionHandler]: Unknown extern function lockdep_init_map [2022-11-25 23:17:50,330 WARN L623 FunctionHandler]: Unknown extern function pci_ioremap_bar [2022-11-25 23:17:50,330 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,332 WARN L623 FunctionHandler]: Unknown extern function pci_ioremap_bar [2022-11-25 23:17:50,332 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,333 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,334 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,335 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,338 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,340 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,342 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,342 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:50,343 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:50,345 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:50,346 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:50,348 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:50,348 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-11-25 23:17:50,349 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:50,349 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:50,350 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 23:17:50,350 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 23:17:50,364 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-11-25 23:17:50,365 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:50,365 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:50,366 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 23:17:50,366 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 23:17:50,379 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:50,380 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-11-25 23:17:50,381 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-11-25 23:17:50,381 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:50,395 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:50,395 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-11-25 23:17:50,396 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:50,410 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:50,410 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-11-25 23:17:50,411 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-11-25 23:17:50,411 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:50,424 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:50,425 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:50,425 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-11-25 23:17:50,426 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-11-25 23:17:50,426 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 23:17:50,426 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:50,440 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:50,441 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 23:17:50,441 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:50,441 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-11-25 23:17:50,442 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-11-25 23:17:50,442 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-11-25 23:17:50,443 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-11-25 23:17:50,443 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:50,456 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:50,457 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:50,457 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-11-25 23:17:50,458 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:51,935 WARN L623 FunctionHandler]: Unknown extern function ethtool_op_get_link [2022-11-25 23:17:51,938 WARN L623 FunctionHandler]: Unknown extern function eth_validate_addr [2022-11-25 23:17:51,942 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 23:17:51,944 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 23:17:51,945 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 23:17:51,957 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 23:17:51,963 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 23:17:51,969 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_register_netdev [2022-11-25 23:17:51,974 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 23:17:51,974 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 23:17:51,976 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 23:17:51,978 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:51,978 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:51,979 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:51,979 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:51,979 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:51,980 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:51,981 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 23:17:51,982 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:51,983 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:51,984 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:51,984 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:51,985 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:51,985 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:51,985 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:51,986 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_register [2022-11-25 23:17:51,987 WARN L623 FunctionHandler]: Unknown extern function alloc_etherdev_mqs [2022-11-25 23:17:51,987 WARN L623 FunctionHandler]: Unknown extern function register_netdev [2022-11-25 23:17:51,988 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-11-25 23:17:51,988 WARN L623 FunctionHandler]: Unknown extern function unregister_netdev [2022-11-25 23:17:51,988 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-11-25 23:17:51,989 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-11-25 23:17:51,989 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-11-25 23:17:52,150 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 23:17:52,175 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,342 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,342 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,355 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,375 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,415 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,426 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,436 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,448 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,459 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,498 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,511 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,522 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,532 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,544 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,596 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,609 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,622 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,635 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,648 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,699 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,699 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,699 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,709 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,719 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,761 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,774 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,786 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,796 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,806 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,845 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,855 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,865 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,875 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,885 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,927 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,940 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,951 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,961 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:52,972 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,012 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,013 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,014 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,025 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,036 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,076 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,086 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,096 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,106 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,116 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,155 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,165 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,176 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,186 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,196 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,235 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,245 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,255 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,265 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,275 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,313 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,322 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,332 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,343 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,354 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,391 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,401 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,411 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,420 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,432 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,470 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,483 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,495 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,505 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,514 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,551 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,561 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,571 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,580 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,589 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,625 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,626 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,626 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,626 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,626 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,627 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,627 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,627 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,627 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,628 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,628 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,628 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,628 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,629 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,629 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,629 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,629 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:53,689 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i[1084262,1084275] [2022-11-25 23:17:53,693 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i[1084407,1084420] [2022-11-25 23:17:53,752 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 23:17:53,852 INFO L203 MainTranslator]: Completed pre-run [2022-11-25 23:17:54,054 WARN L623 FunctionHandler]: Unknown extern function __bitmap_weight [2022-11-25 23:17:54,059 WARN L623 FunctionHandler]: Unknown extern function __local_bh_disable_ip [2022-11-25 23:17:54,060 WARN L623 FunctionHandler]: Unknown extern function __local_bh_enable_ip [2022-11-25 23:17:54,061 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-11-25 23:17:54,062 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_bh [2022-11-25 23:17:54,062 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-11-25 23:17:54,063 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_bh [2022-11-25 23:17:54,063 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-11-25 23:17:54,066 WARN L623 FunctionHandler]: Unknown extern function queue_work_on [2022-11-25 23:17:54,078 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 23:17:54,090 WARN L623 FunctionHandler]: Unknown extern function might_fault [2022-11-25 23:17:54,090 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-11-25 23:17:54,091 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-11-25 23:17:54,091 WARN L623 FunctionHandler]: Unknown extern function __copy_from_user_overflow [2022-11-25 23:17:54,092 WARN L623 FunctionHandler]: Unknown extern function might_fault [2022-11-25 23:17:54,092 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-11-25 23:17:54,092 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-11-25 23:17:54,093 WARN L623 FunctionHandler]: Unknown extern function __copy_to_user_overflow [2022-11-25 23:17:54,098 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 23:17:54,099 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 23:17:54,099 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 23:17:54,100 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 23:17:54,101 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 23:17:54,103 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 23:17:54,104 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_cpu [2022-11-25 23:17:54,105 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_device [2022-11-25 23:17:54,106 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-11-25 23:17:54,109 WARN L623 FunctionHandler]: Unknown extern function debug_dma_alloc_coherent [2022-11-25 23:17:54,110 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 23:17:54,110 WARN L623 FunctionHandler]: Unknown extern function debug_dma_free_coherent [2022-11-25 23:17:54,111 WARN L623 FunctionHandler]: Unknown extern function dma_supported [2022-11-25 23:17:54,116 WARN L623 FunctionHandler]: Unknown extern function skb_tstamp_tx [2022-11-25 23:17:54,116 WARN L623 FunctionHandler]: Unknown extern function skb_clone_tx_timestamp [2022-11-25 23:17:54,121 WARN L623 FunctionHandler]: Unknown extern function __napi_schedule [2022-11-25 23:17:54,122 WARN L623 FunctionHandler]: Unknown extern function __might_sleep [2022-11-25 23:17:54,122 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:54,124 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-11-25 23:17:54,125 WARN L623 FunctionHandler]: Unknown extern function netpoll_trap [2022-11-25 23:17:54,126 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-11-25 23:17:54,127 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 23:17:54,128 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:17:54,130 WARN L623 FunctionHandler]: Unknown extern function dql_completed [2022-11-25 23:17:54,131 WARN L623 FunctionHandler]: Unknown extern function dql_reset [2022-11-25 23:17:54,132 WARN L623 FunctionHandler]: Unknown extern function __dev_kfree_skb_any [2022-11-25 23:17:54,133 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:54,133 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:54,134 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:54,134 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:54,135 WARN L623 FunctionHandler]: Unknown extern function __bad_size_call_parameter [2022-11-25 23:17:54,135 WARN L623 FunctionHandler]: Unknown extern function __skb_gso_segment [2022-11-25 23:17:54,137 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_byte [2022-11-25 23:17:54,138 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-11-25 23:17:54,140 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-11-25 23:17:54,142 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_byte [2022-11-25 23:17:54,144 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_word [2022-11-25 23:17:54,146 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-11-25 23:17:54,148 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_clear_and_set_word [2022-11-25 23:17:54,149 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_clear_and_set_word [2022-11-25 23:17:54,152 WARN L623 FunctionHandler]: Unknown extern function dma_set_mask [2022-11-25 23:17:54,153 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-11-25 23:17:54,160 WARN L623 FunctionHandler]: Unknown extern function mdiobus_alloc_size [2022-11-25 23:17:54,192 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-11-25 23:17:54,196 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-11-25 23:17:54,220 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,222 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,223 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,322 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,323 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,331 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,339 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,343 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,343 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,350 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,359 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,364 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,364 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,430 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,457 WARN L623 FunctionHandler]: Unknown extern function mdiobus_register [2022-11-25 23:17:54,457 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 23:17:54,458 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-11-25 23:17:54,464 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 23:17:54,465 WARN L623 FunctionHandler]: Unknown extern function mdiobus_unregister [2022-11-25 23:17:54,465 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-11-25 23:17:54,469 WARN L623 FunctionHandler]: Unknown extern function mdiobus_unregister [2022-11-25 23:17:54,469 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-11-25 23:17:54,477 WARN L623 FunctionHandler]: Unknown extern function usecs_to_jiffies [2022-11-25 23:17:54,478 WARN L623 FunctionHandler]: Unknown extern function jiffies_to_usecs [2022-11-25 23:17:54,485 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,498 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,499 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:54,500 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,501 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:54,501 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,502 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:54,503 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:54,504 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:54,505 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:54,517 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,542 WARN L623 FunctionHandler]: Unknown extern function phy_connect [2022-11-25 23:17:54,542 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:54,543 WARN L623 FunctionHandler]: Unknown extern function phy_disconnect [2022-11-25 23:17:54,556 WARN L623 FunctionHandler]: Unknown extern function phy_start [2022-11-25 23:17:54,556 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-11-25 23:17:54,557 WARN L623 FunctionHandler]: Unknown extern function phy_stop [2022-11-25 23:17:54,561 WARN L623 FunctionHandler]: Unknown extern function phy_disconnect [2022-11-25 23:17:54,643 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 23:17:54,643 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:54,648 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,649 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 23:17:54,667 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,709 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,722 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,756 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:54,767 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,772 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,803 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:54,821 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:54,855 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,876 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,894 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,907 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:54,913 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:54,945 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,951 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:54,955 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:54,956 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:54,956 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:54,962 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:54,983 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 23:17:54,983 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:54,992 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-11-25 23:17:54,998 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:54,999 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,003 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,004 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,013 WARN L623 FunctionHandler]: Unknown extern function pci_wake_from_d3 [2022-11-25 23:17:55,014 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 23:17:55,024 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,025 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,025 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,030 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,033 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 23:17:55,034 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 23:17:55,036 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,039 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,040 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,041 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,043 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,043 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,044 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,053 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,054 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,054 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,055 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,056 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,056 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,056 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,056 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,086 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,089 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,092 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,095 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,097 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,097 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,098 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,098 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,101 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,102 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,102 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,103 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,111 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,117 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,123 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,123 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,128 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,129 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,133 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,133 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,136 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,141 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,150 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,150 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,155 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,159 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,197 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_index [2022-11-25 23:17:55,207 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:55,208 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:55,220 WARN L623 FunctionHandler]: Unknown extern function ktime_get_real [2022-11-25 23:17:55,222 WARN L623 FunctionHandler]: Unknown extern function ktime_get_real [2022-11-25 23:17:55,223 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_unregister [2022-11-25 23:17:55,272 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:55,273 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:55,274 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:55,275 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:55,277 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:55,293 WARN L623 FunctionHandler]: Unknown extern function skb_tstamp_tx [2022-11-25 23:17:55,295 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:55,297 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:55,297 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:55,298 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:55,298 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 23:17:55,299 WARN L623 FunctionHandler]: Unknown extern function __bad_size_call_parameter [2022-11-25 23:17:55,300 WARN L623 FunctionHandler]: Unknown extern function put_page [2022-11-25 23:17:55,300 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:55,303 WARN L623 FunctionHandler]: Unknown extern function netdev_alloc_frag [2022-11-25 23:17:55,326 WARN L623 FunctionHandler]: Unknown extern function build_skb [2022-11-25 23:17:55,328 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 23:17:55,329 WARN L623 FunctionHandler]: Unknown extern function eth_type_trans [2022-11-25 23:17:55,329 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:55,330 WARN L623 FunctionHandler]: Unknown extern function napi_gro_receive [2022-11-25 23:17:55,350 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,372 WARN L623 FunctionHandler]: Unknown extern function cancel_work_sync [2022-11-25 23:17:55,378 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 23:17:55,388 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 23:17:55,393 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:55,398 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:55,403 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:55,408 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:55,412 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 23:17:55,412 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 23:17:55,413 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-11-25 23:17:55,414 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-11-25 23:17:55,414 WARN L623 FunctionHandler]: Unknown extern function netif_napi_del [2022-11-25 23:17:55,415 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 23:17:55,416 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 23:17:55,416 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-11-25 23:17:55,441 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:55,453 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:55,454 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:55,454 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:55,456 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:55,459 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:55,470 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:55,475 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,477 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,477 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,480 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,481 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 23:17:55,482 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:55,482 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:55,487 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:55,489 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:55,490 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:55,490 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:55,497 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:55,506 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:55,506 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,509 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:55,511 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,514 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,515 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,519 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:55,596 WARN L623 FunctionHandler]: Unknown extern function pci_device_is_present [2022-11-25 23:17:55,605 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-11-25 23:17:55,628 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,628 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,629 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,630 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_write_word [2022-11-25 23:17:55,646 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,809 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,975 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:55,976 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:56,060 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,069 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,078 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,079 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,082 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,126 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,131 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,133 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,201 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,243 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,251 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,252 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,395 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-11-25 23:17:56,397 WARN L623 FunctionHandler]: Unknown extern function hwmon_device_unregister [2022-11-25 23:17:56,399 WARN L623 FunctionHandler]: Unknown extern function hwmon_device_register_with_groups [2022-11-25 23:17:56,399 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:56,548 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,549 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,552 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 23:17:56,554 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 23:17:56,554 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 23:17:56,555 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:56,556 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-11-25 23:17:56,573 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:56,579 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,579 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-11-25 23:17:56,580 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-11-25 23:17:56,581 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:56,582 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:56,582 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-11-25 23:17:56,584 WARN L623 FunctionHandler]: Unknown extern function netif_get_num_default_rss_queues [2022-11-25 23:17:56,585 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix [2022-11-25 23:17:56,585 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix [2022-11-25 23:17:56,586 WARN L623 FunctionHandler]: Unknown extern function netdev_notice [2022-11-25 23:17:56,587 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_rx_queues [2022-11-25 23:17:56,587 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-11-25 23:17:56,588 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_tx_queues [2022-11-25 23:17:56,589 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,590 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msi_block [2022-11-25 23:17:56,596 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_tx_queues [2022-11-25 23:17:56,596 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_rx_queues [2022-11-25 23:17:56,597 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-11-25 23:17:56,598 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-11-25 23:17:56,607 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,607 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,608 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,609 WARN L623 FunctionHandler]: Unknown extern function netdev_notice [2022-11-25 23:17:56,609 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 23:17:56,611 WARN L623 FunctionHandler]: Unknown extern function pci_device_is_present [2022-11-25 23:17:56,629 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:56,632 WARN L623 FunctionHandler]: Unknown extern function phy_ethtool_gset [2022-11-25 23:17:56,637 WARN L623 FunctionHandler]: Unknown extern function phy_ethtool_sset [2022-11-25 23:17:56,639 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 23:17:56,640 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 23:17:56,640 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 23:17:56,641 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 23:17:56,643 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 23:17:56,645 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-11-25 23:17:56,654 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-11-25 23:17:56,659 WARN L623 FunctionHandler]: Unknown extern function netif_get_num_default_rss_queues [2022-11-25 23:17:56,662 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 23:17:56,672 WARN L623 FunctionHandler]: Unknown extern function pci_read_vpd [2022-11-25 23:17:56,673 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:56,680 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:56,680 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_tag [2022-11-25 23:17:56,681 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-11-25 23:17:56,682 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:56,683 WARN L623 FunctionHandler]: Unknown extern function msleep_interruptible [2022-11-25 23:17:56,707 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:56,717 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 23:17:56,721 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:56,722 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,723 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:56,727 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,728 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,728 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 23:17:56,737 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,737 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,739 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,750 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 23:17:56,753 WARN L623 FunctionHandler]: Unknown extern function phy_mii_ioctl [2022-11-25 23:17:56,758 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,759 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,759 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,760 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,763 WARN L623 FunctionHandler]: Unknown extern function netdev_update_features [2022-11-25 23:17:56,763 WARN L623 FunctionHandler]: Unknown extern function netdev_update_features [2022-11-25 23:17:56,809 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:17:56,812 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,812 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-11-25 23:17:56,820 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 23:17:56,825 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 23:17:56,827 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 23:17:56,827 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_capable [2022-11-25 23:17:56,828 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,829 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,835 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:56,853 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_tag [2022-11-25 23:17:56,853 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-11-25 23:17:56,854 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 23:17:56,854 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-11-25 23:17:56,855 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-11-25 23:17:56,856 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:17:56,864 WARN L623 FunctionHandler]: Unknown extern function strncat [2022-11-25 23:17:56,872 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:56,874 WARN L623 FunctionHandler]: Unknown extern function pci_get_slot [2022-11-25 23:17:56,875 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:56,875 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:56,886 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-11-25 23:17:56,887 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:56,888 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-11-25 23:17:56,889 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:56,889 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-11-25 23:17:56,890 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-11-25 23:17:56,895 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_read_word [2022-11-25 23:17:56,897 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-11-25 23:17:56,897 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:56,898 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-11-25 23:17:56,931 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:57,010 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:57,013 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,044 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:57,044 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:57,054 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:17:57,064 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,065 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,067 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,068 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-11-25 23:17:57,082 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,085 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,086 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,086 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,086 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,087 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,088 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,088 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,088 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,089 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-11-25 23:17:57,091 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:17:57,092 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 23:17:57,092 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,093 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-11-25 23:17:57,093 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,093 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-11-25 23:17:57,095 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 23:17:57,096 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 23:17:57,096 WARN L623 FunctionHandler]: Unknown extern function __init_work [2022-11-25 23:17:57,096 WARN L623 FunctionHandler]: Unknown extern function lockdep_init_map [2022-11-25 23:17:57,097 WARN L623 FunctionHandler]: Unknown extern function pci_ioremap_bar [2022-11-25 23:17:57,097 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,099 WARN L623 FunctionHandler]: Unknown extern function pci_ioremap_bar [2022-11-25 23:17:57,099 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,100 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,101 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,102 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,106 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,115 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,119 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,120 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:57,122 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:57,123 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:57,124 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:57,124 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:57,125 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-11-25 23:17:57,125 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:57,126 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:57,126 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 23:17:57,126 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 23:17:57,128 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-11-25 23:17:57,128 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:57,129 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 23:17:57,129 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 23:17:57,129 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 23:17:57,130 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:57,131 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-11-25 23:17:57,131 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-11-25 23:17:57,132 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:57,133 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:57,133 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-11-25 23:17:57,134 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:57,135 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:57,135 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-11-25 23:17:57,135 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-11-25 23:17:57,135 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:57,136 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-11-25 23:17:57,136 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:57,137 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-11-25 23:17:57,137 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-11-25 23:17:57,138 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 23:17:57,138 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:57,139 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:57,139 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 23:17:57,139 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 23:17:57,140 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-11-25 23:17:57,140 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-11-25 23:17:57,140 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-11-25 23:17:57,141 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-11-25 23:17:57,141 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:57,142 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 23:17:57,143 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-11-25 23:17:57,143 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-11-25 23:17:57,143 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 23:17:57,152 WARN L623 FunctionHandler]: Unknown extern function ethtool_op_get_link [2022-11-25 23:17:57,155 WARN L623 FunctionHandler]: Unknown extern function eth_validate_addr [2022-11-25 23:17:57,159 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 23:17:57,161 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 23:17:57,161 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 23:17:57,172 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 23:17:57,178 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 23:17:57,191 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_register_netdev [2022-11-25 23:17:57,197 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 23:17:57,198 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 23:17:57,200 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 23:17:57,202 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:57,202 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:57,203 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:57,203 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:57,203 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:57,204 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 23:17:57,205 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 23:17:57,206 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:57,207 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:57,207 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:57,207 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:57,208 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:57,208 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:57,209 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 23:17:57,209 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_register [2022-11-25 23:17:57,210 WARN L623 FunctionHandler]: Unknown extern function alloc_etherdev_mqs [2022-11-25 23:17:57,210 WARN L623 FunctionHandler]: Unknown extern function register_netdev [2022-11-25 23:17:57,211 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-11-25 23:17:57,211 WARN L623 FunctionHandler]: Unknown extern function unregister_netdev [2022-11-25 23:17:57,211 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-11-25 23:17:57,212 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-11-25 23:17:57,212 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-11-25 23:17:57,215 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 23:17:57,216 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,221 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,222 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,222 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,223 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,224 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,224 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,225 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,225 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,226 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,226 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,227 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,227 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,228 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,228 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,229 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,230 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,230 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,230 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,231 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,232 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,232 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,233 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,233 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,234 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,234 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,235 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,235 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,238 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,239 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,240 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,240 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,241 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,241 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,242 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,242 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,243 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,245 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,246 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,247 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,247 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,248 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,248 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,249 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,249 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,250 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,251 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,251 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,251 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,252 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,253 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,253 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,253 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,254 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,254 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,255 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,256 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,256 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,257 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,257 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,258 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,259 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,259 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,260 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,260 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,261 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,262 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,262 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,262 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,263 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,264 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,264 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,265 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,265 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,265 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,266 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,267 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,267 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,268 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,268 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,269 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,269 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,270 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,270 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,270 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,270 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,271 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,271 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,271 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,271 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,272 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,272 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,272 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,273 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,273 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,273 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,273 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:17:57,275 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i[1084262,1084275] [2022-11-25 23:17:57,276 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i[1084407,1084420] [2022-11-25 23:17:57,287 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 23:17:57,967 INFO L208 MainTranslator]: Completed translation [2022-11-25 23:17:57,967 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57 WrapperNode [2022-11-25 23:17:57,968 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-25 23:17:57,969 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2022-11-25 23:17:57,969 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2022-11-25 23:17:57,969 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2022-11-25 23:17:57,979 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:17:58,308 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:17:59,623 INFO L138 Inliner]: procedures = 1096, calls = 15772, calls flagged for inlining = 566, calls inlined = 530, statements flattened = 37043 [2022-11-25 23:17:59,636 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2022-11-25 23:17:59,637 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2022-11-25 23:17:59,637 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2022-11-25 23:17:59,637 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2022-11-25 23:17:59,651 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:17:59,652 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:18:00,134 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:18:00,135 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:18:01,012 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:18:01,145 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:18:01,486 INFO L185 PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:18:01,548 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:18:01,819 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2022-11-25 23:18:01,820 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2022-11-25 23:18:01,820 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2022-11-25 23:18:01,821 INFO L275 PluginConnector]: RCFGBuilder initialized [2022-11-25 23:18:01,822 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (1/1) ... [2022-11-25 23:18:01,829 INFO L173 SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 23:18:01,843 INFO L189 MonitoredProcess]: No working directory specified, using /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/z3 [2022-11-25 23:18:01,864 INFO L229 MonitoredProcess]: Starting monitored process 1 with /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2022-11-25 23:18:01,894 INFO L327 MonitoredProcess]: [MP /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8ea19658-99ec-4e0a-9bd0-c50392353fba/bin/utaipan-ByfvJB40ur/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process [2022-11-25 23:18:01,920 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_writephy [2022-11-25 23:18:01,921 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_writephy [2022-11-25 23:18:01,921 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pwrsrc_die_with_vmain [2022-11-25 23:18:01,921 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pwrsrc_die_with_vmain [2022-11-25 23:18:01,922 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_warn_mgmt_link_flap [2022-11-25 23:18:01,922 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_warn_mgmt_link_flap [2022-11-25 23:18:01,922 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_123 [2022-11-25 23:18:01,923 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_123 [2022-11-25 23:18:01,923 INFO L130 BoogieDeclarations]: Found specification of procedure device_set_wakeup_enable [2022-11-25 23:18:01,923 INFO L138 BoogieDeclarations]: Found implementation of procedure device_set_wakeup_enable [2022-11-25 23:18:01,923 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_restart_hw [2022-11-25 23:18:01,923 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_restart_hw [2022-11-25 23:18:01,923 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_57780_nvram_info [2022-11-25 23:18:01,924 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_57780_nvram_info [2022-11-25 23:18:01,924 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_toggle_apd [2022-11-25 23:18:01,924 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_toggle_apd [2022-11-25 23:18:01,924 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_alloc_skb [2022-11-25 23:18:01,924 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_alloc_skb [2022-11-25 23:18:01,924 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ints_fini [2022-11-25 23:18:01,924 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ints_fini [2022-11-25 23:18:01,925 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_read_mem [2022-11-25 23:18:01,925 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_read_mem [2022-11-25 23:18:01,925 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_timeout [2022-11-25 23:18:01,925 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_timeout [2022-11-25 23:18:01,925 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_alloc_rx_data [2022-11-25 23:18:01,925 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_alloc_rx_data [2022-11-25 23:18:01,925 INFO L130 BoogieDeclarations]: Found specification of procedure pci_dma_sync_single_for_cpu [2022-11-25 23:18:01,926 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_dma_sync_single_for_cpu [2022-11-25 23:18:01,926 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_chip_reset [2022-11-25 23:18:01,926 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_chip_reset [2022-11-25 23:18:01,926 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_disable_nvram_access [2022-11-25 23:18:01,926 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_disable_nvram_access [2022-11-25 23:18:01,926 INFO L130 BoogieDeclarations]: Found specification of procedure pdev_is_ssb_gige_core [2022-11-25 23:18:01,926 INFO L138 BoogieDeclarations]: Found implementation of procedure pdev_is_ssb_gige_core [2022-11-25 23:18:01,927 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mem_rx_release [2022-11-25 23:18:01,927 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mem_rx_release [2022-11-25 23:18:01,927 INFO L130 BoogieDeclarations]: Found specification of procedure valid_dma_direction [2022-11-25 23:18:01,927 INFO L138 BoogieDeclarations]: Found implementation of procedure valid_dma_direction [2022-11-25 23:18:01,927 INFO L130 BoogieDeclarations]: Found specification of procedure clear_bit [2022-11-25 23:18:01,927 INFO L138 BoogieDeclarations]: Found implementation of procedure clear_bit [2022-11-25 23:18:01,927 INFO L130 BoogieDeclarations]: Found specification of procedure phy_start_aneg [2022-11-25 23:18:01,928 INFO L138 BoogieDeclarations]: Found implementation of procedure phy_start_aneg [2022-11-25 23:18:01,928 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_function_status [2022-11-25 23:18:01,928 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_function_status [2022-11-25 23:18:01,928 INFO L130 BoogieDeclarations]: Found specification of procedure dma_zalloc_coherent [2022-11-25 23:18:01,928 INFO L138 BoogieDeclarations]: Found implementation of procedure dma_zalloc_coherent [2022-11-25 23:18:01,928 INFO L130 BoogieDeclarations]: Found specification of procedure PageTail [2022-11-25 23:18:01,928 INFO L138 BoogieDeclarations]: Found implementation of procedure PageTail [2022-11-25 23:18:01,929 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_auxctl_write [2022-11-25 23:18:01,929 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_auxctl_write [2022-11-25 23:18:01,929 INFO L130 BoogieDeclarations]: Found specification of procedure memcmp [2022-11-25 23:18:01,929 INFO L130 BoogieDeclarations]: Found specification of procedure netif_set_real_num_rx_queues [2022-11-25 23:18:01,929 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_set_real_num_rx_queues [2022-11-25 23:18:01,929 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_otp_read [2022-11-25 23:18:01,929 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_otp_read [2022-11-25 23:18:01,930 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pause_cpu [2022-11-25 23:18:01,930 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pause_cpu [2022-11-25 23:18:01,930 INFO L130 BoogieDeclarations]: Found specification of procedure pci_get_drvdata [2022-11-25 23:18:01,930 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_get_drvdata [2022-11-25 23:18:01,930 INFO L130 BoogieDeclarations]: Found specification of procedure strlcpy [2022-11-25 23:18:01,930 INFO L138 BoogieDeclarations]: Found implementation of procedure strlcpy [2022-11-25 23:18:01,930 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rx_prodring_fini [2022-11-25 23:18:01,931 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rx_prodring_fini [2022-11-25 23:18:01,931 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_bmcr_reset [2022-11-25 23:18:01,931 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_bmcr_reset [2022-11-25 23:18:01,931 INFO L130 BoogieDeclarations]: Found specification of procedure pci_get_device [2022-11-25 23:18:01,931 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_get_device [2022-11-25 23:18:01,931 INFO L130 BoogieDeclarations]: Found specification of procedure pci_unmap_single [2022-11-25 23:18:01,931 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_unmap_single [2022-11-25 23:18:01,932 INFO L130 BoogieDeclarations]: Found specification of procedure iounmap [2022-11-25 23:18:01,932 INFO L138 BoogieDeclarations]: Found implementation of procedure iounmap [2022-11-25 23:18:01,932 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_get_pagesize [2022-11-25 23:18:01,932 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_get_pagesize [2022-11-25 23:18:01,932 INFO L130 BoogieDeclarations]: Found specification of procedure pci_write_config_word [2022-11-25 23:18:01,932 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_write_config_word [2022-11-25 23:18:01,932 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_clear_mac_status [2022-11-25 23:18:01,933 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_clear_mac_status [2022-11-25 23:18:01,933 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_readphy [2022-11-25 23:18:01,933 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_readphy [2022-11-25 23:18:01,933 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_reset [2022-11-25 23:18:01,933 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_reset [2022-11-25 23:18:01,933 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write_mem [2022-11-25 23:18:01,933 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write_mem [2022-11-25 23:18:01,934 INFO L130 BoogieDeclarations]: Found specification of procedure netif_device_detach [2022-11-25 23:18:01,934 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_device_detach [2022-11-25 23:18:01,934 INFO L130 BoogieDeclarations]: Found specification of procedure kmalloc [2022-11-25 23:18:01,934 INFO L138 BoogieDeclarations]: Found implementation of procedure kmalloc [2022-11-25 23:18:01,934 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_read [2022-11-25 23:18:01,934 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_read [2022-11-25 23:18:01,934 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mac_loopback [2022-11-25 23:18:01,935 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mac_loopback [2022-11-25 23:18:01,935 INFO L130 BoogieDeclarations]: Found specification of procedure _tg3_flag_clear [2022-11-25 23:18:01,935 INFO L138 BoogieDeclarations]: Found implementation of procedure _tg3_flag_clear [2022-11-25 23:18:01,935 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_chk_missed_msi [2022-11-25 23:18:01,935 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_chk_missed_msi [2022-11-25 23:18:01,935 INFO L130 BoogieDeclarations]: Found specification of procedure spin_unlock [2022-11-25 23:18:01,935 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_unlock [2022-11-25 23:18:01,936 INFO L130 BoogieDeclarations]: Found specification of procedure netif_napi_add [2022-11-25 23:18:01,936 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_napi_add [2022-11-25 23:18:01,936 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_link_report [2022-11-25 23:18:01,936 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_link_report [2022-11-25 23:18:01,936 INFO L130 BoogieDeclarations]: Found specification of procedure pci_save_state [2022-11-25 23:18:01,936 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_save_state [2022-11-25 23:18:01,936 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_writephy [2022-11-25 23:18:01,937 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_writephy [2022-11-25 23:18:01,937 INFO L130 BoogieDeclarations]: Found specification of procedure get_dma_ops [2022-11-25 23:18:01,937 INFO L138 BoogieDeclarations]: Found implementation of procedure get_dma_ops [2022-11-25 23:18:01,937 INFO L130 BoogieDeclarations]: Found specification of procedure _tg3_flag [2022-11-25 23:18:01,937 INFO L138 BoogieDeclarations]: Found implementation of procedure _tg3_flag [2022-11-25 23:18:01,937 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assume [2022-11-25 23:18:01,937 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assume [2022-11-25 23:18:01,937 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2022-11-25 23:18:01,938 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_update_features [2022-11-25 23:18:01,938 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_update_features [2022-11-25 23:18:01,938 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_rx_mode [2022-11-25 23:18:01,938 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_rx_mode [2022-11-25 23:18:01,938 INFO L130 BoogieDeclarations]: Found specification of procedure skb_transport_header [2022-11-25 23:18:01,938 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_transport_header [2022-11-25 23:18:01,938 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_reset_task_schedule [2022-11-25 23:18:01,939 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_reset_task_schedule [2022-11-25 23:18:01,939 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_err_code [2022-11-25 23:18:01,939 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_err_code [2022-11-25 23:18:01,939 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_lock_of_tg3 [2022-11-25 23:18:01,939 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_lock_of_tg3 [2022-11-25 23:18:01,939 INFO L130 BoogieDeclarations]: Found specification of procedure dev_close [2022-11-25 23:18:01,939 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_close [2022-11-25 23:18:01,940 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_dma_mask [2022-11-25 23:18:01,940 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_dma_mask [2022-11-25 23:18:01,940 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_start [2022-11-25 23:18:01,940 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_start [2022-11-25 23:18:01,940 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_device [2022-11-25 23:18:01,940 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_device [2022-11-25 23:18:01,940 INFO L130 BoogieDeclarations]: Found specification of procedure copy_to_user [2022-11-25 23:18:01,940 INFO L138 BoogieDeclarations]: Found implementation of procedure copy_to_user [2022-11-25 23:18:01,941 INFO L130 BoogieDeclarations]: Found specification of procedure __netif_tx_lock [2022-11-25 23:18:01,941 INFO L138 BoogieDeclarations]: Found implementation of procedure __netif_tx_lock [2022-11-25 23:18:01,941 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_abort_hw [2022-11-25 23:18:01,941 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_abort_hw [2022-11-25 23:18:01,941 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_free_rings [2022-11-25 23:18:01,941 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_free_rings [2022-11-25 23:18:01,941 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nway_reset [2022-11-25 23:18:01,942 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nway_reset [2022-11-25 23:18:01,942 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mdio_fini [2022-11-25 23:18:01,942 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mdio_fini [2022-11-25 23:18:01,942 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2022-11-25 23:18:01,942 INFO L130 BoogieDeclarations]: Found specification of procedure strncat [2022-11-25 23:18:01,942 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ptp_resume [2022-11-25 23:18:01,942 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ptp_resume [2022-11-25 23:18:01,943 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit [2022-11-25 23:18:01,943 INFO L130 BoogieDeclarations]: Found specification of procedure pci_ioremap_bar [2022-11-25 23:18:01,943 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_ioremap_bar [2022-11-25 23:18:01,943 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mem_tx_release [2022-11-25 23:18:01,943 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mem_tx_release [2022-11-25 23:18:01,943 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_int [2022-11-25 23:18:01,943 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_int [2022-11-25 23:18:01,944 INFO L130 BoogieDeclarations]: Found specification of procedure __const_udelay [2022-11-25 23:18:01,944 INFO L138 BoogieDeclarations]: Found implementation of procedure __const_udelay [2022-11-25 23:18:01,944 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2022-11-25 23:18:01,944 INFO L130 BoogieDeclarations]: Found specification of procedure pci_read_config_dword [2022-11-25 23:18:01,944 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_read_config_dword [2022-11-25 23:18:01,944 INFO L130 BoogieDeclarations]: Found specification of procedure __bad_percpu_size [2022-11-25 23:18:01,944 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_frob_aux_power [2022-11-25 23:18:01,945 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_frob_aux_power [2022-11-25 23:18:01,945 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mdio_config_5785 [2022-11-25 23:18:01,945 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mdio_config_5785 [2022-11-25 23:18:01,945 INFO L130 BoogieDeclarations]: Found specification of procedure _copy_to_user [2022-11-25 23:18:01,945 INFO L138 BoogieDeclarations]: Found implementation of procedure _copy_to_user [2022-11-25 23:18:01,945 INFO L130 BoogieDeclarations]: Found specification of procedure skb_headlen [2022-11-25 23:18:01,945 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_headlen [2022-11-25 23:18:01,946 INFO L130 BoogieDeclarations]: Found specification of procedure pci_device_is_present [2022-11-25 23:18:01,946 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_device_is_present [2022-11-25 23:18:01,946 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_exec_cmd [2022-11-25 23:18:01,946 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_exec_cmd [2022-11-25 23:18:01,946 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_write_block_buffered [2022-11-25 23:18:01,946 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_write_block_buffered [2022-11-25 23:18:01,946 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_issue_otp_command [2022-11-25 23:18:01,946 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_issue_otp_command [2022-11-25 23:18:01,947 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_frag_free [2022-11-25 23:18:01,947 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_frag_free [2022-11-25 23:18:01,947 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_lock [2022-11-25 23:18:01,947 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_lock [2022-11-25 23:18:01,947 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~TO~VOID [2022-11-25 23:18:01,947 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~TO~VOID [2022-11-25 23:18:01,947 INFO L130 BoogieDeclarations]: Found specification of procedure warn_slowpath_null [2022-11-25 23:18:01,948 INFO L138 BoogieDeclarations]: Found implementation of procedure warn_slowpath_null [2022-11-25 23:18:01,948 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_read_indirect_reg32 [2022-11-25 23:18:01,948 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_read_indirect_reg32 [2022-11-25 23:18:01,948 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free_netdev [2022-11-25 23:18:01,948 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free_netdev [2022-11-25 23:18:01,948 INFO L130 BoogieDeclarations]: Found specification of procedure device_can_wakeup [2022-11-25 23:18:01,948 INFO L138 BoogieDeclarations]: Found implementation of procedure device_can_wakeup [2022-11-25 23:18:01,949 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_set_wirespeed [2022-11-25 23:18:01,949 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_set_wirespeed [2022-11-25 23:18:01,949 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_driver_state_change [2022-11-25 23:18:01,949 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_driver_state_change [2022-11-25 23:18:01,949 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_timer_start [2022-11-25 23:18:01,949 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_timer_start [2022-11-25 23:18:01,949 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_shutdown [2022-11-25 23:18:01,950 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_shutdown [2022-11-25 23:18:01,950 INFO L130 BoogieDeclarations]: Found specification of procedure set_bit [2022-11-25 23:18:01,950 INFO L138 BoogieDeclarations]: Found implementation of procedure set_bit [2022-11-25 23:18:01,950 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_read32 [2022-11-25 23:18:01,950 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_read32 [2022-11-25 23:18:01,950 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rx_data_free [2022-11-25 23:18:01,950 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rx_data_free [2022-11-25 23:18:01,951 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2022-11-25 23:18:01,951 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2022-11-25 23:18:01,951 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rx_prodring_free [2022-11-25 23:18:01,951 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rx_prodring_free [2022-11-25 23:18:01,951 INFO L130 BoogieDeclarations]: Found specification of procedure IS_ERR [2022-11-25 23:18:01,951 INFO L138 BoogieDeclarations]: Found implementation of procedure IS_ERR [2022-11-25 23:18:01,951 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_autoneg_cfg [2022-11-25 23:18:01,952 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_autoneg_cfg [2022-11-25 23:18:01,952 INFO L130 BoogieDeclarations]: Found specification of procedure msleep [2022-11-25 23:18:01,952 INFO L138 BoogieDeclarations]: Found implementation of procedure msleep [2022-11-25 23:18:01,952 INFO L130 BoogieDeclarations]: Found specification of procedure mdiobus_free [2022-11-25 23:18:01,952 INFO L138 BoogieDeclarations]: Found implementation of procedure mdiobus_free [2022-11-25 23:18:01,952 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_load_firmware_cpu [2022-11-25 23:18:01,952 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_load_firmware_cpu [2022-11-25 23:18:01,953 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$ [2022-11-25 23:18:01,953 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_adjust_link [2022-11-25 23:18:01,953 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_adjust_link [2022-11-25 23:18:01,953 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_halt [2022-11-25 23:18:01,953 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_halt [2022-11-25 23:18:01,953 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~$Pointer$~X~int~X~int~X~int~X~$Pointer$~TO~~dma_addr_t~0 [2022-11-25 23:18:01,953 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~$Pointer$~X~int~X~int~X~int~X~$Pointer$~TO~~dma_addr_t~0 [2022-11-25 23:18:01,954 INFO L130 BoogieDeclarations]: Found specification of procedure napi_schedule [2022-11-25 23:18:01,954 INFO L138 BoogieDeclarations]: Found implementation of procedure napi_schedule [2022-11-25 23:18:01,954 INFO L130 BoogieDeclarations]: Found specification of procedure mdiobus_unregister [2022-11-25 23:18:01,954 INFO L138 BoogieDeclarations]: Found implementation of procedure mdiobus_unregister [2022-11-25 23:18:01,954 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pwrsrc_switch_to_vaux [2022-11-25 23:18:01,954 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pwrsrc_switch_to_vaux [2022-11-25 23:18:01,954 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_off [2022-11-25 23:18:01,955 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_off [2022-11-25 23:18:01,955 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_wait_for_event_ack [2022-11-25 23:18:01,955 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_wait_for_event_ack [2022-11-25 23:18:01,955 INFO L130 BoogieDeclarations]: Found specification of procedure __bad_size_call_parameter [2022-11-25 23:18:01,955 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_test_interrupt [2022-11-25 23:18:01,955 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_test_interrupt [2022-11-25 23:18:01,955 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phydsp_write [2022-11-25 23:18:01,955 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phydsp_write [2022-11-25 23:18:01,956 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_to_process_context [2022-11-25 23:18:01,956 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_to_process_context [2022-11-25 23:18:01,956 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mdio_start [2022-11-25 23:18:01,956 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mdio_start [2022-11-25 23:18:01,956 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rxcpu_resume [2022-11-25 23:18:01,956 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rxcpu_resume [2022-11-25 23:18:01,956 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_request_irq [2022-11-25 23:18:01,957 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_request_irq [2022-11-25 23:18:01,957 INFO L130 BoogieDeclarations]: Found specification of procedure pci_map_single [2022-11-25 23:18:01,957 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_map_single [2022-11-25 23:18:01,957 INFO L130 BoogieDeclarations]: Found specification of procedure ethtool_cmd_speed_set [2022-11-25 23:18:01,957 INFO L138 BoogieDeclarations]: Found implementation of procedure ethtool_cmd_speed_set [2022-11-25 23:18:01,957 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memset [2022-11-25 23:18:01,957 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memset [2022-11-25 23:18:01,958 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_napi_fini [2022-11-25 23:18:01,958 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_napi_fini [2022-11-25 23:18:01,958 INFO L130 BoogieDeclarations]: Found specification of procedure pcie_capability_clear_and_set_word [2022-11-25 23:18:01,958 INFO L138 BoogieDeclarations]: Found implementation of procedure pcie_capability_clear_and_set_word [2022-11-25 23:18:01,958 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_post_probe [2022-11-25 23:18:01,958 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_post_probe [2022-11-25 23:18:01,958 INFO L130 BoogieDeclarations]: Found specification of procedure debug_dma_unmap_page [2022-11-25 23:18:01,959 INFO L138 BoogieDeclarations]: Found implementation of procedure debug_dma_unmap_page [2022-11-25 23:18:01,959 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_readphy [2022-11-25 23:18:01,959 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_readphy [2022-11-25 23:18:01,959 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_estats [2022-11-25 23:18:01,959 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_estats [2022-11-25 23:18:01,959 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_free_consistent [2022-11-25 23:18:01,959 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_free_consistent [2022-11-25 23:18:01,960 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2022-11-25 23:18:01,960 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_napi_enable [2022-11-25 23:18:01,960 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_napi_enable [2022-11-25 23:18:01,960 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_skb_unmap [2022-11-25 23:18:01,960 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_skb_unmap [2022-11-25 23:18:01,960 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_avail [2022-11-25 23:18:01,960 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_avail [2022-11-25 23:18:01,961 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_bh_116 [2022-11-25 23:18:01,961 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_bh_116 [2022-11-25 23:18:01,961 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2022-11-25 23:18:01,961 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_start [2022-11-25 23:18:01,961 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_start [2022-11-25 23:18:01,961 INFO L130 BoogieDeclarations]: Found specification of procedure add_timer [2022-11-25 23:18:01,961 INFO L138 BoogieDeclarations]: Found implementation of procedure add_timer [2022-11-25 23:18:01,962 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_irqrestore_105 [2022-11-25 23:18:01,962 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_irqrestore_105 [2022-11-25 23:18:01,962 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write_sig_post_reset [2022-11-25 23:18:01,962 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write_sig_post_reset [2022-11-25 23:18:01,962 INFO L130 BoogieDeclarations]: Found specification of procedure strcat [2022-11-25 23:18:01,962 INFO L130 BoogieDeclarations]: Found specification of procedure kzalloc [2022-11-25 23:18:01,962 INFO L138 BoogieDeclarations]: Found implementation of procedure kzalloc [2022-11-25 23:18:01,963 INFO L130 BoogieDeclarations]: Found specification of procedure dma_mapping_error [2022-11-25 23:18:01,963 INFO L138 BoogieDeclarations]: Found implementation of procedure dma_mapping_error [2022-11-25 23:18:01,963 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_priv [2022-11-25 23:18:01,963 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_priv [2022-11-25 23:18:01,963 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_power_up [2022-11-25 23:18:01,963 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_power_up [2022-11-25 23:18:01,963 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_vpd_readblock [2022-11-25 23:18:01,964 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_vpd_readblock [2022-11-25 23:18:01,964 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_zalloc [2022-11-25 23:18:01,964 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_zalloc [2022-11-25 23:18:01,964 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write_sig_pre_reset [2022-11-25 23:18:01,964 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write_sig_pre_reset [2022-11-25 23:18:01,964 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_init_hw [2022-11-25 23:18:01,964 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_init_hw [2022-11-25 23:18:01,965 INFO L130 BoogieDeclarations]: Found specification of procedure pci_write_config_dword [2022-11-25 23:18:01,965 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_write_config_dword [2022-11-25 23:18:01,965 INFO L130 BoogieDeclarations]: Found specification of procedure dma_free_attrs [2022-11-25 23:18:01,965 INFO L138 BoogieDeclarations]: Found implementation of procedure dma_free_attrs [2022-11-25 23:18:01,965 INFO L130 BoogieDeclarations]: Found specification of procedure ethtool_adv_to_mii_adv_t [2022-11-25 23:18:01,965 INFO L138 BoogieDeclarations]: Found implementation of procedure ethtool_adv_to_mii_adv_t [2022-11-25 23:18:01,965 INFO L130 BoogieDeclarations]: Found specification of procedure pci_channel_offline [2022-11-25 23:18:01,965 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_channel_offline [2022-11-25 23:18:01,966 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_setup_flow_control [2022-11-25 23:18:01,966 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_setup_flow_control [2022-11-25 23:18:01,966 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_bdinfo [2022-11-25 23:18:01,966 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_bdinfo [2022-11-25 23:18:01,966 INFO L130 BoogieDeclarations]: Found specification of procedure synchronize_irq [2022-11-25 23:18:01,966 INFO L138 BoogieDeclarations]: Found implementation of procedure synchronize_irq [2022-11-25 23:18:01,966 INFO L130 BoogieDeclarations]: Found specification of procedure constant_test_bit [2022-11-25 23:18:01,967 INFO L138 BoogieDeclarations]: Found implementation of procedure constant_test_bit [2022-11-25 23:18:01,967 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_set_mac_addr [2022-11-25 23:18:01,967 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_set_mac_addr [2022-11-25 23:18:01,967 INFO L130 BoogieDeclarations]: Found specification of procedure pci_vpd_find_tag [2022-11-25 23:18:01,967 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_vpd_find_tag [2022-11-25 23:18:01,967 INFO L130 BoogieDeclarations]: Found specification of procedure _tg3_flag_set [2022-11-25 23:18:01,967 INFO L138 BoogieDeclarations]: Found implementation of procedure _tg3_flag_set [2022-11-25 23:18:01,968 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2022-11-25 23:18:01,968 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_refclk_write [2022-11-25 23:18:01,968 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_refclk_write [2022-11-25 23:18:01,968 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_eee_pull_config [2022-11-25 23:18:01,968 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_eee_pull_config [2022-11-25 23:18:01,968 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pause_cpu_and_set_pc [2022-11-25 23:18:01,968 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pause_cpu_and_set_pc [2022-11-25 23:18:01,969 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_resume_cpu [2022-11-25 23:18:01,969 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_resume_cpu [2022-11-25 23:18:01,969 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2022-11-25 23:18:01,969 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2022-11-25 23:18:01,969 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_power_down_prepare [2022-11-25 23:18:01,969 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_power_down_prepare [2022-11-25 23:18:01,969 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_lock [2022-11-25 23:18:01,970 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_lock [2022-11-25 23:18:01,970 INFO L130 BoogieDeclarations]: Found specification of procedure pci_dev_put [2022-11-25 23:18:01,970 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_dev_put [2022-11-25 23:18:01,970 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_enable_ints [2022-11-25 23:18:01,970 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_enable_ints [2022-11-25 23:18:01,970 INFO L130 BoogieDeclarations]: Found specification of procedure pci_enable_device [2022-11-25 23:18:01,970 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_enable_device [2022-11-25 23:18:01,971 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_do_test_dma [2022-11-25 23:18:01,971 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_do_test_dma [2022-11-25 23:18:01,971 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_poll_fw [2022-11-25 23:18:01,971 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_poll_fw [2022-11-25 23:18:01,971 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_toggle_auxctl_smdsp [2022-11-25 23:18:01,971 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_toggle_auxctl_smdsp [2022-11-25 23:18:01,971 INFO L130 BoogieDeclarations]: Found specification of procedure pcie_capability_clear_word [2022-11-25 23:18:01,971 INFO L138 BoogieDeclarations]: Found implementation of procedure pcie_capability_clear_word [2022-11-25 23:18:01,972 INFO L130 BoogieDeclarations]: Found specification of procedure rtnl_lock [2022-11-25 23:18:01,972 INFO L138 BoogieDeclarations]: Found implementation of procedure rtnl_lock [2022-11-25 23:18:01,972 INFO L130 BoogieDeclarations]: Found specification of procedure phy_disconnect [2022-11-25 23:18:01,972 INFO L138 BoogieDeclarations]: Found implementation of procedure phy_disconnect [2022-11-25 23:18:01,972 INFO L130 BoogieDeclarations]: Found specification of procedure device_may_wakeup [2022-11-25 23:18:01,972 INFO L138 BoogieDeclarations]: Found implementation of procedure device_may_wakeup [2022-11-25 23:18:01,972 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_phys_addr [2022-11-25 23:18:01,973 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_phys_addr [2022-11-25 23:18:01,973 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~X~$Pointer$~TO~VOID [2022-11-25 23:18:01,973 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~X~$Pointer$~TO~VOID [2022-11-25 23:18:01,973 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_5700_link_polarity [2022-11-25 23:18:01,973 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_5700_link_polarity [2022-11-25 23:18:01,973 INFO L130 BoogieDeclarations]: Found specification of procedure netif_get_num_default_rss_queues [2022-11-25 23:18:01,973 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_get_num_default_rss_queues [2022-11-25 23:18:01,974 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_122 [2022-11-25 23:18:01,974 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_122 [2022-11-25 23:18:01,974 INFO L130 BoogieDeclarations]: Found specification of procedure ethtool_adv_to_mii_ctrl1000_t [2022-11-25 23:18:01,974 INFO L138 BoogieDeclarations]: Found implementation of procedure ethtool_adv_to_mii_ctrl1000_t [2022-11-25 23:18:01,974 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_enable_register_access [2022-11-25 23:18:01,974 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_enable_register_access [2022-11-25 23:18:01,974 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_power_state [2022-11-25 23:18:01,975 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_power_state [2022-11-25 23:18:01,975 INFO L130 BoogieDeclarations]: Found specification of procedure dma_alloc_attrs [2022-11-25 23:18:01,975 INFO L138 BoogieDeclarations]: Found implementation of procedure dma_alloc_attrs [2022-11-25 23:18:01,975 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_msi [2022-11-25 23:18:01,975 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_msi [2022-11-25 23:18:01,975 INFO L130 BoogieDeclarations]: Found specification of procedure skb_tstamp_tx [2022-11-25 23:18:01,975 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_tstamp_tx [2022-11-25 23:18:01,976 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_stop [2022-11-25 23:18:01,976 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_stop [2022-11-25 23:18:01,976 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_stop_block [2022-11-25 23:18:01,976 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_stop_block [2022-11-25 23:18:01,976 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_scratchpad_read [2022-11-25 23:18:01,976 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_scratchpad_read [2022-11-25 23:18:01,976 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_wake_queue [2022-11-25 23:18:01,977 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_wake_queue [2022-11-25 23:18:01,977 INFO L130 BoogieDeclarations]: Found specification of procedure pci_release_regions [2022-11-25 23:18:01,977 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_release_regions [2022-11-25 23:18:01,977 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.meminit [2022-11-25 23:18:01,977 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.meminit [2022-11-25 23:18:01,977 INFO L130 BoogieDeclarations]: Found specification of procedure pci_unmap_page [2022-11-25 23:18:01,977 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_unmap_page [2022-11-25 23:18:01,977 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_init_5401phy_dsp [2022-11-25 23:18:01,978 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_init_5401phy_dsp [2022-11-25 23:18:01,978 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_open [2022-11-25 23:18:01,978 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_open [2022-11-25 23:18:01,978 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_setup_eee [2022-11-25 23:18:01,978 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_setup_eee [2022-11-25 23:18:01,978 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_malloc [2022-11-25 23:18:01,978 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_malloc [2022-11-25 23:18:01,979 INFO L130 BoogieDeclarations]: Found specification of procedure pci_read_config_word [2022-11-25 23:18:01,979 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_read_config_word [2022-11-25 23:18:01,979 INFO L130 BoogieDeclarations]: Found specification of procedure free_irq [2022-11-25 23:18:01,979 INFO L138 BoogieDeclarations]: Found implementation of procedure free_irq [2022-11-25 23:18:01,979 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_remove_one [2022-11-25 23:18:01,979 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_remove_one [2022-11-25 23:18:01,979 INFO L130 BoogieDeclarations]: Found specification of procedure mmd_eee_adv_to_ethtool_adv_t [2022-11-25 23:18:01,980 INFO L138 BoogieDeclarations]: Found implementation of procedure mmd_eee_adv_to_ethtool_adv_t [2022-11-25 23:18:01,980 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_ok [2022-11-25 23:18:01,980 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_ok [2022-11-25 23:18:01,980 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_indirect_lock_of_tg3 [2022-11-25 23:18:01,980 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_indirect_lock_of_tg3 [2022-11-25 23:18:01,980 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tso_bug [2022-11-25 23:18:01,980 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tso_bug [2022-11-25 23:18:01,981 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_on [2022-11-25 23:18:01,981 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_on [2022-11-25 23:18:01,981 INFO L130 BoogieDeclarations]: Found specification of procedure spinlock_check [2022-11-25 23:18:01,981 INFO L138 BoogieDeclarations]: Found implementation of procedure spinlock_check [2022-11-25 23:18:01,981 INFO L130 BoogieDeclarations]: Found specification of procedure pci_vpd_lrdt_size [2022-11-25 23:18:01,981 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_vpd_lrdt_size [2022-11-25 23:18:01,981 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_mtu [2022-11-25 23:18:01,981 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_mtu [2022-11-25 23:18:01,982 INFO L130 BoogieDeclarations]: Found specification of procedure __netif_tx_unlock [2022-11-25 23:18:01,982 INFO L138 BoogieDeclarations]: Found implementation of procedure __netif_tx_unlock [2022-11-25 23:18:01,982 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_reset_hw [2022-11-25 23:18:01,982 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_reset_hw [2022-11-25 23:18:01,982 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_xmalloc [2022-11-25 23:18:01,982 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_xmalloc [2022-11-25 23:18:01,982 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_dump_legacy_regs [2022-11-25 23:18:01,983 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_dump_legacy_regs [2022-11-25 23:18:01,983 INFO L130 BoogieDeclarations]: Found specification of procedure skb_end_pointer [2022-11-25 23:18:01,983 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_end_pointer [2022-11-25 23:18:01,983 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_start_xmit [2022-11-25 23:18:01,983 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_start_xmit [2022-11-25 23:18:01,983 INFO L130 BoogieDeclarations]: Found specification of procedure eth_validate_addr [2022-11-25 23:18:01,983 INFO L138 BoogieDeclarations]: Found implementation of procedure eth_validate_addr [2022-11-25 23:18:01,983 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_is_err [2022-11-25 23:18:01,984 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_is_err [2022-11-25 23:18:01,984 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_dump_state [2022-11-25 23:18:01,984 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_dump_state [2022-11-25 23:18:01,984 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_advert_flowctrl_1000X [2022-11-25 23:18:01,984 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_advert_flowctrl_1000X [2022-11-25 23:18:01,984 INFO L130 BoogieDeclarations]: Found specification of procedure netif_device_attach [2022-11-25 23:18:01,984 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_device_attach [2022-11-25 23:18:01,985 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2022-11-25 23:18:01,985 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_queue_stopped [2022-11-25 23:18:01,985 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_queue_stopped [2022-11-25 23:18:01,985 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_get_tx_queue [2022-11-25 23:18:01,985 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_get_tx_queue [2022-11-25 23:18:01,985 INFO L130 BoogieDeclarations]: Found specification of procedure pci_is_pcie [2022-11-25 23:18:01,985 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_is_pcie [2022-11-25 23:18:01,986 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~int [2022-11-25 23:18:01,986 INFO L130 BoogieDeclarations]: Found specification of procedure _copy_from_user [2022-11-25 23:18:01,986 INFO L138 BoogieDeclarations]: Found implementation of procedure _copy_from_user [2022-11-25 23:18:01,986 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_eeprom_size [2022-11-25 23:18:01,986 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_eeprom_size [2022-11-25 23:18:01,986 INFO L130 BoogieDeclarations]: Found specification of procedure __raw_spin_lock_init [2022-11-25 23:18:01,986 INFO L138 BoogieDeclarations]: Found implementation of procedure __raw_spin_lock_init [2022-11-25 23:18:01,987 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~int [2022-11-25 23:18:01,987 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_eeprom_len [2022-11-25 23:18:01,987 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_eeprom_len [2022-11-25 23:18:01,987 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_netif_start [2022-11-25 23:18:01,987 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_netif_start [2022-11-25 23:18:01,987 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_toggle_automdix [2022-11-25 23:18:01,987 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_toggle_automdix [2022-11-25 23:18:01,987 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_set_coalesce [2022-11-25 23:18:01,988 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_set_coalesce [2022-11-25 23:18:01,988 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_io_resume [2022-11-25 23:18:01,988 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_io_resume [2022-11-25 23:18:01,988 INFO L130 BoogieDeclarations]: Found specification of procedure __phys_addr [2022-11-25 23:18:01,988 INFO L138 BoogieDeclarations]: Found implementation of procedure __phys_addr [2022-11-25 23:18:01,988 INFO L130 BoogieDeclarations]: Found specification of procedure skb_get_queue_mapping [2022-11-25 23:18:01,988 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_get_queue_mapping [2022-11-25 23:18:01,989 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_close [2022-11-25 23:18:01,989 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_close [2022-11-25 23:18:01,989 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_after_alloc [2022-11-25 23:18:01,989 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_after_alloc [2022-11-25 23:18:01,989 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memcpy [2022-11-25 23:18:01,989 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memcpy [2022-11-25 23:18:01,989 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_to_interrupt_context [2022-11-25 23:18:01,990 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_to_interrupt_context [2022-11-25 23:18:01,990 INFO L130 BoogieDeclarations]: Found specification of procedure mii_advertise_flowctrl [2022-11-25 23:18:01,990 INFO L138 BoogieDeclarations]: Found implementation of procedure mii_advertise_flowctrl [2022-11-25 23:18:01,990 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_dev_set_drvdata [2022-11-25 23:18:01,990 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_dev_set_drvdata [2022-11-25 23:18:01,990 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_alloc_flags [2022-11-25 23:18:01,990 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_alloc_flags [2022-11-25 23:18:01,991 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_resume [2022-11-25 23:18:01,991 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_resume [2022-11-25 23:18:01,991 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_set_bd [2022-11-25 23:18:01,991 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_set_bd [2022-11-25 23:18:01,991 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pwrsrc_switch_to_vmain [2022-11-25 23:18:01,991 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pwrsrc_switch_to_vmain [2022-11-25 23:18:01,991 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_logical_addr [2022-11-25 23:18:01,992 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_logical_addr [2022-11-25 23:18:01,992 INFO L130 BoogieDeclarations]: Found specification of procedure div_u64_rem [2022-11-25 23:18:01,992 INFO L138 BoogieDeclarations]: Found implementation of procedure div_u64_rem [2022-11-25 23:18:01,992 INFO L130 BoogieDeclarations]: Found specification of procedure __udelay [2022-11-25 23:18:01,992 INFO L138 BoogieDeclarations]: Found implementation of procedure __udelay [2022-11-25 23:18:01,992 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_set_rx_mode [2022-11-25 23:18:01,992 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_set_rx_mode [2022-11-25 23:18:01,992 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write_sig_legacy [2022-11-25 23:18:01,993 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write_sig_legacy [2022-11-25 23:18:01,993 INFO L130 BoogieDeclarations]: Found specification of procedure is_valid_ether_addr [2022-11-25 23:18:01,993 INFO L138 BoogieDeclarations]: Found implementation of procedure is_valid_ether_addr [2022-11-25 23:18:01,993 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~VOID [2022-11-25 23:18:01,993 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~VOID [2022-11-25 23:18:01,993 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~int [2022-11-25 23:18:01,993 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~int [2022-11-25 23:18:01,994 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_generate_fw_event [2022-11-25 23:18:01,994 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_generate_fw_event [2022-11-25 23:18:01,994 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_exclusive_spin_is_locked [2022-11-25 23:18:01,994 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_exclusive_spin_is_locked [2022-11-25 23:18:01,994 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assert [2022-11-25 23:18:01,994 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assert [2022-11-25 23:18:01,994 INFO L130 BoogieDeclarations]: Found specification of procedure pci_vpd_find_info_keyword [2022-11-25 23:18:01,995 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_vpd_find_info_keyword [2022-11-25 23:18:01,995 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_timer_stop [2022-11-25 23:18:01,995 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_timer_stop [2022-11-25 23:18:01,995 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_stop [2022-11-25 23:18:01,995 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_stop [2022-11-25 23:18:01,995 INFO L130 BoogieDeclarations]: Found specification of procedure __ldv_spin_lock [2022-11-25 23:18:01,995 INFO L138 BoogieDeclarations]: Found implementation of procedure __ldv_spin_lock [2022-11-25 23:18:01,996 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_nstats [2022-11-25 23:18:01,996 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_nstats [2022-11-25 23:18:01,996 INFO L130 BoogieDeclarations]: Found specification of procedure debug_dma_map_page [2022-11-25 23:18:01,996 INFO L138 BoogieDeclarations]: Found implementation of procedure debug_dma_map_page [2022-11-25 23:18:01,996 INFO L130 BoogieDeclarations]: Found specification of procedure skb_put [2022-11-25 23:18:01,996 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_put [2022-11-25 23:18:01,996 INFO L130 BoogieDeclarations]: Found specification of procedure calc_crc [2022-11-25 23:18:01,997 INFO L138 BoogieDeclarations]: Found implementation of procedure calc_crc [2022-11-25 23:18:01,997 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rss_write_indir_tbl [2022-11-25 23:18:01,997 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rss_write_indir_tbl [2022-11-25 23:18:01,997 INFO L130 BoogieDeclarations]: Found specification of procedure skb_frag_size [2022-11-25 23:18:01,997 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_frag_size [2022-11-25 23:18:01,997 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_netif_stop [2022-11-25 23:18:01,997 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_netif_stop [2022-11-25 23:18:01,997 INFO L130 BoogieDeclarations]: Found specification of procedure dev_name [2022-11-25 23:18:01,998 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_name [2022-11-25 23:18:01,998 INFO L130 BoogieDeclarations]: Found specification of procedure writel [2022-11-25 23:18:01,998 INFO L138 BoogieDeclarations]: Found implementation of procedure writel [2022-11-25 23:18:01,998 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_frag_set [2022-11-25 23:18:01,998 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_frag_set [2022-11-25 23:18:01,998 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_loopback [2022-11-25 23:18:01,998 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_loopback [2022-11-25 23:18:01,999 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_irq_sync [2022-11-25 23:18:01,999 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_irq_sync [2022-11-25 23:18:01,999 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_stop_fw [2022-11-25 23:18:01,999 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_stop_fw [2022-11-25 23:18:01,999 INFO L130 BoogieDeclarations]: Found specification of procedure tcp_hdr [2022-11-25 23:18:01,999 INFO L138 BoogieDeclarations]: Found implementation of procedure tcp_hdr [2022-11-25 23:18:01,999 INFO L130 BoogieDeclarations]: Found specification of procedure __fswab32 [2022-11-25 23:18:02,000 INFO L138 BoogieDeclarations]: Found implementation of procedure __fswab32 [2022-11-25 23:18:02,000 INFO L130 BoogieDeclarations]: Found specification of procedure pcie_capability_set_word [2022-11-25 23:18:02,000 INFO L138 BoogieDeclarations]: Found implementation of procedure pcie_capability_set_word [2022-11-25 23:18:02,000 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_strcpy [2022-11-25 23:18:02,000 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_strcpy [2022-11-25 23:18:02,000 INFO L130 BoogieDeclarations]: Found specification of procedure mii_adv_to_ethtool_adv_t [2022-11-25 23:18:02,000 INFO L138 BoogieDeclarations]: Found implementation of procedure mii_adv_to_ethtool_adv_t [2022-11-25 23:18:02,001 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$ [2022-11-25 23:18:02,001 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_stop [2022-11-25 23:18:02,001 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_stop [2022-11-25 23:18:02,001 INFO L130 BoogieDeclarations]: Found specification of procedure mii_adv_to_ethtool_adv_x [2022-11-25 23:18:02,001 INFO L138 BoogieDeclarations]: Found implementation of procedure mii_adv_to_ethtool_adv_x [2022-11-25 23:18:02,001 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_has_work [2022-11-25 23:18:02,001 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_has_work [2022-11-25 23:18:02,001 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_run_loopback [2022-11-25 23:18:02,002 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_run_loopback [2022-11-25 23:18:02,002 INFO L130 BoogieDeclarations]: Found specification of procedure request_irq [2022-11-25 23:18:02,002 INFO L138 BoogieDeclarations]: Found implementation of procedure request_irq [2022-11-25 23:18:02,002 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_lso_rd_dma_workaround_bit [2022-11-25 23:18:02,002 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_lso_rd_dma_workaround_bit [2022-11-25 23:18:02,002 INFO L130 BoogieDeclarations]: Found specification of procedure pci_read_config_byte [2022-11-25 23:18:02,002 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_read_config_byte [2022-11-25 23:18:02,003 INFO L130 BoogieDeclarations]: Found specification of procedure rtnl_unlock [2022-11-25 23:18:02,003 INFO L138 BoogieDeclarations]: Found implementation of procedure rtnl_unlock [2022-11-25 23:18:02,003 INFO L130 BoogieDeclarations]: Found specification of procedure kmemcheck_mark_initialized [2022-11-25 23:18:02,003 INFO L138 BoogieDeclarations]: Found implementation of procedure kmemcheck_mark_initialized [2022-11-25 23:18:02,003 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rss_init_dflt_indir_tbl [2022-11-25 23:18:02,003 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rss_init_dflt_indir_tbl [2022-11-25 23:18:02,003 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_lpbk_set [2022-11-25 23:18:02,004 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_lpbk_set [2022-11-25 23:18:02,004 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_multi [2022-11-25 23:18:02,004 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_multi [2022-11-25 23:18:02,004 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_unlock [2022-11-25 23:18:02,004 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_unlock [2022-11-25 23:18:02,004 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_auxctl_read [2022-11-25 23:18:02,004 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_auxctl_read [2022-11-25 23:18:02,005 INFO L130 BoogieDeclarations]: Found specification of procedure atomic_read [2022-11-25 23:18:02,005 INFO L138 BoogieDeclarations]: Found implementation of procedure atomic_read [2022-11-25 23:18:02,005 INFO L130 BoogieDeclarations]: Found specification of procedure netif_set_real_num_tx_queues [2022-11-25 23:18:02,005 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_set_real_num_tx_queues [2022-11-25 23:18:02,005 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_msix [2022-11-25 23:18:02,005 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_msix [2022-11-25 23:18:02,005 INFO L130 BoogieDeclarations]: Found specification of procedure pci_dev_present [2022-11-25 23:18:02,006 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_dev_present [2022-11-25 23:18:02,006 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_dev_get_drvdata [2022-11-25 23:18:02,006 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_dev_get_drvdata [2022-11-25 23:18:02,006 INFO L130 BoogieDeclarations]: Found specification of procedure __netif_schedule [2022-11-25 23:18:02,006 INFO L138 BoogieDeclarations]: Found implementation of procedure __netif_schedule [2022-11-25 23:18:02,006 INFO L130 BoogieDeclarations]: Found specification of procedure tw32_mailbox_flush [2022-11-25 23:18:02,006 INFO L138 BoogieDeclarations]: Found implementation of procedure tw32_mailbox_flush [2022-11-25 23:18:02,006 INFO L130 BoogieDeclarations]: Found specification of procedure consume_skb [2022-11-25 23:18:02,007 INFO L138 BoogieDeclarations]: Found implementation of procedure consume_skb [2022-11-25 23:18:02,007 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_master [2022-11-25 23:18:02,007 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_master [2022-11-25 23:18:02,007 INFO L130 BoogieDeclarations]: Found specification of procedure netif_running [2022-11-25 23:18:02,007 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_running [2022-11-25 23:18:02,007 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_event_lock [2022-11-25 23:18:02,007 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_event_lock [2022-11-25 23:18:02,008 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ump_link_report [2022-11-25 23:18:02,008 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ump_link_report [2022-11-25 23:18:02,008 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~u32~0~X~~u32~0~TO~VOID [2022-11-25 23:18:02,008 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~u32~0~X~~u32~0~TO~VOID [2022-11-25 23:18:02,008 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2022-11-25 23:18:02,008 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_set_one_mac_addr [2022-11-25 23:18:02,008 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_set_one_mac_addr [2022-11-25 23:18:02,009 INFO L130 BoogieDeclarations]: Found specification of procedure might_fault [2022-11-25 23:18:02,009 INFO L138 BoogieDeclarations]: Found implementation of procedure might_fault [2022-11-25 23:18:02,009 INFO L130 BoogieDeclarations]: Found specification of procedure pci_vpd_info_field_size [2022-11-25 23:18:02,009 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_vpd_info_field_size [2022-11-25 23:18:02,009 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~structbegin~int~structend~~TO~int [2022-11-25 23:18:02,009 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~structbegin~int~structend~~TO~int [2022-11-25 23:18:02,009 INFO L130 BoogieDeclarations]: Found specification of procedure pci_write_config_byte [2022-11-25 23:18:02,010 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_write_config_byte [2022-11-25 23:18:02,010 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_pre_probe [2022-11-25 23:18:02,010 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_pre_probe [2022-11-25 23:18:02,010 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_napi_disable [2022-11-25 23:18:02,010 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_napi_disable [2022-11-25 23:18:02,010 INFO L130 BoogieDeclarations]: Found specification of procedure __fswab16 [2022-11-25 23:18:02,010 INFO L138 BoogieDeclarations]: Found implementation of procedure __fswab16 [2022-11-25 23:18:02,010 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_request_irq [2022-11-25 23:18:02,011 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_request_irq [2022-11-25 23:18:02,011 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rxcpu_pause [2022-11-25 23:18:02,011 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rxcpu_pause [2022-11-25 23:18:02,011 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_positive_int [2022-11-25 23:18:02,011 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_positive_int [2022-11-25 23:18:02,011 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_carrier_off [2022-11-25 23:18:02,011 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_carrier_off [2022-11-25 23:18:02,012 INFO L130 BoogieDeclarations]: Found specification of procedure pci_enable_msix [2022-11-25 23:18:02,012 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_enable_msix [2022-11-25 23:18:02,012 INFO L130 BoogieDeclarations]: Found specification of procedure release_firmware [2022-11-25 23:18:02,012 INFO L138 BoogieDeclarations]: Found implementation of procedure release_firmware [2022-11-25 23:18:02,012 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free_irq [2022-11-25 23:18:02,012 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free_irq [2022-11-25 23:18:02,012 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_setup_phy [2022-11-25 23:18:02,013 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_setup_phy [2022-11-25 23:18:02,013 INFO L130 BoogieDeclarations]: Found specification of procedure _tw32_flush [2022-11-25 23:18:02,013 INFO L138 BoogieDeclarations]: Found implementation of procedure _tw32_flush [2022-11-25 23:18:02,013 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rd32_loop [2022-11-25 23:18:02,013 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rd32_loop [2022-11-25 23:18:02,013 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~u32~0~TO~~u32~0 [2022-11-25 23:18:02,013 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~u32~0~TO~~u32~0 [2022-11-25 23:18:02,013 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_switch_clocks [2022-11-25 23:18:02,014 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_switch_clocks [2022-11-25 23:18:02,014 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_start_queue [2022-11-25 23:18:02,014 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_start_queue [2022-11-25 23:18:02,014 INFO L130 BoogieDeclarations]: Found specification of procedure free_netdev [2022-11-25 23:18:02,014 INFO L138 BoogieDeclarations]: Found implementation of procedure free_netdev [2022-11-25 23:18:02,014 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_write32 [2022-11-25 23:18:02,014 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_write32 [2022-11-25 23:18:02,015 INFO L130 BoogieDeclarations]: Found specification of procedure pci_dma_mapping_error [2022-11-25 23:18:02,015 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_dma_mapping_error [2022-11-25 23:18:02,015 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_copper_an_config_ok [2022-11-25 23:18:02,015 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_copper_an_config_ok [2022-11-25 23:18:02,015 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2022-11-25 23:18:02,015 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2022-11-25 23:18:02,015 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_lock_of_tg3 [2022-11-25 23:18:02,016 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_lock_of_tg3 [2022-11-25 23:18:02,016 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_regs_len [2022-11-25 23:18:02,016 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_regs_len [2022-11-25 23:18:02,016 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_read_be32 [2022-11-25 23:18:02,016 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_read_be32 [2022-11-25 23:18:02,016 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_reset_task_cancel [2022-11-25 23:18:02,016 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_reset_task_cancel [2022-11-25 23:18:02,017 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_bh_117 [2022-11-25 23:18:02,017 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_bh_117 [2022-11-25 23:18:02,017 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_cl45_read [2022-11-25 23:18:02,017 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_cl45_read [2022-11-25 23:18:02,017 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_test_and_report_link_chg [2022-11-25 23:18:02,017 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_test_and_report_link_chg [2022-11-25 23:18:02,017 INFO L130 BoogieDeclarations]: Found specification of procedure test_and_set_bit [2022-11-25 23:18:02,017 INFO L138 BoogieDeclarations]: Found implementation of procedure test_and_set_bit [2022-11-25 23:18:02,018 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_disable_ints [2022-11-25 23:18:02,018 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_disable_ints [2022-11-25 23:18:02,018 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_enable_nvram_access [2022-11-25 23:18:02,018 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_enable_nvram_access [2022-11-25 23:18:02,018 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_stop_queue [2022-11-25 23:18:02,018 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_stop_queue [2022-11-25 23:18:02,018 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_wait_macro_done [2022-11-25 23:18:02,019 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_wait_macro_done [2022-11-25 23:18:02,019 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_shdw_write [2022-11-25 23:18:02,019 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_shdw_write [2022-11-25 23:18:02,019 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write32 [2022-11-25 23:18:02,019 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write32 [2022-11-25 23:18:02,019 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free [2022-11-25 23:18:02,019 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free [2022-11-25 23:18:02,020 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_full_unlock [2022-11-25 23:18:02,020 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_full_unlock [2022-11-25 23:18:02,020 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_unlock [2022-11-25 23:18:02,020 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_unlock [2022-11-25 23:18:02,020 INFO L130 BoogieDeclarations]: Found specification of procedure dql_avail [2022-11-25 23:18:02,020 INFO L138 BoogieDeclarations]: Found implementation of procedure dql_avail [2022-11-25 23:18:02,020 INFO L130 BoogieDeclarations]: Found specification of procedure get_stat64 [2022-11-25 23:18:02,020 INFO L138 BoogieDeclarations]: Found implementation of procedure get_stat64 [2022-11-25 23:18:02,021 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_full_lock [2022-11-25 23:18:02,021 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_full_lock [2022-11-25 23:18:02,021 INFO L130 BoogieDeclarations]: Found specification of procedure spin_lock [2022-11-25 23:18:02,021 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_lock [2022-11-25 23:18:02,021 INFO L130 BoogieDeclarations]: Found specification of procedure readl [2022-11-25 23:18:02,021 INFO L138 BoogieDeclarations]: Found implementation of procedure readl [2022-11-25 23:18:02,021 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_suspend [2022-11-25 23:18:02,022 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_suspend [2022-11-25 23:18:02,022 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2022-11-25 23:18:02,022 INFO L130 BoogieDeclarations]: Found specification of procedure ktime_get_real [2022-11-25 23:18:02,022 INFO L138 BoogieDeclarations]: Found implementation of procedure ktime_get_real [2022-11-25 23:18:02,022 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_halt_cpu [2022-11-25 23:18:02,022 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_halt_cpu [2022-11-25 23:18:02,022 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2022-11-25 23:18:02,023 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2022-11-25 23:18:05,258 INFO L235 CfgBuilder]: Building ICFG [2022-11-25 23:18:05,265 INFO L261 CfgBuilder]: Building CFG for each procedure with an implementation [2022-11-25 23:18:06,456 INFO L769 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_stopFINAL: assume true; [2022-11-25 23:21:05,651 INFO L276 CfgBuilder]: Performing block encoding [2022-11-25 23:21:32,880 INFO L295 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2022-11-25 23:21:32,880 INFO L300 CfgBuilder]: Removed 24 assume(true) statements. [2022-11-25 23:21:32,893 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.11 11:21:32 BoogieIcfgContainer [2022-11-25 23:21:32,893 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2022-11-25 23:21:32,895 INFO L113 PluginConnector]: ------------------------TraceAbstraction---------------------------- [2022-11-25 23:21:32,896 INFO L271 PluginConnector]: Initializing TraceAbstraction... [2022-11-25 23:21:32,899 INFO L275 PluginConnector]: TraceAbstraction initialized [2022-11-25 23:21:32,900 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 25.11 11:17:37" (1/3) ... [2022-11-25 23:21:32,900 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@3284c598 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 25.11 11:21:32, skipping insertion in model container [2022-11-25 23:21:32,901 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:17:57" (2/3) ... [2022-11-25 23:21:32,901 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@3284c598 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 25.11 11:21:32, skipping insertion in model container [2022-11-25 23:21:32,901 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.11 11:21:32" (3/3) ... [2022-11-25 23:21:32,903 INFO L112 eAbstractionObserver]: Analyzing ICFG linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i [2022-11-25 23:21:32,926 INFO L203 ceAbstractionStarter]: Automizer settings: Hoare:true NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION [2022-11-25 23:21:32,926 INFO L162 ceAbstractionStarter]: Applying trace abstraction to program that has 1 error locations. [2022-11-25 23:21:33,158 INFO L356 AbstractCegarLoop]: ======== Iteration 0 == of CEGAR loop == AllErrorsAtOnce ======== [2022-11-25 23:21:33,167 INFO L357 AbstractCegarLoop]: Settings: SEPARATE_VIOLATION_CHECK=true, mInterprocedural=true, mMaxIterations=1000000, mWatchIteration=1000000, mArtifact=RCFG, mInterpolation=FPandBP, mInterpolantAutomaton=STRAIGHT_LINE, mDumpAutomata=false, mAutomataFormat=ATS_NUMERATE, mDumpPath=., mDeterminiation=PREDICATE_ABSTRACTION, mMinimize=MINIMIZE_SEVPA, mHoare=true, mAutomataTypeConcurrency=FINITE_AUTOMATA, mHoareTripleChecks=INCREMENTAL, mHoareAnnotationPositions=LoopsAndPotentialCycles, mDumpOnlyReuseAutomata=false, mLimitTraceHistogram=0, mErrorLocTimeLimit=0, mLimitPathProgramCount=0, mCollectInterpolantStatistics=true, mHeuristicEmptinessCheck=false, mHeuristicEmptinessCheckAStarHeuristic=ZERO, mHeuristicEmptinessCheckAStarHeuristicRandomSeed=1337, mHeuristicEmptinessCheckSmtFeatureScoringMethod=DAGSIZE, mSMTFeatureExtraction=false, mSMTFeatureExtractionDumpPath=., mOverrideInterpolantAutomaton=false, mMcrInterpolantMethod=WP, mPorIndependenceSettings=[Lde.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.partialorder.independence.IndependenceSettings;@76a1afb8, mLbeIndependenceSettings=[IndependenceType=SEMANTIC, AbstractionType=NONE, UseConditional=false, UseSemiCommutativity=true, Solver=Z3, SolverTimeout=1000ms] [2022-11-25 23:21:33,168 INFO L358 AbstractCegarLoop]: Starting to check reachability of 1 error locations. [2022-11-25 23:21:33,201 INFO L276 IsEmpty]: Start isEmpty. Operand has 10126 states, 6191 states have (on average 1.3479244063963818) internal successors, (8345), 6499 states have internal predecessors, (8345), 3583 states have call successors, (3583), 352 states have call predecessors, (3583), 351 states have return successors, (3575), 3500 states have call predecessors, (3575), 3575 states have call successors, (3575) [2022-11-25 23:21:33,279 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 215 [2022-11-25 23:21:33,279 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 23:21:33,281 INFO L195 NwaCegarLoop]: trace histogram [9, 9, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-11-25 23:21:33,281 INFO L420 AbstractCegarLoop]: === Iteration 1 === Targeting ldv_check_alloc_flagsErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_check_alloc_flagsErr0ASSERT_VIOLATIONERROR_FUNCTION] === [2022-11-25 23:21:33,287 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 23:21:33,287 INFO L85 PathProgramCache]: Analyzing trace with hash 1067369516, now seen corresponding path program 1 times [2022-11-25 23:21:33,298 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 23:21:33,298 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [2144783513] [2022-11-25 23:21:33,299 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 23:21:33,299 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 23:21:34,603 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat