./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 2329fc70 Calling Ultimate with: /usr/lib/jvm/java-1.11.0-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/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_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/config/svcomp-Reach-64bit-Taipan_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh --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-2329fc7 [2022-12-14 09:49:39,053 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-12-14 09:49:39,054 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-12-14 09:49:39,074 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-12-14 09:49:39,075 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-12-14 09:49:39,076 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-12-14 09:49:39,077 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-12-14 09:49:39,079 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-12-14 09:49:39,080 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-12-14 09:49:39,081 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-12-14 09:49:39,082 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-12-14 09:49:39,083 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-12-14 09:49:39,084 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-12-14 09:49:39,085 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-12-14 09:49:39,086 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-12-14 09:49:39,087 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-12-14 09:49:39,088 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-12-14 09:49:39,089 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-12-14 09:49:39,091 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-12-14 09:49:39,092 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-12-14 09:49:39,094 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-12-14 09:49:39,095 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-12-14 09:49:39,097 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-12-14 09:49:39,097 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-12-14 09:49:39,101 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-12-14 09:49:39,101 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-12-14 09:49:39,102 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-12-14 09:49:39,103 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-12-14 09:49:39,103 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-12-14 09:49:39,104 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-12-14 09:49:39,104 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-12-14 09:49:39,105 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-12-14 09:49:39,106 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-12-14 09:49:39,106 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-12-14 09:49:39,107 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-12-14 09:49:39,108 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-12-14 09:49:39,108 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-12-14 09:49:39,108 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-12-14 09:49:39,108 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-12-14 09:49:39,109 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-12-14 09:49:39,110 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-12-14 09:49:39,110 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/config/svcomp-Reach-64bit-Taipan_Default.epf [2022-12-14 09:49:39,132 INFO L113 SettingsManager]: Loading preferences was successful [2022-12-14 09:49:39,133 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-12-14 09:49:39,133 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-12-14 09:49:39,133 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-12-14 09:49:39,134 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-12-14 09:49:39,134 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-12-14 09:49:39,134 INFO L138 SettingsManager]: * User list type=DISABLED [2022-12-14 09:49:39,134 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-12-14 09:49:39,134 INFO L138 SettingsManager]: * Explicit value domain=true [2022-12-14 09:49:39,135 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2022-12-14 09:49:39,135 INFO L138 SettingsManager]: * Octagon Domain=false [2022-12-14 09:49:39,135 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2022-12-14 09:49:39,135 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2022-12-14 09:49:39,135 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2022-12-14 09:49:39,136 INFO L138 SettingsManager]: * Interval Domain=false [2022-12-14 09:49:39,136 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2022-12-14 09:49:39,136 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2022-12-14 09:49:39,136 INFO L138 SettingsManager]: * Simplification Technique=POLY_PAC [2022-12-14 09:49:39,137 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-12-14 09:49:39,137 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-12-14 09:49:39,137 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-12-14 09:49:39,138 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2022-12-14 09:49:39,138 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-12-14 09:49:39,138 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2022-12-14 09:49:39,138 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2022-12-14 09:49:39,138 INFO L138 SettingsManager]: * Use constant arrays=true [2022-12-14 09:49:39,139 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2022-12-14 09:49:39,139 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-12-14 09:49:39,139 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-12-14 09:49:39,139 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-12-14 09:49:39,139 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-12-14 09:49:39,140 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2022-12-14 09:49:39,140 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-12-14 09:49:39,140 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2022-12-14 09:49:39,140 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2022-12-14 09:49:39,140 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-12-14 09:49:39,141 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2022-12-14 09:49:39,141 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2022-12-14 09:49:39,141 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_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/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_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh 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-12-14 09:49:39,336 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-12-14 09:49:39,352 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-12-14 09:49:39,354 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-12-14 09:49:39,355 INFO L271 PluginConnector]: Initializing CDTParser... [2022-12-14 09:49:39,355 INFO L275 PluginConnector]: CDTParser initialized [2022-12-14 09:49:39,356 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/../../sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i [2022-12-14 09:49:42,033 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-12-14 09:49:42,772 INFO L351 CDTParser]: Found 1 translation units. [2022-12-14 09:49:42,773 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i [2022-12-14 09:49:42,852 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/data/ed107f280/41ba70520654487cb5dc68963bc1c6c2/FLAG2c1aeb1e2 [2022-12-14 09:49:42,866 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/data/ed107f280/41ba70520654487cb5dc68963bc1c6c2 [2022-12-14 09:49:42,868 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-12-14 09:49:42,869 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-12-14 09:49:42,871 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-12-14 09:49:42,871 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-12-14 09:49:42,874 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-12-14 09:49:42,875 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.12 09:49:42" (1/1) ... [2022-12-14 09:49:42,876 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@6683db57 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:42, skipping insertion in model container [2022-12-14 09:49:42,876 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.12 09:49:42" (1/1) ... [2022-12-14 09:49:42,883 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-12-14 09:49:43,104 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-12-14 09:49:43,999 WARN L623 FunctionHandler]: Unknown extern function __bitmap_weight [2022-12-14 09:49:44,261 WARN L623 FunctionHandler]: Unknown extern function __local_bh_disable_ip [2022-12-14 09:49:44,280 WARN L623 FunctionHandler]: Unknown extern function __local_bh_enable_ip [2022-12-14 09:49:44,351 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-12-14 09:49:44,376 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_bh [2022-12-14 09:49:44,394 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-12-14 09:49:44,421 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_bh [2022-12-14 09:49:44,439 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-12-14 09:49:44,559 WARN L623 FunctionHandler]: Unknown extern function queue_work_on [2022-12-14 09:49:44,762 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 09:49:44,925 WARN L623 FunctionHandler]: Unknown extern function might_fault [2022-12-14 09:49:44,925 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-12-14 09:49:44,926 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-12-14 09:49:44,926 WARN L623 FunctionHandler]: Unknown extern function __copy_from_user_overflow [2022-12-14 09:49:44,937 WARN L623 FunctionHandler]: Unknown extern function might_fault [2022-12-14 09:49:44,937 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-12-14 09:49:44,938 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-12-14 09:49:44,938 WARN L623 FunctionHandler]: Unknown extern function __copy_to_user_overflow [2022-12-14 09:49:45,071 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 09:49:45,074 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 09:49:45,074 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-12-14 09:49:45,085 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-12-14 09:49:45,096 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-12-14 09:49:45,107 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-12-14 09:49:45,117 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_cpu [2022-12-14 09:49:45,128 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_device [2022-12-14 09:49:45,137 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-12-14 09:49:45,184 WARN L623 FunctionHandler]: Unknown extern function debug_dma_alloc_coherent [2022-12-14 09:49:45,194 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 09:49:45,196 WARN L623 FunctionHandler]: Unknown extern function debug_dma_free_coherent [2022-12-14 09:49:45,206 WARN L623 FunctionHandler]: Unknown extern function dma_supported [2022-12-14 09:49:45,460 WARN L623 FunctionHandler]: Unknown extern function skb_tstamp_tx [2022-12-14 09:49:45,469 WARN L623 FunctionHandler]: Unknown extern function skb_clone_tx_timestamp [2022-12-14 09:49:45,575 WARN L623 FunctionHandler]: Unknown extern function __napi_schedule [2022-12-14 09:49:45,593 WARN L623 FunctionHandler]: Unknown extern function __might_sleep [2022-12-14 09:49:45,593 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:45,698 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-12-14 09:49:45,726 WARN L623 FunctionHandler]: Unknown extern function netpoll_trap [2022-12-14 09:49:45,726 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-12-14 09:49:45,756 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 09:49:45,757 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 09:49:45,797 WARN L623 FunctionHandler]: Unknown extern function dql_completed [2022-12-14 09:49:45,807 WARN L623 FunctionHandler]: Unknown extern function dql_reset [2022-12-14 09:49:45,862 WARN L623 FunctionHandler]: Unknown extern function __dev_kfree_skb_any [2022-12-14 09:49:45,946 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:45,947 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:45,947 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:45,947 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:45,948 WARN L623 FunctionHandler]: Unknown extern function __bad_size_call_parameter [2022-12-14 09:49:46,009 WARN L623 FunctionHandler]: Unknown extern function __skb_gso_segment [2022-12-14 09:49:46,163 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_byte [2022-12-14 09:49:46,173 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-12-14 09:49:46,183 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-12-14 09:49:46,193 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_byte [2022-12-14 09:49:46,203 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_word [2022-12-14 09:49:46,213 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-12-14 09:49:46,249 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_clear_and_set_word [2022-12-14 09:49:46,259 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_clear_and_set_word [2022-12-14 09:49:46,493 WARN L623 FunctionHandler]: Unknown extern function dma_set_mask [2022-12-14 09:49:46,613 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-12-14 09:49:46,904 WARN L623 FunctionHandler]: Unknown extern function mdiobus_alloc_size [2022-12-14 09:49:47,292 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-12-14 09:49:47,293 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-12-14 09:49:47,378 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,400 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,410 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,511 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,511 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,512 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,513 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,533 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,534 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,535 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,535 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,645 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,645 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,701 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,716 WARN L623 FunctionHandler]: Unknown extern function mdiobus_register [2022-12-14 09:49:47,716 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 09:49:47,716 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-12-14 09:49:47,717 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 09:49:47,717 WARN L623 FunctionHandler]: Unknown extern function mdiobus_unregister [2022-12-14 09:49:47,717 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-12-14 09:49:47,730 WARN L623 FunctionHandler]: Unknown extern function mdiobus_unregister [2022-12-14 09:49:47,731 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-12-14 09:49:47,751 WARN L623 FunctionHandler]: Unknown extern function usecs_to_jiffies [2022-12-14 09:49:47,752 WARN L623 FunctionHandler]: Unknown extern function jiffies_to_usecs [2022-12-14 09:49:47,753 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,828 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,829 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:47,829 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,829 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:47,830 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,840 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:47,841 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:47,843 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:47,844 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:47,907 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:47,921 WARN L623 FunctionHandler]: Unknown extern function phy_connect [2022-12-14 09:49:47,921 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:47,922 WARN L623 FunctionHandler]: Unknown extern function phy_disconnect [2022-12-14 09:49:47,934 WARN L623 FunctionHandler]: Unknown extern function phy_start [2022-12-14 09:49:47,934 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-12-14 09:49:47,943 WARN L623 FunctionHandler]: Unknown extern function phy_stop [2022-12-14 09:49:47,953 WARN L623 FunctionHandler]: Unknown extern function phy_disconnect [2022-12-14 09:49:48,096 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 09:49:48,106 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:48,116 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,117 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 09:49:48,118 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,222 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,233 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,274 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:48,284 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,285 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,335 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:48,347 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:48,369 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,371 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,391 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,430 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:48,451 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:48,464 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,475 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:48,485 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,485 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:48,485 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:48,506 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:48,547 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 09:49:48,548 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:48,569 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-12-14 09:49:48,571 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:48,571 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,573 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,573 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,585 WARN L623 FunctionHandler]: Unknown extern function pci_wake_from_d3 [2022-12-14 09:49:48,585 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 09:49:48,627 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,627 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,627 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,649 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,689 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 09:49:48,689 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 09:49:48,699 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,719 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,720 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,720 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,722 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,722 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,723 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,726 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,727 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,727 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,727 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,728 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,728 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,728 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,728 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,742 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,743 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,743 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,746 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,757 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,757 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,757 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,758 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,768 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,768 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,769 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,769 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,780 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,782 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,793 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,793 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,794 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,794 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,805 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,805 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,806 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,806 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,818 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,818 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,820 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,822 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:48,885 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_index [2022-12-14 09:49:48,935 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:48,935 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:48,956 WARN L623 FunctionHandler]: Unknown extern function ktime_get_real [2022-12-14 09:49:48,966 WARN L623 FunctionHandler]: Unknown extern function ktime_get_real [2022-12-14 09:49:48,976 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_unregister [2022-12-14 09:49:49,016 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,016 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:49,017 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,017 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,027 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:49,050 WARN L623 FunctionHandler]: Unknown extern function skb_tstamp_tx [2022-12-14 09:49:49,051 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:49,052 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:49,052 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:49,053 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:49,053 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:49,053 WARN L623 FunctionHandler]: Unknown extern function __bad_size_call_parameter [2022-12-14 09:49:49,063 WARN L623 FunctionHandler]: Unknown extern function put_page [2022-12-14 09:49:49,063 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:49,083 WARN L623 FunctionHandler]: Unknown extern function netdev_alloc_frag [2022-12-14 09:49:49,107 WARN L623 FunctionHandler]: Unknown extern function build_skb [2022-12-14 09:49:49,108 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-12-14 09:49:49,108 WARN L623 FunctionHandler]: Unknown extern function eth_type_trans [2022-12-14 09:49:49,109 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:49,109 WARN L623 FunctionHandler]: Unknown extern function napi_gro_receive [2022-12-14 09:49:49,121 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,164 WARN L623 FunctionHandler]: Unknown extern function cancel_work_sync [2022-12-14 09:49:49,175 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 09:49:49,175 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 09:49:49,185 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,186 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,186 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,187 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,197 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 09:49:49,197 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 09:49:49,226 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-12-14 09:49:49,226 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-12-14 09:49:49,236 WARN L623 FunctionHandler]: Unknown extern function netif_napi_del [2022-12-14 09:49:49,245 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 09:49:49,255 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 09:49:49,265 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-12-14 09:49:49,335 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,404 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:49,404 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:49,405 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:49,424 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:49,425 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,431 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:49,441 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,452 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,452 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,453 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,463 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 09:49:49,463 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:49,463 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:49,528 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:49,529 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:49,539 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:49,539 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:49,581 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:49,639 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:49,639 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,640 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:49,650 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,651 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,651 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,651 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:49,702 WARN L623 FunctionHandler]: Unknown extern function pci_device_is_present [2022-12-14 09:49:49,703 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-12-14 09:49:49,705 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,705 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,706 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,706 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_write_word [2022-12-14 09:49:49,708 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,875 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,932 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,932 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:49,939 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,940 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,940 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,941 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,941 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,942 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,943 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,943 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,955 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,956 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,956 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,957 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:49,991 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-12-14 09:49:50,002 WARN L623 FunctionHandler]: Unknown extern function hwmon_device_unregister [2022-12-14 09:49:50,012 WARN L623 FunctionHandler]: Unknown extern function hwmon_device_register_with_groups [2022-12-14 09:49:50,012 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:50,052 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,052 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,053 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 09:49:50,063 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-12-14 09:49:50,073 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 09:49:50,092 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:50,093 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-12-14 09:49:50,124 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:50,134 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,135 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-12-14 09:49:50,144 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-14 09:49:50,145 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:50,145 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:50,145 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-14 09:49:50,164 WARN L623 FunctionHandler]: Unknown extern function netif_get_num_default_rss_queues [2022-12-14 09:49:50,165 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix [2022-12-14 09:49:50,165 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix [2022-12-14 09:49:50,165 WARN L623 FunctionHandler]: Unknown extern function netdev_notice [2022-12-14 09:49:50,166 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_rx_queues [2022-12-14 09:49:50,166 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-12-14 09:49:50,167 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_tx_queues [2022-12-14 09:49:50,176 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,177 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msi_block [2022-12-14 09:49:50,178 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_tx_queues [2022-12-14 09:49:50,178 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_rx_queues [2022-12-14 09:49:50,187 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-12-14 09:49:50,188 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-12-14 09:49:50,218 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,219 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,219 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,219 WARN L623 FunctionHandler]: Unknown extern function netdev_notice [2022-12-14 09:49:50,220 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 09:49:50,229 WARN L623 FunctionHandler]: Unknown extern function pci_device_is_present [2022-12-14 09:49:50,303 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:50,313 WARN L623 FunctionHandler]: Unknown extern function phy_ethtool_gset [2022-12-14 09:49:50,323 WARN L623 FunctionHandler]: Unknown extern function phy_ethtool_sset [2022-12-14 09:49:50,333 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 09:49:50,334 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 09:49:50,334 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 09:49:50,334 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 09:49:50,353 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 09:49:50,380 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-12-14 09:49:50,420 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-12-14 09:49:50,474 WARN L623 FunctionHandler]: Unknown extern function netif_get_num_default_rss_queues [2022-12-14 09:49:50,493 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 09:49:50,521 WARN L623 FunctionHandler]: Unknown extern function pci_read_vpd [2022-12-14 09:49:50,522 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:50,534 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:50,534 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_tag [2022-12-14 09:49:50,534 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-12-14 09:49:50,535 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:50,545 WARN L623 FunctionHandler]: Unknown extern function msleep_interruptible [2022-12-14 09:49:50,568 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:50,600 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-12-14 09:49:50,601 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:50,602 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,602 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:50,602 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,603 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,603 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:50,615 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,615 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,616 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,648 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 09:49:50,658 WARN L623 FunctionHandler]: Unknown extern function phy_mii_ioctl [2022-12-14 09:49:50,688 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,689 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,689 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,699 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,728 WARN L623 FunctionHandler]: Unknown extern function netdev_update_features [2022-12-14 09:49:50,728 WARN L623 FunctionHandler]: Unknown extern function netdev_update_features [2022-12-14 09:49:50,859 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:50,859 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,860 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:50,880 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 09:49:50,882 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 09:49:50,883 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 09:49:50,883 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_capable [2022-12-14 09:49:50,893 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,893 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,902 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:50,942 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_tag [2022-12-14 09:49:50,942 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-12-14 09:49:50,942 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-12-14 09:49:50,943 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-12-14 09:49:50,943 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-12-14 09:49:50,944 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:50,984 WARN L623 FunctionHandler]: Unknown extern function strncat [2022-12-14 09:49:51,043 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,068 WARN L623 FunctionHandler]: Unknown extern function pci_get_slot [2022-12-14 09:49:51,068 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:51,069 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:51,107 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-12-14 09:49:51,107 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:51,108 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-12-14 09:49:51,108 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:51,108 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-12-14 09:49:51,109 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:51,112 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_read_word [2022-12-14 09:49:51,112 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-12-14 09:49:51,112 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,113 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-12-14 09:49:51,123 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:51,128 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:51,128 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,165 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:51,165 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:51,166 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:51,178 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,178 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,179 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,179 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-12-14 09:49:51,214 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,215 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,215 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,215 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,215 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,216 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,216 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,216 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,217 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,217 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:51,238 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 09:49:51,238 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-12-14 09:49:51,239 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,239 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-12-14 09:49:51,239 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,239 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-12-14 09:49:51,240 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-12-14 09:49:51,240 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-12-14 09:49:51,240 WARN L623 FunctionHandler]: Unknown extern function __init_work [2022-12-14 09:49:51,240 WARN L623 FunctionHandler]: Unknown extern function lockdep_init_map [2022-12-14 09:49:51,241 WARN L623 FunctionHandler]: Unknown extern function pci_ioremap_bar [2022-12-14 09:49:51,241 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,242 WARN L623 FunctionHandler]: Unknown extern function pci_ioremap_bar [2022-12-14 09:49:51,242 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,242 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,243 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,243 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,244 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,245 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,246 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,246 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:51,246 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:51,246 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:51,247 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:51,247 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:51,247 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-12-14 09:49:51,247 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:51,248 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:51,248 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-12-14 09:49:51,248 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 09:49:51,259 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-14 09:49:51,259 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:51,259 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:51,259 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-12-14 09:49:51,259 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 09:49:51,269 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:51,269 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-12-14 09:49:51,270 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-12-14 09:49:51,270 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:51,279 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:51,279 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-12-14 09:49:51,280 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:51,289 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:51,289 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-12-14 09:49:51,290 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-12-14 09:49:51,290 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:51,299 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:51,299 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:51,300 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-12-14 09:49:51,300 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-12-14 09:49:51,300 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 09:49:51,300 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:51,309 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:51,310 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-12-14 09:49:51,310 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:51,310 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-12-14 09:49:51,310 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-12-14 09:49:51,310 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-12-14 09:49:51,310 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-12-14 09:49:51,310 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:51,320 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:51,320 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:51,320 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-12-14 09:49:51,321 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:52,471 WARN L623 FunctionHandler]: Unknown extern function ethtool_op_get_link [2022-12-14 09:49:52,473 WARN L623 FunctionHandler]: Unknown extern function eth_validate_addr [2022-12-14 09:49:52,475 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-12-14 09:49:52,475 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-12-14 09:49:52,475 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-12-14 09:49:52,481 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-12-14 09:49:52,484 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-12-14 09:49:52,487 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_register_netdev [2022-12-14 09:49:52,489 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-12-14 09:49:52,489 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-12-14 09:49:52,490 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-12-14 09:49:52,491 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:52,491 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:52,491 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:52,491 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:52,491 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:52,491 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:52,492 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 09:49:52,493 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:52,493 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:52,493 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:52,493 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:52,494 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:52,494 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:52,494 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:52,494 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_register [2022-12-14 09:49:52,494 WARN L623 FunctionHandler]: Unknown extern function alloc_etherdev_mqs [2022-12-14 09:49:52,495 WARN L623 FunctionHandler]: Unknown extern function register_netdev [2022-12-14 09:49:52,495 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-12-14 09:49:52,495 WARN L623 FunctionHandler]: Unknown extern function unregister_netdev [2022-12-14 09:49:52,495 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-12-14 09:49:52,495 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-12-14 09:49:52,495 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-12-14 09:49:52,585 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-12-14 09:49:52,604 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,727 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,728 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,737 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,746 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,791 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,801 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,811 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,821 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,831 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,868 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,877 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,887 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,896 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,905 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,939 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,948 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,957 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,966 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:52,975 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,009 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,009 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,009 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,018 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,027 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,061 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,069 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,078 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,087 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,095 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,129 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,137 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,146 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,154 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,163 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,197 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,206 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,214 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,223 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,231 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,265 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,265 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,265 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,274 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,282 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,316 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,324 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,333 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,341 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,350 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,383 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,392 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,400 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,409 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,417 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,450 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,459 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,468 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,476 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,485 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,518 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,527 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,535 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,544 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,553 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,587 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,596 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,605 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,613 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,622 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,655 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,664 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,672 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,682 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,691 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,728 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,737 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,747 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,756 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,766 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,804 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,805 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,805 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,805 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,805 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,809 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,809 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,810 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,810 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,810 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,810 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,810 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,810 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,811 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,811 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,811 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,811 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:53,865 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_b715ab0d-47e9-4dec-bb68-9cee9a09decf/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i[1084262,1084275] [2022-12-14 09:49:53,867 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_b715ab0d-47e9-4dec-bb68-9cee9a09decf/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i[1084407,1084420] [2022-12-14 09:49:53,912 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-14 09:49:53,964 INFO L203 MainTranslator]: Completed pre-run [2022-12-14 09:49:54,038 WARN L623 FunctionHandler]: Unknown extern function __bitmap_weight [2022-12-14 09:49:54,040 WARN L623 FunctionHandler]: Unknown extern function __local_bh_disable_ip [2022-12-14 09:49:54,040 WARN L623 FunctionHandler]: Unknown extern function __local_bh_enable_ip [2022-12-14 09:49:54,040 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-12-14 09:49:54,041 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_bh [2022-12-14 09:49:54,041 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-12-14 09:49:54,041 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_bh [2022-12-14 09:49:54,041 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-12-14 09:49:54,042 WARN L623 FunctionHandler]: Unknown extern function queue_work_on [2022-12-14 09:49:54,045 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 09:49:54,046 WARN L623 FunctionHandler]: Unknown extern function might_fault [2022-12-14 09:49:54,046 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-12-14 09:49:54,047 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-12-14 09:49:54,047 WARN L623 FunctionHandler]: Unknown extern function __copy_from_user_overflow [2022-12-14 09:49:54,047 WARN L623 FunctionHandler]: Unknown extern function might_fault [2022-12-14 09:49:54,047 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-12-14 09:49:54,048 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-12-14 09:49:54,048 WARN L623 FunctionHandler]: Unknown extern function __copy_to_user_overflow [2022-12-14 09:49:54,050 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 09:49:54,051 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 09:49:54,051 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-12-14 09:49:54,052 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-12-14 09:49:54,052 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-12-14 09:49:54,053 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-12-14 09:49:54,054 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_cpu [2022-12-14 09:49:54,055 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_device [2022-12-14 09:49:54,055 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-12-14 09:49:54,057 WARN L623 FunctionHandler]: Unknown extern function debug_dma_alloc_coherent [2022-12-14 09:49:54,057 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 09:49:54,058 WARN L623 FunctionHandler]: Unknown extern function debug_dma_free_coherent [2022-12-14 09:49:54,058 WARN L623 FunctionHandler]: Unknown extern function dma_supported [2022-12-14 09:49:54,061 WARN L623 FunctionHandler]: Unknown extern function skb_tstamp_tx [2022-12-14 09:49:54,062 WARN L623 FunctionHandler]: Unknown extern function skb_clone_tx_timestamp [2022-12-14 09:49:54,063 WARN L623 FunctionHandler]: Unknown extern function __napi_schedule [2022-12-14 09:49:54,063 WARN L623 FunctionHandler]: Unknown extern function __might_sleep [2022-12-14 09:49:54,064 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:54,065 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-12-14 09:49:54,065 WARN L623 FunctionHandler]: Unknown extern function netpoll_trap [2022-12-14 09:49:54,065 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-12-14 09:49:54,066 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 09:49:54,066 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 09:49:54,068 WARN L623 FunctionHandler]: Unknown extern function dql_completed [2022-12-14 09:49:54,068 WARN L623 FunctionHandler]: Unknown extern function dql_reset [2022-12-14 09:49:54,068 WARN L623 FunctionHandler]: Unknown extern function __dev_kfree_skb_any [2022-12-14 09:49:54,069 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:54,082 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:54,083 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:54,083 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:54,083 WARN L623 FunctionHandler]: Unknown extern function __bad_size_call_parameter [2022-12-14 09:49:54,084 WARN L623 FunctionHandler]: Unknown extern function __skb_gso_segment [2022-12-14 09:49:54,084 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_byte [2022-12-14 09:49:54,085 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-12-14 09:49:54,086 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-12-14 09:49:54,087 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_byte [2022-12-14 09:49:54,088 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_word [2022-12-14 09:49:54,089 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-12-14 09:49:54,090 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_clear_and_set_word [2022-12-14 09:49:54,090 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_clear_and_set_word [2022-12-14 09:49:54,092 WARN L623 FunctionHandler]: Unknown extern function dma_set_mask [2022-12-14 09:49:54,093 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-12-14 09:49:54,097 WARN L623 FunctionHandler]: Unknown extern function mdiobus_alloc_size [2022-12-14 09:49:54,108 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-12-14 09:49:54,111 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-12-14 09:49:54,132 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,133 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,134 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,162 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,162 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,165 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,167 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,168 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,169 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,171 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,174 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,177 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,177 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,207 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,212 WARN L623 FunctionHandler]: Unknown extern function mdiobus_register [2022-12-14 09:49:54,212 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 09:49:54,212 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-12-14 09:49:54,213 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 09:49:54,213 WARN L623 FunctionHandler]: Unknown extern function mdiobus_unregister [2022-12-14 09:49:54,214 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-12-14 09:49:54,215 WARN L623 FunctionHandler]: Unknown extern function mdiobus_unregister [2022-12-14 09:49:54,215 WARN L623 FunctionHandler]: Unknown extern function mdiobus_free [2022-12-14 09:49:54,217 WARN L623 FunctionHandler]: Unknown extern function usecs_to_jiffies [2022-12-14 09:49:54,217 WARN L623 FunctionHandler]: Unknown extern function jiffies_to_usecs [2022-12-14 09:49:54,218 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,223 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,223 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:54,223 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,224 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:54,224 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,224 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:54,225 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:54,225 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:54,226 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:54,230 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,236 WARN L623 FunctionHandler]: Unknown extern function phy_connect [2022-12-14 09:49:54,236 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:54,236 WARN L623 FunctionHandler]: Unknown extern function phy_disconnect [2022-12-14 09:49:54,245 WARN L623 FunctionHandler]: Unknown extern function phy_start [2022-12-14 09:49:54,245 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-12-14 09:49:54,246 WARN L623 FunctionHandler]: Unknown extern function phy_stop [2022-12-14 09:49:54,247 WARN L623 FunctionHandler]: Unknown extern function phy_disconnect [2022-12-14 09:49:54,272 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 09:49:54,273 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:54,275 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,276 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 09:49:54,282 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,301 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,305 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,321 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:54,326 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,329 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,349 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:54,358 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:54,369 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,379 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,384 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,389 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,391 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,400 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,402 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,403 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,403 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,403 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:54,406 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,412 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 09:49:54,413 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,421 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-12-14 09:49:54,423 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:54,424 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,426 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,426 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,430 WARN L623 FunctionHandler]: Unknown extern function pci_wake_from_d3 [2022-12-14 09:49:54,430 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 09:49:54,435 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,435 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,436 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,438 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,439 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 09:49:54,440 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 09:49:54,441 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,442 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,443 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,443 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,444 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,445 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,445 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,449 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,449 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,450 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,450 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,450 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,450 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,450 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,450 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,455 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,457 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,458 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,460 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,461 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,461 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,461 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,461 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,463 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,463 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,463 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,463 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,467 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,475 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,477 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,478 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,480 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,480 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,482 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,482 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,484 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,486 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,490 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,491 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,493 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,496 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,530 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_index [2022-12-14 09:49:54,543 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:54,544 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:54,560 WARN L623 FunctionHandler]: Unknown extern function ktime_get_real [2022-12-14 09:49:54,561 WARN L623 FunctionHandler]: Unknown extern function ktime_get_real [2022-12-14 09:49:54,562 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_unregister [2022-12-14 09:49:54,572 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,573 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:54,573 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,574 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,575 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:54,587 WARN L623 FunctionHandler]: Unknown extern function skb_tstamp_tx [2022-12-14 09:49:54,589 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:54,590 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:54,591 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:54,591 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:54,591 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-12-14 09:49:54,592 WARN L623 FunctionHandler]: Unknown extern function __bad_size_call_parameter [2022-12-14 09:49:54,592 WARN L623 FunctionHandler]: Unknown extern function put_page [2022-12-14 09:49:54,593 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:54,594 WARN L623 FunctionHandler]: Unknown extern function netdev_alloc_frag [2022-12-14 09:49:54,608 WARN L623 FunctionHandler]: Unknown extern function build_skb [2022-12-14 09:49:54,609 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-12-14 09:49:54,609 WARN L623 FunctionHandler]: Unknown extern function eth_type_trans [2022-12-14 09:49:54,609 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:54,610 WARN L623 FunctionHandler]: Unknown extern function napi_gro_receive [2022-12-14 09:49:54,621 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,633 WARN L623 FunctionHandler]: Unknown extern function cancel_work_sync [2022-12-14 09:49:54,637 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 09:49:54,642 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 09:49:54,645 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,648 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,650 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,653 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,657 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 09:49:54,657 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 09:49:54,658 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-12-14 09:49:54,658 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-12-14 09:49:54,658 WARN L623 FunctionHandler]: Unknown extern function netif_napi_del [2022-12-14 09:49:54,658 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 09:49:54,659 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 09:49:54,659 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-12-14 09:49:54,691 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,697 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:54,697 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:54,697 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:54,698 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:54,700 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,706 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:54,708 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,709 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,709 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,711 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,711 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 09:49:54,711 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:54,712 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:54,715 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:54,715 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:54,716 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:54,716 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:54,719 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:54,723 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:54,723 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,725 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:54,725 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,726 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,727 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,729 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:54,741 WARN L623 FunctionHandler]: Unknown extern function pci_device_is_present [2022-12-14 09:49:54,745 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-12-14 09:49:54,756 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,756 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,756 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,757 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_write_word [2022-12-14 09:49:54,766 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,834 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,906 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,906 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:54,955 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,964 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,974 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,975 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,978 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,983 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,986 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:54,987 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,035 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,063 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,068 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,068 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,152 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-12-14 09:49:55,154 WARN L623 FunctionHandler]: Unknown extern function hwmon_device_unregister [2022-12-14 09:49:55,155 WARN L623 FunctionHandler]: Unknown extern function hwmon_device_register_with_groups [2022-12-14 09:49:55,155 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,257 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,257 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,261 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 09:49:55,262 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-12-14 09:49:55,262 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 09:49:55,263 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:55,263 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-12-14 09:49:55,284 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:55,287 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,287 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-12-14 09:49:55,287 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-14 09:49:55,288 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:55,288 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:55,288 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-14 09:49:55,289 WARN L623 FunctionHandler]: Unknown extern function netif_get_num_default_rss_queues [2022-12-14 09:49:55,289 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix [2022-12-14 09:49:55,289 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix [2022-12-14 09:49:55,290 WARN L623 FunctionHandler]: Unknown extern function netdev_notice [2022-12-14 09:49:55,290 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_rx_queues [2022-12-14 09:49:55,290 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-12-14 09:49:55,290 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_tx_queues [2022-12-14 09:49:55,291 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,291 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msi_block [2022-12-14 09:49:55,294 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_tx_queues [2022-12-14 09:49:55,294 WARN L623 FunctionHandler]: Unknown extern function netif_set_real_num_rx_queues [2022-12-14 09:49:55,294 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-12-14 09:49:55,294 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-12-14 09:49:55,298 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,299 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,299 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,299 WARN L623 FunctionHandler]: Unknown extern function netdev_notice [2022-12-14 09:49:55,300 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 09:49:55,300 WARN L623 FunctionHandler]: Unknown extern function pci_device_is_present [2022-12-14 09:49:55,310 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:55,311 WARN L623 FunctionHandler]: Unknown extern function phy_ethtool_gset [2022-12-14 09:49:55,313 WARN L623 FunctionHandler]: Unknown extern function phy_ethtool_sset [2022-12-14 09:49:55,314 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 09:49:55,314 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 09:49:55,315 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 09:49:55,315 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 09:49:55,316 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 09:49:55,317 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-12-14 09:49:55,321 WARN L623 FunctionHandler]: Unknown extern function phy_start_aneg [2022-12-14 09:49:55,324 WARN L623 FunctionHandler]: Unknown extern function netif_get_num_default_rss_queues [2022-12-14 09:49:55,325 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 09:49:55,330 WARN L623 FunctionHandler]: Unknown extern function pci_read_vpd [2022-12-14 09:49:55,330 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:55,333 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:55,334 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_tag [2022-12-14 09:49:55,334 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-12-14 09:49:55,334 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:55,335 WARN L623 FunctionHandler]: Unknown extern function msleep_interruptible [2022-12-14 09:49:55,346 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:55,351 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-12-14 09:49:55,353 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:55,353 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,354 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:55,356 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,356 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,356 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 09:49:55,361 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,361 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,362 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,367 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 09:49:55,369 WARN L623 FunctionHandler]: Unknown extern function phy_mii_ioctl [2022-12-14 09:49:55,371 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,371 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,371 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,372 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,373 WARN L623 FunctionHandler]: Unknown extern function netdev_update_features [2022-12-14 09:49:55,374 WARN L623 FunctionHandler]: Unknown extern function netdev_update_features [2022-12-14 09:49:55,397 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 09:49:55,398 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,398 WARN L623 FunctionHandler]: Unknown extern function netdev_warn [2022-12-14 09:49:55,402 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 09:49:55,405 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 09:49:55,406 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 09:49:55,406 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_capable [2022-12-14 09:49:55,406 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,407 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,410 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,418 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_tag [2022-12-14 09:49:55,418 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-12-14 09:49:55,418 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-12-14 09:49:55,419 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-12-14 09:49:55,419 WARN L623 FunctionHandler]: Unknown extern function pci_vpd_find_info_keyword [2022-12-14 09:49:55,420 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 09:49:55,423 WARN L623 FunctionHandler]: Unknown extern function strncat [2022-12-14 09:49:55,427 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,428 WARN L623 FunctionHandler]: Unknown extern function pci_get_slot [2022-12-14 09:49:55,429 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:55,429 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:55,434 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-12-14 09:49:55,435 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:55,435 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-12-14 09:49:55,436 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:55,436 WARN L623 FunctionHandler]: Unknown extern function pci_get_device [2022-12-14 09:49:55,436 WARN L623 FunctionHandler]: Unknown extern function pci_dev_put [2022-12-14 09:49:55,439 WARN L623 FunctionHandler]: Unknown extern function pcie_capability_read_word [2022-12-14 09:49:55,439 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-12-14 09:49:55,439 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,440 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-12-14 09:49:55,454 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:55,470 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,472 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,489 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,489 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,499 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 09:49:55,508 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,509 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,511 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,512 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-12-14 09:49:55,521 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,524 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,524 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,525 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,525 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,525 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,526 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,526 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,526 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,526 WARN L623 FunctionHandler]: Unknown extern function strcat [2022-12-14 09:49:55,528 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 09:49:55,528 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-12-14 09:49:55,528 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,528 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-12-14 09:49:55,529 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,529 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-12-14 09:49:55,530 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-12-14 09:49:55,530 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-12-14 09:49:55,531 WARN L623 FunctionHandler]: Unknown extern function __init_work [2022-12-14 09:49:55,531 WARN L623 FunctionHandler]: Unknown extern function lockdep_init_map [2022-12-14 09:49:55,531 WARN L623 FunctionHandler]: Unknown extern function pci_ioremap_bar [2022-12-14 09:49:55,531 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,532 WARN L623 FunctionHandler]: Unknown extern function pci_ioremap_bar [2022-12-14 09:49:55,533 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,533 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,534 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,534 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,538 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,547 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,551 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,551 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:55,553 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:55,554 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:55,554 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:55,554 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:55,554 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-12-14 09:49:55,555 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:55,555 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:55,555 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-12-14 09:49:55,555 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 09:49:55,556 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-14 09:49:55,556 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:55,557 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-12-14 09:49:55,557 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-12-14 09:49:55,557 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 09:49:55,557 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:55,558 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-12-14 09:49:55,558 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-12-14 09:49:55,558 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:55,559 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:55,559 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-12-14 09:49:55,559 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:55,560 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:55,560 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-12-14 09:49:55,560 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-12-14 09:49:55,560 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:55,561 WARN L623 FunctionHandler]: Unknown extern function netdev_info [2022-12-14 09:49:55,561 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:55,561 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-12-14 09:49:55,561 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-12-14 09:49:55,561 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 09:49:55,562 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:55,562 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:55,562 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-12-14 09:49:55,562 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 09:49:55,562 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-12-14 09:49:55,563 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-12-14 09:49:55,563 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-12-14 09:49:55,563 WARN L623 FunctionHandler]: Unknown extern function dev_close [2022-12-14 09:49:55,563 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:55,564 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-12-14 09:49:55,564 WARN L623 FunctionHandler]: Unknown extern function netdev_err [2022-12-14 09:49:55,564 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-12-14 09:49:55,564 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-12-14 09:49:55,569 WARN L623 FunctionHandler]: Unknown extern function ethtool_op_get_link [2022-12-14 09:49:55,571 WARN L623 FunctionHandler]: Unknown extern function eth_validate_addr [2022-12-14 09:49:55,573 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-12-14 09:49:55,574 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-12-14 09:49:55,574 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-12-14 09:49:55,581 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-12-14 09:49:55,585 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-12-14 09:49:55,600 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_register_netdev [2022-12-14 09:49:55,604 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-12-14 09:49:55,605 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-12-14 09:49:55,607 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-12-14 09:49:55,608 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:55,608 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:55,608 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:55,609 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:55,609 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:55,609 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 09:49:55,610 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 09:49:55,610 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:55,611 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:55,611 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:55,611 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:55,611 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:55,612 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:55,612 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 09:49:55,612 WARN L623 FunctionHandler]: Unknown extern function ptp_clock_register [2022-12-14 09:49:55,612 WARN L623 FunctionHandler]: Unknown extern function alloc_etherdev_mqs [2022-12-14 09:49:55,613 WARN L623 FunctionHandler]: Unknown extern function register_netdev [2022-12-14 09:49:55,613 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-12-14 09:49:55,613 WARN L623 FunctionHandler]: Unknown extern function unregister_netdev [2022-12-14 09:49:55,613 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-12-14 09:49:55,614 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-12-14 09:49:55,614 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-12-14 09:49:55,616 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-12-14 09:49:55,616 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,619 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,619 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,620 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,620 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,620 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,621 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,621 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,621 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,621 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,622 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,622 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,622 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,623 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,623 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,623 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,624 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,624 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,624 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,624 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,625 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,625 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,625 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,625 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,626 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,626 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,626 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,627 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,627 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,627 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,628 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,628 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,628 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,629 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,629 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,630 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,630 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,630 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,630 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,631 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,631 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,631 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,632 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,632 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,632 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,633 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,633 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,633 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,633 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,634 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,634 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,634 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,635 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,635 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,635 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,636 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,636 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,636 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,636 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,637 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,637 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,637 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,637 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,638 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,638 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,638 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,639 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,639 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,639 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,639 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,640 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,640 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,640 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,641 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,641 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,641 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,642 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,642 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,642 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,642 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,643 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,643 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,643 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,643 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,643 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,644 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,644 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,644 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,644 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,644 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,644 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,644 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,645 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,645 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,645 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,645 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,645 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 09:49:55,646 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_b715ab0d-47e9-4dec-bb68-9cee9a09decf/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i[1084262,1084275] [2022-12-14 09:49:55,647 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_b715ab0d-47e9-4dec-bb68-9cee9a09decf/sv-benchmarks/c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i[1084407,1084420] [2022-12-14 09:49:55,653 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-14 09:49:56,035 INFO L208 MainTranslator]: Completed translation [2022-12-14 09:49:56,036 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56 WrapperNode [2022-12-14 09:49:56,036 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-12-14 09:49:56,036 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2022-12-14 09:49:56,036 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2022-12-14 09:49:56,036 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2022-12-14 09:49:56,041 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:56,160 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:56,520 INFO L138 Inliner]: procedures = 1096, calls = 15772, calls flagged for inlining = 566, calls inlined = 530, statements flattened = 37043 [2022-12-14 09:49:56,521 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2022-12-14 09:49:56,521 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2022-12-14 09:49:56,521 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2022-12-14 09:49:56,521 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2022-12-14 09:49:56,529 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:56,529 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:56,646 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:56,647 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:57,015 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:57,082 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:57,224 INFO L185 PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:57,274 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:57,512 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2022-12-14 09:49:57,513 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2022-12-14 09:49:57,513 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2022-12-14 09:49:57,513 INFO L275 PluginConnector]: RCFGBuilder initialized [2022-12-14 09:49:57,513 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (1/1) ... [2022-12-14 09:49:57,518 INFO L173 SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-12-14 09:49:57,526 INFO L189 MonitoredProcess]: No working directory specified, using /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/z3 [2022-12-14 09:49:57,537 INFO L229 MonitoredProcess]: Starting monitored process 1 with /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2022-12-14 09:49:57,538 INFO L327 MonitoredProcess]: [MP /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b715ab0d-47e9-4dec-bb68-9cee9a09decf/bin/utaipan-gh47qXpMRh/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process [2022-12-14 09:49:57,570 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_writephy [2022-12-14 09:49:57,570 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_writephy [2022-12-14 09:49:57,570 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pwrsrc_die_with_vmain [2022-12-14 09:49:57,570 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pwrsrc_die_with_vmain [2022-12-14 09:49:57,570 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_warn_mgmt_link_flap [2022-12-14 09:49:57,570 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_warn_mgmt_link_flap [2022-12-14 09:49:57,570 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_123 [2022-12-14 09:49:57,570 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_123 [2022-12-14 09:49:57,570 INFO L130 BoogieDeclarations]: Found specification of procedure device_set_wakeup_enable [2022-12-14 09:49:57,570 INFO L138 BoogieDeclarations]: Found implementation of procedure device_set_wakeup_enable [2022-12-14 09:49:57,571 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_restart_hw [2022-12-14 09:49:57,571 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_restart_hw [2022-12-14 09:49:57,571 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_57780_nvram_info [2022-12-14 09:49:57,571 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_57780_nvram_info [2022-12-14 09:49:57,571 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_toggle_apd [2022-12-14 09:49:57,571 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_toggle_apd [2022-12-14 09:49:57,571 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_alloc_skb [2022-12-14 09:49:57,571 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_alloc_skb [2022-12-14 09:49:57,571 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ints_fini [2022-12-14 09:49:57,571 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ints_fini [2022-12-14 09:49:57,571 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_read_mem [2022-12-14 09:49:57,571 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_read_mem [2022-12-14 09:49:57,571 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_timeout [2022-12-14 09:49:57,571 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_timeout [2022-12-14 09:49:57,571 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_alloc_rx_data [2022-12-14 09:49:57,571 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_alloc_rx_data [2022-12-14 09:49:57,572 INFO L130 BoogieDeclarations]: Found specification of procedure pci_dma_sync_single_for_cpu [2022-12-14 09:49:57,572 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_dma_sync_single_for_cpu [2022-12-14 09:49:57,572 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_chip_reset [2022-12-14 09:49:57,572 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_chip_reset [2022-12-14 09:49:57,572 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_disable_nvram_access [2022-12-14 09:49:57,572 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_disable_nvram_access [2022-12-14 09:49:57,572 INFO L130 BoogieDeclarations]: Found specification of procedure pdev_is_ssb_gige_core [2022-12-14 09:49:57,572 INFO L138 BoogieDeclarations]: Found implementation of procedure pdev_is_ssb_gige_core [2022-12-14 09:49:57,572 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mem_rx_release [2022-12-14 09:49:57,572 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mem_rx_release [2022-12-14 09:49:57,572 INFO L130 BoogieDeclarations]: Found specification of procedure valid_dma_direction [2022-12-14 09:49:57,572 INFO L138 BoogieDeclarations]: Found implementation of procedure valid_dma_direction [2022-12-14 09:49:57,572 INFO L130 BoogieDeclarations]: Found specification of procedure clear_bit [2022-12-14 09:49:57,572 INFO L138 BoogieDeclarations]: Found implementation of procedure clear_bit [2022-12-14 09:49:57,572 INFO L130 BoogieDeclarations]: Found specification of procedure phy_start_aneg [2022-12-14 09:49:57,572 INFO L138 BoogieDeclarations]: Found implementation of procedure phy_start_aneg [2022-12-14 09:49:57,572 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_function_status [2022-12-14 09:49:57,573 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_function_status [2022-12-14 09:49:57,573 INFO L130 BoogieDeclarations]: Found specification of procedure dma_zalloc_coherent [2022-12-14 09:49:57,573 INFO L138 BoogieDeclarations]: Found implementation of procedure dma_zalloc_coherent [2022-12-14 09:49:57,573 INFO L130 BoogieDeclarations]: Found specification of procedure PageTail [2022-12-14 09:49:57,573 INFO L138 BoogieDeclarations]: Found implementation of procedure PageTail [2022-12-14 09:49:57,573 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_auxctl_write [2022-12-14 09:49:57,573 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_auxctl_write [2022-12-14 09:49:57,573 INFO L130 BoogieDeclarations]: Found specification of procedure memcmp [2022-12-14 09:49:57,573 INFO L130 BoogieDeclarations]: Found specification of procedure netif_set_real_num_rx_queues [2022-12-14 09:49:57,573 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_set_real_num_rx_queues [2022-12-14 09:49:57,573 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_otp_read [2022-12-14 09:49:57,573 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_otp_read [2022-12-14 09:49:57,573 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pause_cpu [2022-12-14 09:49:57,573 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pause_cpu [2022-12-14 09:49:57,573 INFO L130 BoogieDeclarations]: Found specification of procedure pci_get_drvdata [2022-12-14 09:49:57,574 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_get_drvdata [2022-12-14 09:49:57,574 INFO L130 BoogieDeclarations]: Found specification of procedure strlcpy [2022-12-14 09:49:57,574 INFO L138 BoogieDeclarations]: Found implementation of procedure strlcpy [2022-12-14 09:49:57,574 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rx_prodring_fini [2022-12-14 09:49:57,574 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rx_prodring_fini [2022-12-14 09:49:57,574 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_bmcr_reset [2022-12-14 09:49:57,574 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_bmcr_reset [2022-12-14 09:49:57,574 INFO L130 BoogieDeclarations]: Found specification of procedure pci_get_device [2022-12-14 09:49:57,574 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_get_device [2022-12-14 09:49:57,574 INFO L130 BoogieDeclarations]: Found specification of procedure pci_unmap_single [2022-12-14 09:49:57,574 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_unmap_single [2022-12-14 09:49:57,574 INFO L130 BoogieDeclarations]: Found specification of procedure iounmap [2022-12-14 09:49:57,574 INFO L138 BoogieDeclarations]: Found implementation of procedure iounmap [2022-12-14 09:49:57,574 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_get_pagesize [2022-12-14 09:49:57,574 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_get_pagesize [2022-12-14 09:49:57,574 INFO L130 BoogieDeclarations]: Found specification of procedure pci_write_config_word [2022-12-14 09:49:57,574 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_write_config_word [2022-12-14 09:49:57,575 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_clear_mac_status [2022-12-14 09:49:57,575 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_clear_mac_status [2022-12-14 09:49:57,575 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_readphy [2022-12-14 09:49:57,575 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_readphy [2022-12-14 09:49:57,575 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_reset [2022-12-14 09:49:57,575 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_reset [2022-12-14 09:49:57,575 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write_mem [2022-12-14 09:49:57,575 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write_mem [2022-12-14 09:49:57,575 INFO L130 BoogieDeclarations]: Found specification of procedure netif_device_detach [2022-12-14 09:49:57,575 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_device_detach [2022-12-14 09:49:57,575 INFO L130 BoogieDeclarations]: Found specification of procedure kmalloc [2022-12-14 09:49:57,575 INFO L138 BoogieDeclarations]: Found implementation of procedure kmalloc [2022-12-14 09:49:57,575 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_read [2022-12-14 09:49:57,575 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_read [2022-12-14 09:49:57,575 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mac_loopback [2022-12-14 09:49:57,575 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mac_loopback [2022-12-14 09:49:57,576 INFO L130 BoogieDeclarations]: Found specification of procedure _tg3_flag_clear [2022-12-14 09:49:57,576 INFO L138 BoogieDeclarations]: Found implementation of procedure _tg3_flag_clear [2022-12-14 09:49:57,576 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_chk_missed_msi [2022-12-14 09:49:57,576 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_chk_missed_msi [2022-12-14 09:49:57,576 INFO L130 BoogieDeclarations]: Found specification of procedure spin_unlock [2022-12-14 09:49:57,576 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_unlock [2022-12-14 09:49:57,576 INFO L130 BoogieDeclarations]: Found specification of procedure netif_napi_add [2022-12-14 09:49:57,576 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_napi_add [2022-12-14 09:49:57,576 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_link_report [2022-12-14 09:49:57,576 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_link_report [2022-12-14 09:49:57,576 INFO L130 BoogieDeclarations]: Found specification of procedure pci_save_state [2022-12-14 09:49:57,576 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_save_state [2022-12-14 09:49:57,576 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_writephy [2022-12-14 09:49:57,576 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_writephy [2022-12-14 09:49:57,576 INFO L130 BoogieDeclarations]: Found specification of procedure get_dma_ops [2022-12-14 09:49:57,576 INFO L138 BoogieDeclarations]: Found implementation of procedure get_dma_ops [2022-12-14 09:49:57,577 INFO L130 BoogieDeclarations]: Found specification of procedure _tg3_flag [2022-12-14 09:49:57,577 INFO L138 BoogieDeclarations]: Found implementation of procedure _tg3_flag [2022-12-14 09:49:57,577 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assume [2022-12-14 09:49:57,577 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assume [2022-12-14 09:49:57,577 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2022-12-14 09:49:57,577 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_update_features [2022-12-14 09:49:57,577 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_update_features [2022-12-14 09:49:57,577 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_rx_mode [2022-12-14 09:49:57,577 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_rx_mode [2022-12-14 09:49:57,577 INFO L130 BoogieDeclarations]: Found specification of procedure skb_transport_header [2022-12-14 09:49:57,577 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_transport_header [2022-12-14 09:49:57,577 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_reset_task_schedule [2022-12-14 09:49:57,577 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_reset_task_schedule [2022-12-14 09:49:57,577 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_err_code [2022-12-14 09:49:57,577 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_err_code [2022-12-14 09:49:57,577 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_lock_of_tg3 [2022-12-14 09:49:57,578 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_lock_of_tg3 [2022-12-14 09:49:57,578 INFO L130 BoogieDeclarations]: Found specification of procedure dev_close [2022-12-14 09:49:57,578 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_close [2022-12-14 09:49:57,578 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_dma_mask [2022-12-14 09:49:57,578 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_dma_mask [2022-12-14 09:49:57,578 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_start [2022-12-14 09:49:57,578 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_start [2022-12-14 09:49:57,578 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_device [2022-12-14 09:49:57,578 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_device [2022-12-14 09:49:57,578 INFO L130 BoogieDeclarations]: Found specification of procedure copy_to_user [2022-12-14 09:49:57,578 INFO L138 BoogieDeclarations]: Found implementation of procedure copy_to_user [2022-12-14 09:49:57,578 INFO L130 BoogieDeclarations]: Found specification of procedure __netif_tx_lock [2022-12-14 09:49:57,578 INFO L138 BoogieDeclarations]: Found implementation of procedure __netif_tx_lock [2022-12-14 09:49:57,578 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_abort_hw [2022-12-14 09:49:57,578 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_abort_hw [2022-12-14 09:49:57,578 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_free_rings [2022-12-14 09:49:57,578 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_free_rings [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nway_reset [2022-12-14 09:49:57,579 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nway_reset [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mdio_fini [2022-12-14 09:49:57,579 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mdio_fini [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure strncat [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ptp_resume [2022-12-14 09:49:57,579 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ptp_resume [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure pci_ioremap_bar [2022-12-14 09:49:57,579 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_ioremap_bar [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mem_tx_release [2022-12-14 09:49:57,579 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mem_tx_release [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_int [2022-12-14 09:49:57,579 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_int [2022-12-14 09:49:57,579 INFO L130 BoogieDeclarations]: Found specification of procedure __const_udelay [2022-12-14 09:49:57,579 INFO L138 BoogieDeclarations]: Found implementation of procedure __const_udelay [2022-12-14 09:49:57,580 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2022-12-14 09:49:57,580 INFO L130 BoogieDeclarations]: Found specification of procedure pci_read_config_dword [2022-12-14 09:49:57,580 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_read_config_dword [2022-12-14 09:49:57,580 INFO L130 BoogieDeclarations]: Found specification of procedure __bad_percpu_size [2022-12-14 09:49:57,580 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_frob_aux_power [2022-12-14 09:49:57,580 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_frob_aux_power [2022-12-14 09:49:57,580 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mdio_config_5785 [2022-12-14 09:49:57,580 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mdio_config_5785 [2022-12-14 09:49:57,580 INFO L130 BoogieDeclarations]: Found specification of procedure _copy_to_user [2022-12-14 09:49:57,580 INFO L138 BoogieDeclarations]: Found implementation of procedure _copy_to_user [2022-12-14 09:49:57,580 INFO L130 BoogieDeclarations]: Found specification of procedure skb_headlen [2022-12-14 09:49:57,580 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_headlen [2022-12-14 09:49:57,580 INFO L130 BoogieDeclarations]: Found specification of procedure pci_device_is_present [2022-12-14 09:49:57,580 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_device_is_present [2022-12-14 09:49:57,580 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_exec_cmd [2022-12-14 09:49:57,580 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_exec_cmd [2022-12-14 09:49:57,581 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_write_block_buffered [2022-12-14 09:49:57,581 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_write_block_buffered [2022-12-14 09:49:57,581 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_issue_otp_command [2022-12-14 09:49:57,581 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_issue_otp_command [2022-12-14 09:49:57,581 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_frag_free [2022-12-14 09:49:57,581 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_frag_free [2022-12-14 09:49:57,581 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_lock [2022-12-14 09:49:57,581 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_lock [2022-12-14 09:49:57,581 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~TO~VOID [2022-12-14 09:49:57,581 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~TO~VOID [2022-12-14 09:49:57,581 INFO L130 BoogieDeclarations]: Found specification of procedure warn_slowpath_null [2022-12-14 09:49:57,581 INFO L138 BoogieDeclarations]: Found implementation of procedure warn_slowpath_null [2022-12-14 09:49:57,581 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_read_indirect_reg32 [2022-12-14 09:49:57,581 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_read_indirect_reg32 [2022-12-14 09:49:57,581 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free_netdev [2022-12-14 09:49:57,581 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free_netdev [2022-12-14 09:49:57,581 INFO L130 BoogieDeclarations]: Found specification of procedure device_can_wakeup [2022-12-14 09:49:57,582 INFO L138 BoogieDeclarations]: Found implementation of procedure device_can_wakeup [2022-12-14 09:49:57,582 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_set_wirespeed [2022-12-14 09:49:57,582 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_set_wirespeed [2022-12-14 09:49:57,582 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_driver_state_change [2022-12-14 09:49:57,582 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_driver_state_change [2022-12-14 09:49:57,582 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_timer_start [2022-12-14 09:49:57,582 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_timer_start [2022-12-14 09:49:57,582 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_shutdown [2022-12-14 09:49:57,582 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_shutdown [2022-12-14 09:49:57,582 INFO L130 BoogieDeclarations]: Found specification of procedure set_bit [2022-12-14 09:49:57,582 INFO L138 BoogieDeclarations]: Found implementation of procedure set_bit [2022-12-14 09:49:57,582 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_read32 [2022-12-14 09:49:57,582 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_read32 [2022-12-14 09:49:57,582 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rx_data_free [2022-12-14 09:49:57,582 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rx_data_free [2022-12-14 09:49:57,582 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2022-12-14 09:49:57,583 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2022-12-14 09:49:57,583 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rx_prodring_free [2022-12-14 09:49:57,583 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rx_prodring_free [2022-12-14 09:49:57,583 INFO L130 BoogieDeclarations]: Found specification of procedure IS_ERR [2022-12-14 09:49:57,583 INFO L138 BoogieDeclarations]: Found implementation of procedure IS_ERR [2022-12-14 09:49:57,583 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_autoneg_cfg [2022-12-14 09:49:57,583 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_autoneg_cfg [2022-12-14 09:49:57,583 INFO L130 BoogieDeclarations]: Found specification of procedure msleep [2022-12-14 09:49:57,583 INFO L138 BoogieDeclarations]: Found implementation of procedure msleep [2022-12-14 09:49:57,583 INFO L130 BoogieDeclarations]: Found specification of procedure mdiobus_free [2022-12-14 09:49:57,583 INFO L138 BoogieDeclarations]: Found implementation of procedure mdiobus_free [2022-12-14 09:49:57,583 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_load_firmware_cpu [2022-12-14 09:49:57,583 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_load_firmware_cpu [2022-12-14 09:49:57,583 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$ [2022-12-14 09:49:57,583 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_adjust_link [2022-12-14 09:49:57,583 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_adjust_link [2022-12-14 09:49:57,584 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_halt [2022-12-14 09:49:57,584 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_halt [2022-12-14 09:49:57,584 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-12-14 09:49:57,584 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-12-14 09:49:57,584 INFO L130 BoogieDeclarations]: Found specification of procedure napi_schedule [2022-12-14 09:49:57,584 INFO L138 BoogieDeclarations]: Found implementation of procedure napi_schedule [2022-12-14 09:49:57,584 INFO L130 BoogieDeclarations]: Found specification of procedure mdiobus_unregister [2022-12-14 09:49:57,584 INFO L138 BoogieDeclarations]: Found implementation of procedure mdiobus_unregister [2022-12-14 09:49:57,584 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pwrsrc_switch_to_vaux [2022-12-14 09:49:57,584 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pwrsrc_switch_to_vaux [2022-12-14 09:49:57,584 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_off [2022-12-14 09:49:57,584 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_off [2022-12-14 09:49:57,584 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_wait_for_event_ack [2022-12-14 09:49:57,584 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_wait_for_event_ack [2022-12-14 09:49:57,584 INFO L130 BoogieDeclarations]: Found specification of procedure __bad_size_call_parameter [2022-12-14 09:49:57,584 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_test_interrupt [2022-12-14 09:49:57,584 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_test_interrupt [2022-12-14 09:49:57,585 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phydsp_write [2022-12-14 09:49:57,585 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phydsp_write [2022-12-14 09:49:57,585 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_to_process_context [2022-12-14 09:49:57,585 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_to_process_context [2022-12-14 09:49:57,585 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_mdio_start [2022-12-14 09:49:57,585 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_mdio_start [2022-12-14 09:49:57,585 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rxcpu_resume [2022-12-14 09:49:57,585 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rxcpu_resume [2022-12-14 09:49:57,585 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_request_irq [2022-12-14 09:49:57,585 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_request_irq [2022-12-14 09:49:57,585 INFO L130 BoogieDeclarations]: Found specification of procedure pci_map_single [2022-12-14 09:49:57,585 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_map_single [2022-12-14 09:49:57,585 INFO L130 BoogieDeclarations]: Found specification of procedure ethtool_cmd_speed_set [2022-12-14 09:49:57,585 INFO L138 BoogieDeclarations]: Found implementation of procedure ethtool_cmd_speed_set [2022-12-14 09:49:57,585 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memset [2022-12-14 09:49:57,585 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memset [2022-12-14 09:49:57,586 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_napi_fini [2022-12-14 09:49:57,586 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_napi_fini [2022-12-14 09:49:57,586 INFO L130 BoogieDeclarations]: Found specification of procedure pcie_capability_clear_and_set_word [2022-12-14 09:49:57,586 INFO L138 BoogieDeclarations]: Found implementation of procedure pcie_capability_clear_and_set_word [2022-12-14 09:49:57,586 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_post_probe [2022-12-14 09:49:57,586 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_post_probe [2022-12-14 09:49:57,586 INFO L130 BoogieDeclarations]: Found specification of procedure debug_dma_unmap_page [2022-12-14 09:49:57,586 INFO L138 BoogieDeclarations]: Found implementation of procedure debug_dma_unmap_page [2022-12-14 09:49:57,586 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_readphy [2022-12-14 09:49:57,586 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_readphy [2022-12-14 09:49:57,586 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_estats [2022-12-14 09:49:57,586 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_estats [2022-12-14 09:49:57,586 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_free_consistent [2022-12-14 09:49:57,586 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_free_consistent [2022-12-14 09:49:57,586 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2022-12-14 09:49:57,586 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_napi_enable [2022-12-14 09:49:57,587 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_napi_enable [2022-12-14 09:49:57,587 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_skb_unmap [2022-12-14 09:49:57,587 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_skb_unmap [2022-12-14 09:49:57,587 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_avail [2022-12-14 09:49:57,587 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_avail [2022-12-14 09:49:57,587 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_bh_116 [2022-12-14 09:49:57,587 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_bh_116 [2022-12-14 09:49:57,587 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2022-12-14 09:49:57,587 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_start [2022-12-14 09:49:57,587 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_start [2022-12-14 09:49:57,587 INFO L130 BoogieDeclarations]: Found specification of procedure add_timer [2022-12-14 09:49:57,587 INFO L138 BoogieDeclarations]: Found implementation of procedure add_timer [2022-12-14 09:49:57,587 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_irqrestore_105 [2022-12-14 09:49:57,587 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_irqrestore_105 [2022-12-14 09:49:57,587 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write_sig_post_reset [2022-12-14 09:49:57,587 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write_sig_post_reset [2022-12-14 09:49:57,588 INFO L130 BoogieDeclarations]: Found specification of procedure strcat [2022-12-14 09:49:57,588 INFO L130 BoogieDeclarations]: Found specification of procedure kzalloc [2022-12-14 09:49:57,588 INFO L138 BoogieDeclarations]: Found implementation of procedure kzalloc [2022-12-14 09:49:57,588 INFO L130 BoogieDeclarations]: Found specification of procedure dma_mapping_error [2022-12-14 09:49:57,588 INFO L138 BoogieDeclarations]: Found implementation of procedure dma_mapping_error [2022-12-14 09:49:57,588 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_priv [2022-12-14 09:49:57,588 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_priv [2022-12-14 09:49:57,588 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_power_up [2022-12-14 09:49:57,588 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_power_up [2022-12-14 09:49:57,588 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_vpd_readblock [2022-12-14 09:49:57,588 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_vpd_readblock [2022-12-14 09:49:57,588 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_zalloc [2022-12-14 09:49:57,588 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_zalloc [2022-12-14 09:49:57,588 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write_sig_pre_reset [2022-12-14 09:49:57,588 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write_sig_pre_reset [2022-12-14 09:49:57,589 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_init_hw [2022-12-14 09:49:57,589 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_init_hw [2022-12-14 09:49:57,589 INFO L130 BoogieDeclarations]: Found specification of procedure pci_write_config_dword [2022-12-14 09:49:57,589 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_write_config_dword [2022-12-14 09:49:57,589 INFO L130 BoogieDeclarations]: Found specification of procedure dma_free_attrs [2022-12-14 09:49:57,589 INFO L138 BoogieDeclarations]: Found implementation of procedure dma_free_attrs [2022-12-14 09:49:57,589 INFO L130 BoogieDeclarations]: Found specification of procedure ethtool_adv_to_mii_adv_t [2022-12-14 09:49:57,589 INFO L138 BoogieDeclarations]: Found implementation of procedure ethtool_adv_to_mii_adv_t [2022-12-14 09:49:57,589 INFO L130 BoogieDeclarations]: Found specification of procedure pci_channel_offline [2022-12-14 09:49:57,589 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_channel_offline [2022-12-14 09:49:57,589 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_setup_flow_control [2022-12-14 09:49:57,589 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_setup_flow_control [2022-12-14 09:49:57,589 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_bdinfo [2022-12-14 09:49:57,589 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_bdinfo [2022-12-14 09:49:57,589 INFO L130 BoogieDeclarations]: Found specification of procedure synchronize_irq [2022-12-14 09:49:57,590 INFO L138 BoogieDeclarations]: Found implementation of procedure synchronize_irq [2022-12-14 09:49:57,590 INFO L130 BoogieDeclarations]: Found specification of procedure constant_test_bit [2022-12-14 09:49:57,590 INFO L138 BoogieDeclarations]: Found implementation of procedure constant_test_bit [2022-12-14 09:49:57,590 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_set_mac_addr [2022-12-14 09:49:57,590 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_set_mac_addr [2022-12-14 09:49:57,590 INFO L130 BoogieDeclarations]: Found specification of procedure pci_vpd_find_tag [2022-12-14 09:49:57,590 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_vpd_find_tag [2022-12-14 09:49:57,590 INFO L130 BoogieDeclarations]: Found specification of procedure _tg3_flag_set [2022-12-14 09:49:57,590 INFO L138 BoogieDeclarations]: Found implementation of procedure _tg3_flag_set [2022-12-14 09:49:57,590 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2022-12-14 09:49:57,590 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_refclk_write [2022-12-14 09:49:57,590 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_refclk_write [2022-12-14 09:49:57,590 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_eee_pull_config [2022-12-14 09:49:57,590 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_eee_pull_config [2022-12-14 09:49:57,590 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pause_cpu_and_set_pc [2022-12-14 09:49:57,590 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pause_cpu_and_set_pc [2022-12-14 09:49:57,591 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_resume_cpu [2022-12-14 09:49:57,591 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_resume_cpu [2022-12-14 09:49:57,591 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2022-12-14 09:49:57,591 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2022-12-14 09:49:57,591 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_power_down_prepare [2022-12-14 09:49:57,591 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_power_down_prepare [2022-12-14 09:49:57,591 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_lock [2022-12-14 09:49:57,591 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_lock [2022-12-14 09:49:57,591 INFO L130 BoogieDeclarations]: Found specification of procedure pci_dev_put [2022-12-14 09:49:57,591 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_dev_put [2022-12-14 09:49:57,591 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_enable_ints [2022-12-14 09:49:57,591 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_enable_ints [2022-12-14 09:49:57,591 INFO L130 BoogieDeclarations]: Found specification of procedure pci_enable_device [2022-12-14 09:49:57,591 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_enable_device [2022-12-14 09:49:57,591 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_do_test_dma [2022-12-14 09:49:57,591 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_do_test_dma [2022-12-14 09:49:57,591 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_poll_fw [2022-12-14 09:49:57,592 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_poll_fw [2022-12-14 09:49:57,592 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_toggle_auxctl_smdsp [2022-12-14 09:49:57,592 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_toggle_auxctl_smdsp [2022-12-14 09:49:57,592 INFO L130 BoogieDeclarations]: Found specification of procedure pcie_capability_clear_word [2022-12-14 09:49:57,592 INFO L138 BoogieDeclarations]: Found implementation of procedure pcie_capability_clear_word [2022-12-14 09:49:57,592 INFO L130 BoogieDeclarations]: Found specification of procedure rtnl_lock [2022-12-14 09:49:57,592 INFO L138 BoogieDeclarations]: Found implementation of procedure rtnl_lock [2022-12-14 09:49:57,592 INFO L130 BoogieDeclarations]: Found specification of procedure phy_disconnect [2022-12-14 09:49:57,592 INFO L138 BoogieDeclarations]: Found implementation of procedure phy_disconnect [2022-12-14 09:49:57,592 INFO L130 BoogieDeclarations]: Found specification of procedure device_may_wakeup [2022-12-14 09:49:57,592 INFO L138 BoogieDeclarations]: Found implementation of procedure device_may_wakeup [2022-12-14 09:49:57,592 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_phys_addr [2022-12-14 09:49:57,592 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_phys_addr [2022-12-14 09:49:57,592 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~X~$Pointer$~TO~VOID [2022-12-14 09:49:57,592 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~X~$Pointer$~TO~VOID [2022-12-14 09:49:57,592 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_5700_link_polarity [2022-12-14 09:49:57,593 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_5700_link_polarity [2022-12-14 09:49:57,593 INFO L130 BoogieDeclarations]: Found specification of procedure netif_get_num_default_rss_queues [2022-12-14 09:49:57,593 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_get_num_default_rss_queues [2022-12-14 09:49:57,593 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_122 [2022-12-14 09:49:57,593 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_122 [2022-12-14 09:49:57,593 INFO L130 BoogieDeclarations]: Found specification of procedure ethtool_adv_to_mii_ctrl1000_t [2022-12-14 09:49:57,593 INFO L138 BoogieDeclarations]: Found implementation of procedure ethtool_adv_to_mii_ctrl1000_t [2022-12-14 09:49:57,593 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_enable_register_access [2022-12-14 09:49:57,593 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_enable_register_access [2022-12-14 09:49:57,593 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_power_state [2022-12-14 09:49:57,593 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_power_state [2022-12-14 09:49:57,593 INFO L130 BoogieDeclarations]: Found specification of procedure dma_alloc_attrs [2022-12-14 09:49:57,593 INFO L138 BoogieDeclarations]: Found implementation of procedure dma_alloc_attrs [2022-12-14 09:49:57,593 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_msi [2022-12-14 09:49:57,593 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_msi [2022-12-14 09:49:57,593 INFO L130 BoogieDeclarations]: Found specification of procedure skb_tstamp_tx [2022-12-14 09:49:57,594 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_tstamp_tx [2022-12-14 09:49:57,594 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_stop [2022-12-14 09:49:57,594 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_stop [2022-12-14 09:49:57,594 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_stop_block [2022-12-14 09:49:57,594 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_stop_block [2022-12-14 09:49:57,594 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_scratchpad_read [2022-12-14 09:49:57,594 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_scratchpad_read [2022-12-14 09:49:57,594 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_wake_queue [2022-12-14 09:49:57,594 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_wake_queue [2022-12-14 09:49:57,594 INFO L130 BoogieDeclarations]: Found specification of procedure pci_release_regions [2022-12-14 09:49:57,594 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_release_regions [2022-12-14 09:49:57,594 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.meminit [2022-12-14 09:49:57,594 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.meminit [2022-12-14 09:49:57,594 INFO L130 BoogieDeclarations]: Found specification of procedure pci_unmap_page [2022-12-14 09:49:57,594 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_unmap_page [2022-12-14 09:49:57,594 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_init_5401phy_dsp [2022-12-14 09:49:57,595 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_init_5401phy_dsp [2022-12-14 09:49:57,595 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_open [2022-12-14 09:49:57,595 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_open [2022-12-14 09:49:57,595 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_setup_eee [2022-12-14 09:49:57,595 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_setup_eee [2022-12-14 09:49:57,595 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_malloc [2022-12-14 09:49:57,595 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_malloc [2022-12-14 09:49:57,595 INFO L130 BoogieDeclarations]: Found specification of procedure pci_read_config_word [2022-12-14 09:49:57,595 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_read_config_word [2022-12-14 09:49:57,595 INFO L130 BoogieDeclarations]: Found specification of procedure free_irq [2022-12-14 09:49:57,595 INFO L138 BoogieDeclarations]: Found implementation of procedure free_irq [2022-12-14 09:49:57,595 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_remove_one [2022-12-14 09:49:57,595 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_remove_one [2022-12-14 09:49:57,595 INFO L130 BoogieDeclarations]: Found specification of procedure mmd_eee_adv_to_ethtool_adv_t [2022-12-14 09:49:57,595 INFO L138 BoogieDeclarations]: Found implementation of procedure mmd_eee_adv_to_ethtool_adv_t [2022-12-14 09:49:57,595 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_ok [2022-12-14 09:49:57,596 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_ok [2022-12-14 09:49:57,596 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_indirect_lock_of_tg3 [2022-12-14 09:49:57,596 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_indirect_lock_of_tg3 [2022-12-14 09:49:57,596 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tso_bug [2022-12-14 09:49:57,596 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tso_bug [2022-12-14 09:49:57,596 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_on [2022-12-14 09:49:57,596 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_on [2022-12-14 09:49:57,596 INFO L130 BoogieDeclarations]: Found specification of procedure spinlock_check [2022-12-14 09:49:57,596 INFO L138 BoogieDeclarations]: Found implementation of procedure spinlock_check [2022-12-14 09:49:57,596 INFO L130 BoogieDeclarations]: Found specification of procedure pci_vpd_lrdt_size [2022-12-14 09:49:57,596 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_vpd_lrdt_size [2022-12-14 09:49:57,596 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_mtu [2022-12-14 09:49:57,596 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_mtu [2022-12-14 09:49:57,596 INFO L130 BoogieDeclarations]: Found specification of procedure __netif_tx_unlock [2022-12-14 09:49:57,596 INFO L138 BoogieDeclarations]: Found implementation of procedure __netif_tx_unlock [2022-12-14 09:49:57,596 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_reset_hw [2022-12-14 09:49:57,596 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_reset_hw [2022-12-14 09:49:57,597 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_xmalloc [2022-12-14 09:49:57,597 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_xmalloc [2022-12-14 09:49:57,597 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_dump_legacy_regs [2022-12-14 09:49:57,597 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_dump_legacy_regs [2022-12-14 09:49:57,597 INFO L130 BoogieDeclarations]: Found specification of procedure skb_end_pointer [2022-12-14 09:49:57,597 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_end_pointer [2022-12-14 09:49:57,597 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_start_xmit [2022-12-14 09:49:57,597 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_start_xmit [2022-12-14 09:49:57,597 INFO L130 BoogieDeclarations]: Found specification of procedure eth_validate_addr [2022-12-14 09:49:57,597 INFO L138 BoogieDeclarations]: Found implementation of procedure eth_validate_addr [2022-12-14 09:49:57,597 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_is_err [2022-12-14 09:49:57,597 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_is_err [2022-12-14 09:49:57,597 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_dump_state [2022-12-14 09:49:57,597 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_dump_state [2022-12-14 09:49:57,597 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_advert_flowctrl_1000X [2022-12-14 09:49:57,597 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_advert_flowctrl_1000X [2022-12-14 09:49:57,598 INFO L130 BoogieDeclarations]: Found specification of procedure netif_device_attach [2022-12-14 09:49:57,598 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_device_attach [2022-12-14 09:49:57,598 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2022-12-14 09:49:57,598 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_queue_stopped [2022-12-14 09:49:57,598 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_queue_stopped [2022-12-14 09:49:57,598 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_get_tx_queue [2022-12-14 09:49:57,598 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_get_tx_queue [2022-12-14 09:49:57,598 INFO L130 BoogieDeclarations]: Found specification of procedure pci_is_pcie [2022-12-14 09:49:57,598 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_is_pcie [2022-12-14 09:49:57,598 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~int [2022-12-14 09:49:57,598 INFO L130 BoogieDeclarations]: Found specification of procedure _copy_from_user [2022-12-14 09:49:57,598 INFO L138 BoogieDeclarations]: Found implementation of procedure _copy_from_user [2022-12-14 09:49:57,598 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_eeprom_size [2022-12-14 09:49:57,598 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_eeprom_size [2022-12-14 09:49:57,598 INFO L130 BoogieDeclarations]: Found specification of procedure __raw_spin_lock_init [2022-12-14 09:49:57,598 INFO L138 BoogieDeclarations]: Found implementation of procedure __raw_spin_lock_init [2022-12-14 09:49:57,599 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~int [2022-12-14 09:49:57,599 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_eeprom_len [2022-12-14 09:49:57,599 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_eeprom_len [2022-12-14 09:49:57,599 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_netif_start [2022-12-14 09:49:57,599 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_netif_start [2022-12-14 09:49:57,599 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_toggle_automdix [2022-12-14 09:49:57,599 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_toggle_automdix [2022-12-14 09:49:57,599 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_set_coalesce [2022-12-14 09:49:57,599 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_set_coalesce [2022-12-14 09:49:57,599 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_io_resume [2022-12-14 09:49:57,599 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_io_resume [2022-12-14 09:49:57,599 INFO L130 BoogieDeclarations]: Found specification of procedure __phys_addr [2022-12-14 09:49:57,599 INFO L138 BoogieDeclarations]: Found implementation of procedure __phys_addr [2022-12-14 09:49:57,599 INFO L130 BoogieDeclarations]: Found specification of procedure skb_get_queue_mapping [2022-12-14 09:49:57,599 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_get_queue_mapping [2022-12-14 09:49:57,599 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_close [2022-12-14 09:49:57,600 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_close [2022-12-14 09:49:57,600 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_after_alloc [2022-12-14 09:49:57,600 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_after_alloc [2022-12-14 09:49:57,600 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memcpy [2022-12-14 09:49:57,600 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memcpy [2022-12-14 09:49:57,600 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_to_interrupt_context [2022-12-14 09:49:57,600 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_to_interrupt_context [2022-12-14 09:49:57,600 INFO L130 BoogieDeclarations]: Found specification of procedure mii_advertise_flowctrl [2022-12-14 09:49:57,600 INFO L138 BoogieDeclarations]: Found implementation of procedure mii_advertise_flowctrl [2022-12-14 09:49:57,600 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_dev_set_drvdata [2022-12-14 09:49:57,600 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_dev_set_drvdata [2022-12-14 09:49:57,600 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_alloc_flags [2022-12-14 09:49:57,600 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_alloc_flags [2022-12-14 09:49:57,600 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_resume [2022-12-14 09:49:57,600 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_resume [2022-12-14 09:49:57,600 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_set_bd [2022-12-14 09:49:57,601 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_set_bd [2022-12-14 09:49:57,601 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_pwrsrc_switch_to_vmain [2022-12-14 09:49:57,601 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_pwrsrc_switch_to_vmain [2022-12-14 09:49:57,601 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_logical_addr [2022-12-14 09:49:57,601 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_logical_addr [2022-12-14 09:49:57,601 INFO L130 BoogieDeclarations]: Found specification of procedure div_u64_rem [2022-12-14 09:49:57,601 INFO L138 BoogieDeclarations]: Found implementation of procedure div_u64_rem [2022-12-14 09:49:57,601 INFO L130 BoogieDeclarations]: Found specification of procedure __udelay [2022-12-14 09:49:57,601 INFO L138 BoogieDeclarations]: Found implementation of procedure __udelay [2022-12-14 09:49:57,601 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_set_rx_mode [2022-12-14 09:49:57,601 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_set_rx_mode [2022-12-14 09:49:57,601 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write_sig_legacy [2022-12-14 09:49:57,601 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write_sig_legacy [2022-12-14 09:49:57,601 INFO L130 BoogieDeclarations]: Found specification of procedure is_valid_ether_addr [2022-12-14 09:49:57,601 INFO L138 BoogieDeclarations]: Found implementation of procedure is_valid_ether_addr [2022-12-14 09:49:57,601 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~VOID [2022-12-14 09:49:57,601 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~VOID [2022-12-14 09:49:57,602 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~int [2022-12-14 09:49:57,602 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~int [2022-12-14 09:49:57,602 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_generate_fw_event [2022-12-14 09:49:57,602 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_generate_fw_event [2022-12-14 09:49:57,602 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_exclusive_spin_is_locked [2022-12-14 09:49:57,602 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_exclusive_spin_is_locked [2022-12-14 09:49:57,602 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assert [2022-12-14 09:49:57,602 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assert [2022-12-14 09:49:57,602 INFO L130 BoogieDeclarations]: Found specification of procedure pci_vpd_find_info_keyword [2022-12-14 09:49:57,602 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_vpd_find_info_keyword [2022-12-14 09:49:57,602 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_timer_stop [2022-12-14 09:49:57,602 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_timer_stop [2022-12-14 09:49:57,602 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_stop [2022-12-14 09:49:57,602 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_stop [2022-12-14 09:49:57,602 INFO L130 BoogieDeclarations]: Found specification of procedure __ldv_spin_lock [2022-12-14 09:49:57,602 INFO L138 BoogieDeclarations]: Found implementation of procedure __ldv_spin_lock [2022-12-14 09:49:57,603 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_nstats [2022-12-14 09:49:57,603 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_nstats [2022-12-14 09:49:57,603 INFO L130 BoogieDeclarations]: Found specification of procedure debug_dma_map_page [2022-12-14 09:49:57,603 INFO L138 BoogieDeclarations]: Found implementation of procedure debug_dma_map_page [2022-12-14 09:49:57,603 INFO L130 BoogieDeclarations]: Found specification of procedure skb_put [2022-12-14 09:49:57,603 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_put [2022-12-14 09:49:57,603 INFO L130 BoogieDeclarations]: Found specification of procedure calc_crc [2022-12-14 09:49:57,603 INFO L138 BoogieDeclarations]: Found implementation of procedure calc_crc [2022-12-14 09:49:57,603 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rss_write_indir_tbl [2022-12-14 09:49:57,603 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rss_write_indir_tbl [2022-12-14 09:49:57,603 INFO L130 BoogieDeclarations]: Found specification of procedure skb_frag_size [2022-12-14 09:49:57,603 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_frag_size [2022-12-14 09:49:57,603 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_netif_stop [2022-12-14 09:49:57,603 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_netif_stop [2022-12-14 09:49:57,603 INFO L130 BoogieDeclarations]: Found specification of procedure dev_name [2022-12-14 09:49:57,603 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_name [2022-12-14 09:49:57,604 INFO L130 BoogieDeclarations]: Found specification of procedure writel [2022-12-14 09:49:57,604 INFO L138 BoogieDeclarations]: Found implementation of procedure writel [2022-12-14 09:49:57,604 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_tx_frag_set [2022-12-14 09:49:57,604 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_tx_frag_set [2022-12-14 09:49:57,604 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_loopback [2022-12-14 09:49:57,604 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_loopback [2022-12-14 09:49:57,604 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_irq_sync [2022-12-14 09:49:57,604 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_irq_sync [2022-12-14 09:49:57,604 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_stop_fw [2022-12-14 09:49:57,604 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_stop_fw [2022-12-14 09:49:57,604 INFO L130 BoogieDeclarations]: Found specification of procedure tcp_hdr [2022-12-14 09:49:57,604 INFO L138 BoogieDeclarations]: Found implementation of procedure tcp_hdr [2022-12-14 09:49:57,604 INFO L130 BoogieDeclarations]: Found specification of procedure __fswab32 [2022-12-14 09:49:57,604 INFO L138 BoogieDeclarations]: Found implementation of procedure __fswab32 [2022-12-14 09:49:57,604 INFO L130 BoogieDeclarations]: Found specification of procedure pcie_capability_set_word [2022-12-14 09:49:57,604 INFO L138 BoogieDeclarations]: Found implementation of procedure pcie_capability_set_word [2022-12-14 09:49:57,605 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_strcpy [2022-12-14 09:49:57,605 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_strcpy [2022-12-14 09:49:57,605 INFO L130 BoogieDeclarations]: Found specification of procedure mii_adv_to_ethtool_adv_t [2022-12-14 09:49:57,605 INFO L138 BoogieDeclarations]: Found implementation of procedure mii_adv_to_ethtool_adv_t [2022-12-14 09:49:57,605 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$ [2022-12-14 09:49:57,605 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_stop [2022-12-14 09:49:57,605 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_stop [2022-12-14 09:49:57,605 INFO L130 BoogieDeclarations]: Found specification of procedure mii_adv_to_ethtool_adv_x [2022-12-14 09:49:57,605 INFO L138 BoogieDeclarations]: Found implementation of procedure mii_adv_to_ethtool_adv_x [2022-12-14 09:49:57,605 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_has_work [2022-12-14 09:49:57,605 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_has_work [2022-12-14 09:49:57,605 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_run_loopback [2022-12-14 09:49:57,605 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_run_loopback [2022-12-14 09:49:57,605 INFO L130 BoogieDeclarations]: Found specification of procedure request_irq [2022-12-14 09:49:57,605 INFO L138 BoogieDeclarations]: Found implementation of procedure request_irq [2022-12-14 09:49:57,605 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_lso_rd_dma_workaround_bit [2022-12-14 09:49:57,606 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_lso_rd_dma_workaround_bit [2022-12-14 09:49:57,606 INFO L130 BoogieDeclarations]: Found specification of procedure pci_read_config_byte [2022-12-14 09:49:57,606 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_read_config_byte [2022-12-14 09:49:57,606 INFO L130 BoogieDeclarations]: Found specification of procedure rtnl_unlock [2022-12-14 09:49:57,606 INFO L138 BoogieDeclarations]: Found implementation of procedure rtnl_unlock [2022-12-14 09:49:57,606 INFO L130 BoogieDeclarations]: Found specification of procedure kmemcheck_mark_initialized [2022-12-14 09:49:57,606 INFO L138 BoogieDeclarations]: Found implementation of procedure kmemcheck_mark_initialized [2022-12-14 09:49:57,606 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rss_init_dflt_indir_tbl [2022-12-14 09:49:57,606 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rss_init_dflt_indir_tbl [2022-12-14 09:49:57,606 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_lpbk_set [2022-12-14 09:49:57,606 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_lpbk_set [2022-12-14 09:49:57,606 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_set_multi [2022-12-14 09:49:57,606 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_set_multi [2022-12-14 09:49:57,606 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_unlock [2022-12-14 09:49:57,606 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_unlock [2022-12-14 09:49:57,606 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_auxctl_read [2022-12-14 09:49:57,606 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_auxctl_read [2022-12-14 09:49:57,607 INFO L130 BoogieDeclarations]: Found specification of procedure atomic_read [2022-12-14 09:49:57,607 INFO L138 BoogieDeclarations]: Found implementation of procedure atomic_read [2022-12-14 09:49:57,607 INFO L130 BoogieDeclarations]: Found specification of procedure netif_set_real_num_tx_queues [2022-12-14 09:49:57,607 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_set_real_num_tx_queues [2022-12-14 09:49:57,607 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_msix [2022-12-14 09:49:57,607 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_msix [2022-12-14 09:49:57,607 INFO L130 BoogieDeclarations]: Found specification of procedure pci_dev_present [2022-12-14 09:49:57,607 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_dev_present [2022-12-14 09:49:57,607 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_dev_get_drvdata [2022-12-14 09:49:57,607 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_dev_get_drvdata [2022-12-14 09:49:57,607 INFO L130 BoogieDeclarations]: Found specification of procedure __netif_schedule [2022-12-14 09:49:57,607 INFO L138 BoogieDeclarations]: Found implementation of procedure __netif_schedule [2022-12-14 09:49:57,607 INFO L130 BoogieDeclarations]: Found specification of procedure tw32_mailbox_flush [2022-12-14 09:49:57,607 INFO L138 BoogieDeclarations]: Found implementation of procedure tw32_mailbox_flush [2022-12-14 09:49:57,607 INFO L130 BoogieDeclarations]: Found specification of procedure consume_skb [2022-12-14 09:49:57,607 INFO L138 BoogieDeclarations]: Found implementation of procedure consume_skb [2022-12-14 09:49:57,608 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_master [2022-12-14 09:49:57,608 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_master [2022-12-14 09:49:57,608 INFO L130 BoogieDeclarations]: Found specification of procedure netif_running [2022-12-14 09:49:57,608 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_running [2022-12-14 09:49:57,608 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_event_lock [2022-12-14 09:49:57,608 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_event_lock [2022-12-14 09:49:57,608 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ump_link_report [2022-12-14 09:49:57,608 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ump_link_report [2022-12-14 09:49:57,608 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~u32~0~X~~u32~0~TO~VOID [2022-12-14 09:49:57,608 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~u32~0~X~~u32~0~TO~VOID [2022-12-14 09:49:57,608 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2022-12-14 09:49:57,608 INFO L130 BoogieDeclarations]: Found specification of procedure __tg3_set_one_mac_addr [2022-12-14 09:49:57,608 INFO L138 BoogieDeclarations]: Found implementation of procedure __tg3_set_one_mac_addr [2022-12-14 09:49:57,608 INFO L130 BoogieDeclarations]: Found specification of procedure might_fault [2022-12-14 09:49:57,608 INFO L138 BoogieDeclarations]: Found implementation of procedure might_fault [2022-12-14 09:49:57,608 INFO L130 BoogieDeclarations]: Found specification of procedure pci_vpd_info_field_size [2022-12-14 09:49:57,609 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_vpd_info_field_size [2022-12-14 09:49:57,609 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~structbegin~int~structend~~TO~int [2022-12-14 09:49:57,609 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~structbegin~int~structend~~TO~int [2022-12-14 09:49:57,609 INFO L130 BoogieDeclarations]: Found specification of procedure pci_write_config_byte [2022-12-14 09:49:57,609 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_write_config_byte [2022-12-14 09:49:57,609 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_pre_probe [2022-12-14 09:49:57,609 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_pre_probe [2022-12-14 09:49:57,609 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_napi_disable [2022-12-14 09:49:57,609 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_napi_disable [2022-12-14 09:49:57,609 INFO L130 BoogieDeclarations]: Found specification of procedure __fswab16 [2022-12-14 09:49:57,609 INFO L138 BoogieDeclarations]: Found implementation of procedure __fswab16 [2022-12-14 09:49:57,609 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_request_irq [2022-12-14 09:49:57,609 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_request_irq [2022-12-14 09:49:57,609 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rxcpu_pause [2022-12-14 09:49:57,609 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rxcpu_pause [2022-12-14 09:49:57,609 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_positive_int [2022-12-14 09:49:57,610 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_positive_int [2022-12-14 09:49:57,610 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_carrier_off [2022-12-14 09:49:57,610 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_carrier_off [2022-12-14 09:49:57,610 INFO L130 BoogieDeclarations]: Found specification of procedure pci_enable_msix [2022-12-14 09:49:57,610 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_enable_msix [2022-12-14 09:49:57,610 INFO L130 BoogieDeclarations]: Found specification of procedure release_firmware [2022-12-14 09:49:57,610 INFO L138 BoogieDeclarations]: Found implementation of procedure release_firmware [2022-12-14 09:49:57,610 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free_irq [2022-12-14 09:49:57,610 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free_irq [2022-12-14 09:49:57,610 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_setup_phy [2022-12-14 09:49:57,610 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_setup_phy [2022-12-14 09:49:57,610 INFO L130 BoogieDeclarations]: Found specification of procedure _tw32_flush [2022-12-14 09:49:57,610 INFO L138 BoogieDeclarations]: Found implementation of procedure _tw32_flush [2022-12-14 09:49:57,610 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_rd32_loop [2022-12-14 09:49:57,610 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_rd32_loop [2022-12-14 09:49:57,610 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~u32~0~TO~~u32~0 [2022-12-14 09:49:57,611 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~u32~0~TO~~u32~0 [2022-12-14 09:49:57,611 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_switch_clocks [2022-12-14 09:49:57,611 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_switch_clocks [2022-12-14 09:49:57,611 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_start_queue [2022-12-14 09:49:57,611 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_start_queue [2022-12-14 09:49:57,611 INFO L130 BoogieDeclarations]: Found specification of procedure free_netdev [2022-12-14 09:49:57,611 INFO L138 BoogieDeclarations]: Found implementation of procedure free_netdev [2022-12-14 09:49:57,611 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_ape_write32 [2022-12-14 09:49:57,611 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_ape_write32 [2022-12-14 09:49:57,611 INFO L130 BoogieDeclarations]: Found specification of procedure pci_dma_mapping_error [2022-12-14 09:49:57,611 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_dma_mapping_error [2022-12-14 09:49:57,611 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_copper_an_config_ok [2022-12-14 09:49:57,611 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_copper_an_config_ok [2022-12-14 09:49:57,611 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2022-12-14 09:49:57,611 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2022-12-14 09:49:57,611 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_lock_of_tg3 [2022-12-14 09:49:57,612 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_lock_of_tg3 [2022-12-14 09:49:57,612 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_get_regs_len [2022-12-14 09:49:57,612 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_get_regs_len [2022-12-14 09:49:57,612 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_read_be32 [2022-12-14 09:49:57,612 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_read_be32 [2022-12-14 09:49:57,612 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_reset_task_cancel [2022-12-14 09:49:57,612 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_reset_task_cancel [2022-12-14 09:49:57,612 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_bh_117 [2022-12-14 09:49:57,612 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_bh_117 [2022-12-14 09:49:57,612 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_cl45_read [2022-12-14 09:49:57,612 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_cl45_read [2022-12-14 09:49:57,612 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_test_and_report_link_chg [2022-12-14 09:49:57,612 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_test_and_report_link_chg [2022-12-14 09:49:57,612 INFO L130 BoogieDeclarations]: Found specification of procedure test_and_set_bit [2022-12-14 09:49:57,612 INFO L138 BoogieDeclarations]: Found implementation of procedure test_and_set_bit [2022-12-14 09:49:57,612 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_disable_ints [2022-12-14 09:49:57,613 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_disable_ints [2022-12-14 09:49:57,613 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_enable_nvram_access [2022-12-14 09:49:57,613 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_enable_nvram_access [2022-12-14 09:49:57,613 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_stop_queue [2022-12-14 09:49:57,613 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_stop_queue [2022-12-14 09:49:57,613 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_wait_macro_done [2022-12-14 09:49:57,613 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_wait_macro_done [2022-12-14 09:49:57,613 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_phy_shdw_write [2022-12-14 09:49:57,613 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_phy_shdw_write [2022-12-14 09:49:57,613 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_write32 [2022-12-14 09:49:57,613 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_write32 [2022-12-14 09:49:57,613 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free [2022-12-14 09:49:57,613 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free [2022-12-14 09:49:57,613 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_full_unlock [2022-12-14 09:49:57,613 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_full_unlock [2022-12-14 09:49:57,613 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_nvram_unlock [2022-12-14 09:49:57,613 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_nvram_unlock [2022-12-14 09:49:57,614 INFO L130 BoogieDeclarations]: Found specification of procedure dql_avail [2022-12-14 09:49:57,614 INFO L138 BoogieDeclarations]: Found implementation of procedure dql_avail [2022-12-14 09:49:57,614 INFO L130 BoogieDeclarations]: Found specification of procedure get_stat64 [2022-12-14 09:49:57,614 INFO L138 BoogieDeclarations]: Found implementation of procedure get_stat64 [2022-12-14 09:49:57,614 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_full_lock [2022-12-14 09:49:57,614 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_full_lock [2022-12-14 09:49:57,614 INFO L130 BoogieDeclarations]: Found specification of procedure spin_lock [2022-12-14 09:49:57,614 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_lock [2022-12-14 09:49:57,614 INFO L130 BoogieDeclarations]: Found specification of procedure readl [2022-12-14 09:49:57,614 INFO L138 BoogieDeclarations]: Found implementation of procedure readl [2022-12-14 09:49:57,614 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_suspend [2022-12-14 09:49:57,614 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_suspend [2022-12-14 09:49:57,614 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2022-12-14 09:49:57,614 INFO L130 BoogieDeclarations]: Found specification of procedure ktime_get_real [2022-12-14 09:49:57,614 INFO L138 BoogieDeclarations]: Found implementation of procedure ktime_get_real [2022-12-14 09:49:57,614 INFO L130 BoogieDeclarations]: Found specification of procedure tg3_halt_cpu [2022-12-14 09:49:57,615 INFO L138 BoogieDeclarations]: Found implementation of procedure tg3_halt_cpu [2022-12-14 09:49:57,615 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2022-12-14 09:49:57,615 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2022-12-14 09:49:59,152 INFO L235 CfgBuilder]: Building ICFG [2022-12-14 09:49:59,157 INFO L261 CfgBuilder]: Building CFG for each procedure with an implementation [2022-12-14 09:49:59,897 INFO L769 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_stopFINAL: assume true; [2022-12-14 09:52:23,789 INFO L276 CfgBuilder]: Performing block encoding [2022-12-14 09:52:41,399 INFO L295 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2022-12-14 09:52:41,399 INFO L300 CfgBuilder]: Removed 24 assume(true) statements. [2022-12-14 09:52:41,407 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 14.12 09:52:41 BoogieIcfgContainer [2022-12-14 09:52:41,407 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2022-12-14 09:52:41,408 INFO L113 PluginConnector]: ------------------------TraceAbstraction---------------------------- [2022-12-14 09:52:41,408 INFO L271 PluginConnector]: Initializing TraceAbstraction... [2022-12-14 09:52:41,410 INFO L275 PluginConnector]: TraceAbstraction initialized [2022-12-14 09:52:41,411 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 14.12 09:49:42" (1/3) ... [2022-12-14 09:52:41,411 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@7b82295d and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 14.12 09:52:41, skipping insertion in model container [2022-12-14 09:52:41,411 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 09:49:56" (2/3) ... [2022-12-14 09:52:41,411 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@7b82295d and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 14.12 09:52:41, skipping insertion in model container [2022-12-14 09:52:41,411 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 14.12 09:52:41" (3/3) ... [2022-12-14 09:52:41,412 INFO L112 eAbstractionObserver]: Analyzing ICFG linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-broadcom-tg3.cil.i [2022-12-14 09:52:41,428 INFO L203 ceAbstractionStarter]: Automizer settings: Hoare:true NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION [2022-12-14 09:52:41,428 INFO L162 ceAbstractionStarter]: Applying trace abstraction to program that has 1 error locations. [2022-12-14 09:52:41,596 INFO L356 AbstractCegarLoop]: ======== Iteration 0 == of CEGAR loop == AllErrorsAtOnce ======== [2022-12-14 09:52:41,602 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;@418237b2, mLbeIndependenceSettings=[IndependenceType=SEMANTIC, AbstractionType=NONE, UseConditional=false, UseSemiCommutativity=true, Solver=Z3, SolverTimeout=1000ms] [2022-12-14 09:52:41,603 INFO L358 AbstractCegarLoop]: Starting to check reachability of 1 error locations. [2022-12-14 09:52:41,633 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-12-14 09:52:41,681 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 215 [2022-12-14 09:52:41,682 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 09:52:41,683 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-12-14 09:52:41,683 INFO L420 AbstractCegarLoop]: === Iteration 1 === Targeting ldv_check_alloc_flagsErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_check_alloc_flagsErr0ASSERT_VIOLATIONERROR_FUNCTION] === [2022-12-14 09:52:41,688 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 09:52:41,688 INFO L85 PathProgramCache]: Analyzing trace with hash -1837464082, now seen corresponding path program 1 times [2022-12-14 09:52:41,698 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 09:52:41,698 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [1428571418] [2022-12-14 09:52:41,698 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 09:52:41,699 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 09:52:42,278 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 09:52:52,474 INFO L134 CoverageAnalysis]: Checked inductivity of 143 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 143 trivial. 0 not checked. [2022-12-14 09:52:52,475 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 09:52:52,475 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [1428571418] [2022-12-14 09:52:52,475 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [1428571418] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 09:52:52,475 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 09:52:52,475 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [9] imperfect sequences [] total 9 [2022-12-14 09:52:52,477 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1026577927] [2022-12-14 09:52:52,477 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 09:52:52,481 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 9 states [2022-12-14 09:52:52,481 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 09:52:52,505 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 9 interpolants. [2022-12-14 09:52:52,506 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=17, Invalid=55, Unknown=0, NotChecked=0, Total=72 [2022-12-14 09:52:52,525 INFO L87 Difference]: Start difference. First 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) Second operand has 9 states, 8 states have (on average 11.75) internal successors, (94), 8 states have internal predecessors, (94), 4 states have call successors, (46), 4 states have call predecessors, (46), 4 states have return successors, (41), 6 states have call predecessors, (41), 4 states have call successors, (41) [2022-12-14 09:54:40,967 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.30s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:54:42,130 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.02s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:55:43,232 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.32s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:55:51,219 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.19s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:56:04,132 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.40s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:56:05,526 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.39s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:56:07,538 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:58:58,929 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.06s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:59:03,375 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.08s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:59:06,438 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.20s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:59:07,462 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.02s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:59:08,526 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.06s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:59:09,628 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.10s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:59:10,756 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.13s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:59:27,843 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.01s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 09:59:57,116 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.03s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 10:00:03,426 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.17s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 10:00:05,300 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.10s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 10:01:04,396 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.43s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 10:01:06,409 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 10:02:21,659 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 10:03:29,055 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 10:03:49,809 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.14s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 10:03:51,040 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 1.23s for a HTC check with result INVALID. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers []