./Ultimate.py --spec ../../sv-benchmarks/c/properties/unreach-call.prp --file ../../sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 38b53e6a Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/config/TaipanReach.xml -i ../../sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/config/svcomp-Reach-64bit-Taipan_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 435b3fa8073a80dcd9b8b69819909b6031007c35574ec244127e6237bed3be57 --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-38b53e6 [2022-11-25 22:28:49,638 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 22:28:49,640 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 22:28:49,662 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 22:28:49,662 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 22:28:49,664 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 22:28:49,665 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 22:28:49,667 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 22:28:49,668 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 22:28:49,670 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 22:28:49,671 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 22:28:49,672 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 22:28:49,672 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 22:28:49,674 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 22:28:49,675 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 22:28:49,676 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 22:28:49,677 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 22:28:49,678 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 22:28:49,680 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 22:28:49,681 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 22:28:49,683 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 22:28:49,685 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 22:28:49,686 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 22:28:49,687 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 22:28:49,694 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 22:28:49,694 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 22:28:49,694 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 22:28:49,695 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 22:28:49,696 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 22:28:49,697 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 22:28:49,697 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 22:28:49,698 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 22:28:49,699 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 22:28:49,700 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 22:28:49,701 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 22:28:49,701 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 22:28:49,702 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 22:28:49,702 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 22:28:49,703 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 22:28:49,704 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 22:28:49,705 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 22:28:49,712 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/config/svcomp-Reach-64bit-Taipan_Default.epf [2022-11-25 22:28:49,751 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 22:28:49,751 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 22:28:49,752 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 22:28:49,752 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 22:28:49,753 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 22:28:49,754 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 22:28:49,754 INFO L138 SettingsManager]: * User list type=DISABLED [2022-11-25 22:28:49,754 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-11-25 22:28:49,754 INFO L138 SettingsManager]: * Explicit value domain=true [2022-11-25 22:28:49,755 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2022-11-25 22:28:49,756 INFO L138 SettingsManager]: * Octagon Domain=false [2022-11-25 22:28:49,756 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2022-11-25 22:28:49,756 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2022-11-25 22:28:49,757 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2022-11-25 22:28:49,757 INFO L138 SettingsManager]: * Interval Domain=false [2022-11-25 22:28:49,757 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2022-11-25 22:28:49,758 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2022-11-25 22:28:49,758 INFO L138 SettingsManager]: * Simplification Technique=POLY_PAC [2022-11-25 22:28:49,759 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 22:28:49,759 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 22:28:49,759 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 22:28:49,759 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2022-11-25 22:28:49,760 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 22:28:49,760 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2022-11-25 22:28:49,760 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2022-11-25 22:28:49,760 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 22:28:49,761 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2022-11-25 22:28:49,761 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 22:28:49,762 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 22:28:49,762 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 22:28:49,762 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 22:28:49,763 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2022-11-25 22:28:49,763 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 22:28:49,763 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2022-11-25 22:28:49,763 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2022-11-25 22:28:49,764 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-11-25 22:28:49,764 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2022-11-25 22:28:49,764 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2022-11-25 22:28:49,764 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_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Taipan Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 435b3fa8073a80dcd9b8b69819909b6031007c35574ec244127e6237bed3be57 [2022-11-25 22:28:50,074 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 22:28:50,110 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 22:28:50,113 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 22:28:50,114 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 22:28:50,114 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 22:28:50,116 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/../../sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i [2022-11-25 22:28:53,420 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 22:28:54,246 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 22:28:54,247 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i [2022-11-25 22:28:54,350 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/data/86db8d206/7999e4019a38484e8bc88366455f3ca7/FLAG032a9be2e [2022-11-25 22:28:54,374 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/data/86db8d206/7999e4019a38484e8bc88366455f3ca7 [2022-11-25 22:28:54,381 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 22:28:54,383 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 22:28:54,388 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 22:28:54,388 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 22:28:54,393 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 22:28:54,394 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 10:28:54" (1/1) ... [2022-11-25 22:28:54,396 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@7b7ad250 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:28:54, skipping insertion in model container [2022-11-25 22:28:54,396 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 10:28:54" (1/1) ... [2022-11-25 22:28:54,407 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 22:28:54,626 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 22:28:55,497 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:55,619 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:55,627 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:55,641 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:55,646 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:55,653 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:55,661 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:55,707 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:55,719 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:55,731 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:55,734 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:55,735 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:55,736 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:55,737 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:55,737 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:55,743 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:55,745 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:55,746 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:55,746 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:55,747 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:55,747 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:55,750 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:55,750 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:55,753 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:55,892 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-11-25 22:28:55,917 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-11-25 22:28:56,074 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 22:28:56,084 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 22:28:56,084 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 22:28:56,098 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 22:28:56,109 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_cpu [2022-11-25 22:28:56,122 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_device [2022-11-25 22:28:56,131 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-11-25 22:28:56,171 WARN L623 FunctionHandler]: Unknown extern function __netdev_alloc_skb [2022-11-25 22:28:56,212 WARN L623 FunctionHandler]: Unknown extern function __napi_schedule [2022-11-25 22:28:56,254 WARN L623 FunctionHandler]: Unknown extern function netpoll_trap [2022-11-25 22:28:56,255 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-11-25 22:28:56,278 WARN L623 FunctionHandler]: Unknown extern function __dev_kfree_skb_irq [2022-11-25 22:28:56,369 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,372 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,396 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,397 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,402 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,403 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,405 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,405 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,408 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,417 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,434 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 22:28:56,438 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,439 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,454 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,457 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,465 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,465 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,468 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,475 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:28:56,480 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,485 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 22:28:56,488 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 22:28:56,506 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 22:28:56,508 WARN L623 FunctionHandler]: Unknown extern function eth_type_trans [2022-11-25 22:28:56,509 WARN L623 FunctionHandler]: Unknown extern function netif_receive_skb [2022-11-25 22:28:56,510 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,511 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,512 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,512 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 22:28:56,512 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,514 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 22:28:56,523 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,525 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,526 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,528 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,529 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,532 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,540 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 22:28:56,543 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,543 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:28:56,546 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,547 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,547 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,550 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,560 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 22:28:56,561 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,562 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 22:28:56,563 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,564 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:28:56,566 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,568 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,569 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,570 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,570 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,571 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,572 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,580 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,582 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,595 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:28:56,597 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:28:56,651 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-11-25 22:28:56,713 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,714 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,714 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,717 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,727 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,730 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,731 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,738 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,744 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,745 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,746 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,746 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,747 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,749 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,749 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,749 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,749 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,750 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,750 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,750 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,750 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,751 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,751 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,751 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,752 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,752 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,755 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,755 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,756 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,757 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,757 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,757 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,757 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,758 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,758 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,758 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,759 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,759 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,759 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,759 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,760 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,769 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,770 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,771 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,775 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,786 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,788 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,790 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,799 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,800 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,800 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,801 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,802 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,802 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,803 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,803 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,804 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,805 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,807 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,808 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,809 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,810 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,811 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,814 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,815 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,816 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,817 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,818 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,818 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,819 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,820 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,871 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,874 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,874 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,876 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,877 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,877 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,881 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,881 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,882 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,883 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,883 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,883 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,884 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,884 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,885 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,885 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,886 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,888 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,889 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,890 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,890 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,893 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:56,894 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:56,896 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:56,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:56,902 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:28:56,905 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,906 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:56,907 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:28:56,912 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:28:56,974 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,975 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,975 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,976 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,979 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,979 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,980 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:56,986 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:56,992 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:56,993 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,995 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,995 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,996 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,996 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,997 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:56,997 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:57,000 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:57,000 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:57,004 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:57,008 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:57,011 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:57,012 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 22:28:57,012 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 22:28:57,019 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:57,020 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 22:28:57,021 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 22:28:57,023 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:57,023 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:57,027 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:57,027 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 22:28:57,028 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 22:28:57,028 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:28:57,029 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:28:57,034 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:28:57,035 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:28:57,321 WARN L623 FunctionHandler]: Unknown extern function queue_work_on [2022-11-25 22:28:57,440 WARN L623 FunctionHandler]: Unknown extern function debug_dma_alloc_coherent [2022-11-25 22:28:57,447 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 22:28:57,448 WARN L623 FunctionHandler]: Unknown extern function debug_dma_free_coherent [2022-11-25 22:28:57,455 WARN L623 FunctionHandler]: Unknown extern function __might_sleep [2022-11-25 22:28:57,456 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:28:57,510 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 22:28:57,511 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:57,604 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_byte [2022-11-25 22:28:57,611 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-11-25 22:28:57,619 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-11-25 22:28:57,627 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-11-25 22:28:57,701 WARN L623 FunctionHandler]: Unknown extern function __pci_enable_wake [2022-11-25 22:28:57,862 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:57,863 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:57,863 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:57,864 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:57,866 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:57,867 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:57,868 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:57,876 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:57,883 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:57,897 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-11-25 22:28:58,095 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,096 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,096 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:58,096 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,097 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:58,098 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:58,099 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,099 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,101 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,101 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,102 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,102 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,103 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,103 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,104 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,104 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,114 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:58,116 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:58,118 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,119 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,119 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,120 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:58,121 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,121 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,121 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,122 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,122 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,123 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,123 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,124 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,124 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,125 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,125 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,126 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,127 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-11-25 22:28:58,127 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,128 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-11-25 22:28:58,128 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,129 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-11-25 22:28:58,129 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,130 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,130 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,134 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:58,134 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,135 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,140 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,141 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,142 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,143 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,143 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,143 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:58,144 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:28:58,144 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:28:58,149 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:28:58,150 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,150 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,151 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,151 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,151 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,152 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:28:58,152 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,155 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,156 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,156 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,157 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:28:58,157 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,158 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,158 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:28:58,166 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,175 WARN L623 FunctionHandler]: Unknown extern function cancel_work_sync [2022-11-25 22:28:58,176 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,176 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,177 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,177 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:28:58,180 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 22:28:58,181 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 22:28:58,184 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,185 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:58,187 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,194 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 22:28:58,201 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 22:28:58,202 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 22:28:58,209 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 22:28:58,227 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,227 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,230 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,243 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-11-25 22:28:58,260 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,265 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-11-25 22:28:58,265 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-11-25 22:28:58,266 WARN L623 FunctionHandler]: Unknown extern function bitrev32 [2022-11-25 22:28:58,267 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-11-25 22:28:58,267 WARN L623 FunctionHandler]: Unknown extern function bitrev32 [2022-11-25 22:28:58,268 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:58,269 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,270 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,270 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,271 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,271 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,272 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,275 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,276 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,293 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:58,294 WARN L623 FunctionHandler]: Unknown extern function pci_try_set_mwi [2022-11-25 22:28:58,295 WARN L623 FunctionHandler]: Unknown extern function pci_clear_mwi [2022-11-25 22:28:58,296 WARN L623 FunctionHandler]: Unknown extern function pci_clear_mwi [2022-11-25 22:28:58,298 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:58,314 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,315 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,316 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-11-25 22:28:58,317 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 22:28:58,318 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,320 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,321 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-11-25 22:28:58,322 WARN L623 FunctionHandler]: Unknown extern function pci_iomap [2022-11-25 22:28:58,325 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,325 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 22:28:58,327 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 22:28:58,329 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:28:58,330 WARN L623 FunctionHandler]: Unknown extern function __init_work [2022-11-25 22:28:58,331 WARN L623 FunctionHandler]: Unknown extern function lockdep_init_map [2022-11-25 22:28:58,332 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-11-25 22:28:58,332 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,333 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,333 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,334 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,335 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,344 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,351 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-11-25 22:28:58,361 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-11-25 22:28:58,361 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:58,364 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,365 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,365 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,365 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,366 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,366 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,403 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,403 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,404 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,404 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,404 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,405 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,405 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,405 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,406 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,406 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,406 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,407 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 22:28:58,407 WARN L623 FunctionHandler]: Unknown extern function pci_iounmap [2022-11-25 22:28:58,407 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 22:28:58,409 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,410 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,410 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,417 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,424 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-11-25 22:28:58,426 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-11-25 22:28:58,426 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 22:28:58,426 WARN L623 FunctionHandler]: Unknown extern function pci_choose_state [2022-11-25 22:28:58,427 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,428 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 22:28:58,435 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 22:28:58,435 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-11-25 22:28:58,436 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 22:28:58,436 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,437 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,437 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:58,438 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:58,438 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-11-25 22:28:58,446 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 22:28:58,446 WARN L623 FunctionHandler]: Unknown extern function pci_iounmap [2022-11-25 22:28:58,447 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 22:28:58,447 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 22:28:58,448 WARN L623 FunctionHandler]: Unknown extern function disable_irq [2022-11-25 22:28:58,448 WARN L623 FunctionHandler]: Unknown extern function enable_irq [2022-11-25 22:28:58,455 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:28:58,985 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,985 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,986 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,986 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,987 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,987 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,987 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,988 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,988 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,988 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,989 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,989 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,989 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:28:58,993 WARN L623 FunctionHandler]: Unknown extern function eth_mac_addr [2022-11-25 22:28:58,994 WARN L623 FunctionHandler]: Unknown extern function eth_validate_addr [2022-11-25 22:28:58,995 WARN L623 FunctionHandler]: Unknown extern function eth_change_mtu [2022-11-25 22:28:59,000 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 22:28:59,004 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 22:28:59,005 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 22:28:59,015 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 22:28:59,017 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_register_netdev [2022-11-25 22:28:59,030 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 22:28:59,031 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 22:28:59,033 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:28:59,034 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:28:59,034 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:28:59,035 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:28:59,036 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:28:59,036 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 22:28:59,037 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:28:59,037 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:28:59,038 WARN L623 FunctionHandler]: Unknown extern function alloc_etherdev_mqs [2022-11-25 22:28:59,038 WARN L623 FunctionHandler]: Unknown extern function register_netdev [2022-11-25 22:28:59,039 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-11-25 22:28:59,040 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 22:28:59,041 WARN L623 FunctionHandler]: Unknown extern function unregister_netdev [2022-11-25 22:28:59,041 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-11-25 22:28:59,042 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-11-25 22:28:59,043 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-11-25 22:28:59,073 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,073 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,074 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:59,074 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,075 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,076 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,076 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,082 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:59,084 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,084 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,085 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,086 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 22:28:59,086 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 22:28:59,087 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,088 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,088 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,089 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,089 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,090 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-11-25 22:28:59,090 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,091 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,091 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,091 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-11-25 22:28:59,092 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,092 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,093 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,095 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,096 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,096 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:59,096 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,097 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,097 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,098 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,098 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-11-25 22:28:59,098 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,099 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,100 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,100 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,102 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,103 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,105 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,106 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,107 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,107 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,108 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:28:59,109 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,110 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:28:59,110 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,111 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,112 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,112 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,113 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,114 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,114 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,127 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:28:59,128 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:28:59,129 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:28:59,148 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_irq [2022-11-25 22:28:59,160 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irq [2022-11-25 22:28:59,183 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,183 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,184 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:59,184 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,185 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,186 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,186 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,192 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:59,193 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,194 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,194 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,195 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,197 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,197 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,198 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,198 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,199 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,199 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,200 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,200 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,200 WARN L623 FunctionHandler]: Unknown extern function dev_trans_start [2022-11-25 22:28:59,201 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,201 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,201 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,202 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,202 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,203 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,204 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,205 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,205 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,205 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,206 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,207 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,208 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,208 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,209 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,210 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,210 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,211 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,211 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,211 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,213 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,213 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,213 WARN L623 FunctionHandler]: Unknown extern function disable_irq [2022-11-25 22:28:59,214 WARN L623 FunctionHandler]: Unknown extern function enable_irq [2022-11-25 22:28:59,214 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,215 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:28:59,241 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,242 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,242 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:59,242 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,243 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,244 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,244 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,250 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:59,251 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,251 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,252 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,253 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,254 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,255 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,255 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,256 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,256 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:28:59,256 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,257 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,258 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,258 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,259 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,260 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,261 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,261 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,262 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,262 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,263 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,264 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,264 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,265 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,265 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,265 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,266 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,266 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,268 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:28:59,268 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:28:59,269 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,270 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:28:59,271 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,272 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:28:59,272 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:28:59,272 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,273 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:28:59,273 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:28:59,274 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:28:59,275 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:28:59,275 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:28:59,276 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:28:59,336 WARN L623 FunctionHandler]: Unknown extern function ldv_check_alloc_flags [2022-11-25 22:28:59,337 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 22:28:59,348 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:29:00,068 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_f2c49b36-5b8d-498e-8c58-6679c6e64c95/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i[491234,491247] [2022-11-25 22:29:00,078 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_f2c49b36-5b8d-498e-8c58-6679c6e64c95/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i[491403,491416] [2022-11-25 22:29:00,079 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_f2c49b36-5b8d-498e-8c58-6679c6e64c95/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i[491570,491583] [2022-11-25 22:29:00,080 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_f2c49b36-5b8d-498e-8c58-6679c6e64c95/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i[491738,491751] [2022-11-25 22:29:00,081 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,082 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,088 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,112 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,115 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 22:29:00,180 INFO L203 MainTranslator]: Completed pre-run [2022-11-25 22:29:00,333 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,339 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,340 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,342 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,343 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,345 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,346 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,354 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,356 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,358 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,359 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,359 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,359 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,359 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,360 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,360 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,361 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,361 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,361 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,361 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,362 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,362 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,362 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,363 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,364 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-11-25 22:29:00,365 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-11-25 22:29:00,372 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 22:29:00,373 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 22:29:00,373 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 22:29:00,374 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 22:29:00,376 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_cpu [2022-11-25 22:29:00,377 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_device [2022-11-25 22:29:00,377 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-11-25 22:29:00,379 WARN L623 FunctionHandler]: Unknown extern function __netdev_alloc_skb [2022-11-25 22:29:00,380 WARN L623 FunctionHandler]: Unknown extern function __napi_schedule [2022-11-25 22:29:00,381 WARN L623 FunctionHandler]: Unknown extern function netpoll_trap [2022-11-25 22:29:00,381 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-11-25 22:29:00,382 WARN L623 FunctionHandler]: Unknown extern function __dev_kfree_skb_irq [2022-11-25 22:29:00,384 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,384 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,385 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,386 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,386 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,387 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,388 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,388 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,388 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,389 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,392 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 22:29:00,393 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,393 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,396 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,397 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,398 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,398 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,399 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,400 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:29:00,402 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,403 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 22:29:00,404 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 22:29:00,405 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 22:29:00,405 WARN L623 FunctionHandler]: Unknown extern function eth_type_trans [2022-11-25 22:29:00,406 WARN L623 FunctionHandler]: Unknown extern function netif_receive_skb [2022-11-25 22:29:00,407 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,407 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,408 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,409 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 22:29:00,409 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,415 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-11-25 22:29:00,417 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,418 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,418 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,420 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,420 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,424 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,426 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 22:29:00,427 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,428 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:29:00,429 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,429 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,430 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,430 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,431 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 22:29:00,432 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,432 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 22:29:00,432 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,433 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:29:00,433 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,434 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,434 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,435 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,435 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,435 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,436 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,437 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,438 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,439 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:29:00,440 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:29:00,440 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-11-25 22:29:00,442 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,443 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,443 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,443 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,444 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,445 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,445 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,446 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,447 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,448 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,448 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,449 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,449 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,450 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,450 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,450 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,450 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,451 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,451 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,451 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,451 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,452 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,452 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,452 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,454 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,454 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,456 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,457 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,457 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,458 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,458 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,458 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,458 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,459 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,459 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,459 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,460 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,460 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,460 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,460 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,461 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,465 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,465 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,466 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,468 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,468 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,470 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,471 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,471 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,472 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,472 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,472 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,473 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,473 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,474 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,474 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,474 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,475 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,476 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,477 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,477 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,477 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,478 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,478 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,479 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,479 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,479 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,480 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,480 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,480 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,481 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,482 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,484 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,484 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,485 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,486 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,486 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,488 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,488 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,488 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,489 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,489 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,489 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,489 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,490 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,490 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,490 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,491 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,492 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,492 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,493 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,493 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,495 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,496 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,497 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,500 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,501 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:29:00,502 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,503 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,503 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:29:00,504 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:29:00,504 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,505 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,505 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,505 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,507 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,507 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,508 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,508 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,508 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,511 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,512 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,512 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,512 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,513 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,513 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,513 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,516 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,516 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,518 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,519 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,520 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,521 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 22:29:00,521 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 22:29:00,522 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,523 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 22:29:00,523 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 22:29:00,525 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,525 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,526 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,527 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 22:29:00,527 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 22:29:00,527 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:29:00,528 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:29:00,528 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:29:00,529 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:29:00,532 WARN L623 FunctionHandler]: Unknown extern function queue_work_on [2022-11-25 22:29:00,535 WARN L623 FunctionHandler]: Unknown extern function debug_dma_alloc_coherent [2022-11-25 22:29:00,536 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 22:29:00,536 WARN L623 FunctionHandler]: Unknown extern function debug_dma_free_coherent [2022-11-25 22:29:00,537 WARN L623 FunctionHandler]: Unknown extern function __might_sleep [2022-11-25 22:29:00,537 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:29:00,538 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 22:29:00,539 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,580 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_byte [2022-11-25 22:29:00,582 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-11-25 22:29:00,583 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-11-25 22:29:00,585 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-11-25 22:29:00,587 WARN L623 FunctionHandler]: Unknown extern function __pci_enable_wake [2022-11-25 22:29:00,589 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,590 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,590 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,590 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,591 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,591 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,591 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,594 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,594 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,594 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-11-25 22:29:00,602 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,602 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,602 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,603 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,603 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,604 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,604 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,604 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,605 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,605 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,605 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,606 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,606 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,606 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,606 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,607 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,612 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,613 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,614 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,615 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,615 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,615 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,616 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,616 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,616 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,617 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,617 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,617 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,617 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,618 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,618 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,619 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,619 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,619 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,620 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-11-25 22:29:00,620 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,621 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-11-25 22:29:00,621 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,621 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-11-25 22:29:00,621 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,622 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,622 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,623 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,623 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,623 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,624 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,624 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,625 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,625 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,625 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,625 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,626 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:29:00,626 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:29:00,628 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:29:00,629 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,629 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,629 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,630 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,630 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,630 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:29:00,631 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,631 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,631 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,631 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,632 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:29:00,632 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,632 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,633 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 22:29:00,642 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,645 WARN L623 FunctionHandler]: Unknown extern function cancel_work_sync [2022-11-25 22:29:00,645 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,645 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,645 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,646 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:29:00,647 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 22:29:00,648 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-11-25 22:29:00,649 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,650 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,650 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,651 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 22:29:00,652 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 22:29:00,652 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-11-25 22:29:00,652 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-11-25 22:29:00,655 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,655 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,657 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,660 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-11-25 22:29:00,666 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,667 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-11-25 22:29:00,668 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-11-25 22:29:00,668 WARN L623 FunctionHandler]: Unknown extern function bitrev32 [2022-11-25 22:29:00,669 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-11-25 22:29:00,669 WARN L623 FunctionHandler]: Unknown extern function bitrev32 [2022-11-25 22:29:00,669 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,670 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,670 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,671 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,671 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,671 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,671 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,674 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,675 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,676 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,677 WARN L623 FunctionHandler]: Unknown extern function pci_try_set_mwi [2022-11-25 22:29:00,677 WARN L623 FunctionHandler]: Unknown extern function pci_clear_mwi [2022-11-25 22:29:00,678 WARN L623 FunctionHandler]: Unknown extern function pci_clear_mwi [2022-11-25 22:29:00,679 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,681 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,682 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,682 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-11-25 22:29:00,683 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 22:29:00,683 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,685 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,686 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-11-25 22:29:00,686 WARN L623 FunctionHandler]: Unknown extern function pci_iomap [2022-11-25 22:29:00,687 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,688 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 22:29:00,688 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 22:29:00,688 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:29:00,688 WARN L623 FunctionHandler]: Unknown extern function __init_work [2022-11-25 22:29:00,689 WARN L623 FunctionHandler]: Unknown extern function lockdep_init_map [2022-11-25 22:29:00,690 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-11-25 22:29:00,690 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,690 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,690 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,691 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,691 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,696 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,698 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-11-25 22:29:00,700 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-11-25 22:29:00,700 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,701 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,702 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,702 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,702 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,703 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,703 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,703 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,704 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,705 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,705 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,706 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,706 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,706 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,706 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,707 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,707 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,707 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,707 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 22:29:00,708 WARN L623 FunctionHandler]: Unknown extern function pci_iounmap [2022-11-25 22:29:00,708 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 22:29:00,710 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,710 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,710 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,711 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,712 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-11-25 22:29:00,713 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-11-25 22:29:00,713 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 22:29:00,713 WARN L623 FunctionHandler]: Unknown extern function pci_choose_state [2022-11-25 22:29:00,714 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,714 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 22:29:00,715 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-11-25 22:29:00,715 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-11-25 22:29:00,715 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 22:29:00,716 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,716 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,716 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,717 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,717 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-11-25 22:29:00,718 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 22:29:00,718 WARN L623 FunctionHandler]: Unknown extern function pci_iounmap [2022-11-25 22:29:00,718 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 22:29:00,719 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 22:29:00,719 WARN L623 FunctionHandler]: Unknown extern function disable_irq [2022-11-25 22:29:00,719 WARN L623 FunctionHandler]: Unknown extern function enable_irq [2022-11-25 22:29:00,720 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:29:00,726 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,726 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,727 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,727 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,727 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,727 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,728 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,728 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,728 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,728 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,729 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,729 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,729 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,731 WARN L623 FunctionHandler]: Unknown extern function eth_mac_addr [2022-11-25 22:29:00,731 WARN L623 FunctionHandler]: Unknown extern function eth_validate_addr [2022-11-25 22:29:00,732 WARN L623 FunctionHandler]: Unknown extern function eth_change_mtu [2022-11-25 22:29:00,734 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 22:29:00,737 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 22:29:00,737 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 22:29:00,743 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 22:29:00,744 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_register_netdev [2022-11-25 22:29:00,753 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 22:29:00,753 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 22:29:00,758 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:29:00,758 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:29:00,758 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:29:00,759 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:29:00,759 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:29:00,760 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 22:29:00,760 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:29:00,760 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:29:00,761 WARN L623 FunctionHandler]: Unknown extern function alloc_etherdev_mqs [2022-11-25 22:29:00,761 WARN L623 FunctionHandler]: Unknown extern function register_netdev [2022-11-25 22:29:00,761 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-11-25 22:29:00,762 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 22:29:00,763 WARN L623 FunctionHandler]: Unknown extern function unregister_netdev [2022-11-25 22:29:00,763 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-11-25 22:29:00,763 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-11-25 22:29:00,764 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-11-25 22:29:00,764 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,765 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,765 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,765 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,766 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,767 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,767 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,767 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,768 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,769 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,769 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,770 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-11-25 22:29:00,770 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-11-25 22:29:00,770 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,771 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,771 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,772 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,772 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,772 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-11-25 22:29:00,773 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,773 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,774 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,774 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-11-25 22:29:00,774 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,775 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,775 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,777 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,778 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,778 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,778 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,778 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,779 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,779 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,780 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-11-25 22:29:00,780 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,781 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,781 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,782 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,783 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,784 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,785 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,786 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,786 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,787 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,788 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:29:00,788 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,789 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:29:00,789 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,790 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,790 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,791 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,791 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,792 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,792 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,794 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:29:00,794 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:29:00,795 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:29:00,795 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_irq [2022-11-25 22:29:00,795 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irq [2022-11-25 22:29:00,796 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,796 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,797 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,797 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,798 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,798 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,799 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,799 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,800 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,801 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,801 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,802 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,803 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,804 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,804 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,805 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,805 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,806 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,806 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,806 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,806 WARN L623 FunctionHandler]: Unknown extern function dev_trans_start [2022-11-25 22:29:00,807 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,807 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,807 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,808 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,808 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,809 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,810 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,811 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,811 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,811 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,812 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,813 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,814 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,814 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,814 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,815 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,816 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,816 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,816 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,817 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,818 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,818 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,818 WARN L623 FunctionHandler]: Unknown extern function disable_irq [2022-11-25 22:29:00,819 WARN L623 FunctionHandler]: Unknown extern function enable_irq [2022-11-25 22:29:00,819 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,820 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:29:00,821 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,821 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,821 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,822 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,823 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,823 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,823 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,824 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,824 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,825 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,826 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,828 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,828 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,829 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,830 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,830 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,830 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:29:00,831 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,831 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,832 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,833 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,833 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,834 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,835 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,835 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,836 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,836 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,837 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,838 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,838 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,838 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,839 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,839 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,840 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,840 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,842 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-11-25 22:29:00,842 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:29:00,843 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,844 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:29:00,844 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,845 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-11-25 22:29:00,845 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 22:29:00,846 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,846 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-11-25 22:29:00,846 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-11-25 22:29:00,847 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:29:00,848 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:29:00,848 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:29:00,849 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:29:00,851 WARN L623 FunctionHandler]: Unknown extern function ldv_check_alloc_flags [2022-11-25 22:29:00,852 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 22:29:00,852 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:29:00,872 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_f2c49b36-5b8d-498e-8c58-6679c6e64c95/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i[491234,491247] [2022-11-25 22:29:00,872 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_f2c49b36-5b8d-498e-8c58-6679c6e64c95/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i[491403,491416] [2022-11-25 22:29:00,873 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_f2c49b36-5b8d-498e-8c58-6679c6e64c95/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i[491570,491583] [2022-11-25 22:29:00,873 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_f2c49b36-5b8d-498e-8c58-6679c6e64c95/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i[491738,491751] [2022-11-25 22:29:00,874 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,948 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,950 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,954 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 22:29:00,955 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 22:29:01,178 INFO L208 MainTranslator]: Completed translation [2022-11-25 22:29:01,179 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01 WrapperNode [2022-11-25 22:29:01,179 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-25 22:29:01,180 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2022-11-25 22:29:01,180 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2022-11-25 22:29:01,180 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2022-11-25 22:29:01,188 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:01,373 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:01,727 INFO L138 Inliner]: procedures = 567, calls = 5350, calls flagged for inlining = 289, calls inlined = 261, statements flattened = 11739 [2022-11-25 22:29:01,728 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2022-11-25 22:29:01,729 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2022-11-25 22:29:01,729 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2022-11-25 22:29:01,729 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2022-11-25 22:29:01,739 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:01,739 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:01,805 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:01,806 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:02,150 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:02,270 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:02,305 INFO L185 PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:02,330 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:02,392 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2022-11-25 22:29:02,393 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2022-11-25 22:29:02,394 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2022-11-25 22:29:02,394 INFO L275 PluginConnector]: RCFGBuilder initialized [2022-11-25 22:29:02,395 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (1/1) ... [2022-11-25 22:29:02,401 INFO L173 SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 22:29:02,412 INFO L189 MonitoredProcess]: No working directory specified, using /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/z3 [2022-11-25 22:29:02,429 INFO L229 MonitoredProcess]: Starting monitored process 1 with /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2022-11-25 22:29:02,455 INFO L327 MonitoredProcess]: [MP /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_f2c49b36-5b8d-498e-8c58-6679c6e64c95/bin/utaipan-ByfvJB40ur/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process [2022-11-25 22:29:02,470 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_up [2022-11-25 22:29:02,471 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_up [2022-11-25 22:29:02,471 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_media_task [2022-11-25 22:29:02,472 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_media_task [2022-11-25 22:29:02,472 INFO L130 BoogieDeclarations]: Found specification of procedure pci_release_regions [2022-11-25 22:29:02,472 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_release_regions [2022-11-25 22:29:02,472 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.meminit [2022-11-25 22:29:02,472 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.meminit [2022-11-25 22:29:02,472 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_alloc_skb [2022-11-25 22:29:02,472 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_alloc_skb [2022-11-25 22:29:02,472 INFO L130 BoogieDeclarations]: Found specification of procedure netif_wake_queue [2022-11-25 22:29:02,473 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_wake_queue [2022-11-25 22:29:02,473 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_select_media [2022-11-25 22:29:02,473 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_select_media [2022-11-25 22:29:02,473 INFO L130 BoogieDeclarations]: Found specification of procedure __set_bit_le [2022-11-25 22:29:02,473 INFO L138 BoogieDeclarations]: Found implementation of procedure __set_bit_le [2022-11-25 22:29:02,473 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_malloc [2022-11-25 22:29:02,473 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_malloc [2022-11-25 22:29:02,474 INFO L130 BoogieDeclarations]: Found specification of procedure free_irq [2022-11-25 22:29:02,474 INFO L138 BoogieDeclarations]: Found implementation of procedure free_irq [2022-11-25 22:29:02,474 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lock [2022-11-25 22:29:02,474 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lock [2022-11-25 22:29:02,474 INFO L130 BoogieDeclarations]: Found specification of procedure valid_dma_direction [2022-11-25 22:29:02,474 INFO L138 BoogieDeclarations]: Found implementation of procedure valid_dma_direction [2022-11-25 22:29:02,474 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_on [2022-11-25 22:29:02,474 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_on [2022-11-25 22:29:02,475 INFO L130 BoogieDeclarations]: Found specification of procedure clear_bit [2022-11-25 22:29:02,475 INFO L138 BoogieDeclarations]: Found implementation of procedure clear_bit [2022-11-25 22:29:02,475 INFO L130 BoogieDeclarations]: Found specification of procedure iowrite16 [2022-11-25 22:29:02,475 INFO L138 BoogieDeclarations]: Found implementation of procedure iowrite16 [2022-11-25 22:29:02,476 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_irqrestore_61 [2022-11-25 22:29:02,476 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_irqrestore_61 [2022-11-25 22:29:02,476 INFO L130 BoogieDeclarations]: Found specification of procedure ioread32 [2022-11-25 22:29:02,476 INFO L138 BoogieDeclarations]: Found implementation of procedure ioread32 [2022-11-25 22:29:02,476 INFO L130 BoogieDeclarations]: Found specification of procedure pci_name [2022-11-25 22:29:02,476 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_name [2022-11-25 22:29:02,476 INFO L130 BoogieDeclarations]: Found specification of procedure crc32_le [2022-11-25 22:29:02,477 INFO L138 BoogieDeclarations]: Found implementation of procedure crc32_le [2022-11-25 22:29:02,477 INFO L130 BoogieDeclarations]: Found specification of procedure spinlock_check [2022-11-25 22:29:02,477 INFO L138 BoogieDeclarations]: Found implementation of procedure spinlock_check [2022-11-25 22:29:02,477 INFO L130 BoogieDeclarations]: Found specification of procedure pci_get_drvdata [2022-11-25 22:29:02,477 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_get_drvdata [2022-11-25 22:29:02,477 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_xmalloc [2022-11-25 22:29:02,477 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_xmalloc [2022-11-25 22:29:02,477 INFO L130 BoogieDeclarations]: Found specification of procedure pnic_do_nway [2022-11-25 22:29:02,478 INFO L138 BoogieDeclarations]: Found implementation of procedure pnic_do_nway [2022-11-25 22:29:02,478 INFO L130 BoogieDeclarations]: Found specification of procedure strlcpy [2022-11-25 22:29:02,478 INFO L138 BoogieDeclarations]: Found implementation of procedure strlcpy [2022-11-25 22:29:02,478 INFO L130 BoogieDeclarations]: Found specification of procedure iowrite32 [2022-11-25 22:29:02,478 INFO L138 BoogieDeclarations]: Found implementation of procedure iowrite32 [2022-11-25 22:29:02,478 INFO L130 BoogieDeclarations]: Found specification of procedure eth_validate_addr [2022-11-25 22:29:02,478 INFO L138 BoogieDeclarations]: Found implementation of procedure eth_validate_addr [2022-11-25 22:29:02,479 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_is_err [2022-11-25 22:29:02,479 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_is_err [2022-11-25 22:29:02,479 INFO L130 BoogieDeclarations]: Found specification of procedure spin_unlock_irqrestore [2022-11-25 22:29:02,479 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_unlock_irqrestore [2022-11-25 22:29:02,479 INFO L130 BoogieDeclarations]: Found specification of procedure pci_unmap_single [2022-11-25 22:29:02,479 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_unmap_single [2022-11-25 22:29:02,479 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2022-11-25 22:29:02,480 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_set_wolopts [2022-11-25 22:29:02,480 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_set_wolopts [2022-11-25 22:29:02,480 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_61 [2022-11-25 22:29:02,480 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_61 [2022-11-25 22:29:02,480 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_resume [2022-11-25 22:29:02,480 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_resume [2022-11-25 22:29:02,481 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_del_timer_sync [2022-11-25 22:29:02,481 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_del_timer_sync [2022-11-25 22:29:02,481 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_interrupt [2022-11-25 22:29:02,481 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_interrupt [2022-11-25 22:29:02,481 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_get_tx_queue [2022-11-25 22:29:02,481 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_get_tx_queue [2022-11-25 22:29:02,481 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx___3 [2022-11-25 22:29:02,482 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx___3 [2022-11-25 22:29:02,482 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx___1 [2022-11-25 22:29:02,482 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx___1 [2022-11-25 22:29:02,482 INFO L130 BoogieDeclarations]: Found specification of procedure t21142_media_task [2022-11-25 22:29:02,482 INFO L138 BoogieDeclarations]: Found implementation of procedure t21142_media_task [2022-11-25 22:29:02,482 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~int [2022-11-25 22:29:02,482 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx___5 [2022-11-25 22:29:02,482 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx___5 [2022-11-25 22:29:02,483 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx___4 [2022-11-25 22:29:02,483 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx___4 [2022-11-25 22:29:02,483 INFO L130 BoogieDeclarations]: Found specification of procedure get_dma_ops [2022-11-25 22:29:02,483 INFO L138 BoogieDeclarations]: Found implementation of procedure get_dma_ops [2022-11-25 22:29:02,483 INFO L130 BoogieDeclarations]: Found specification of procedure __raw_spin_lock_init [2022-11-25 22:29:02,483 INFO L138 BoogieDeclarations]: Found implementation of procedure __raw_spin_lock_init [2022-11-25 22:29:02,483 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~int [2022-11-25 22:29:02,484 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assume [2022-11-25 22:29:02,484 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assume [2022-11-25 22:29:02,484 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2022-11-25 22:29:02,484 INFO L130 BoogieDeclarations]: Found specification of procedure set_rx_mode [2022-11-25 22:29:02,484 INFO L138 BoogieDeclarations]: Found implementation of procedure set_rx_mode [2022-11-25 22:29:02,484 INFO L130 BoogieDeclarations]: Found specification of procedure __phys_addr [2022-11-25 22:29:02,484 INFO L138 BoogieDeclarations]: Found implementation of procedure __phys_addr [2022-11-25 22:29:02,484 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memcpy [2022-11-25 22:29:02,485 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memcpy [2022-11-25 22:29:02,485 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_to_interrupt_context [2022-11-25 22:29:02,485 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_to_interrupt_context [2022-11-25 22:29:02,485 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_dev_set_drvdata [2022-11-25 22:29:02,485 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_dev_set_drvdata [2022-11-25 22:29:02,485 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_err_code [2022-11-25 22:29:02,485 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_err_code [2022-11-25 22:29:02,486 INFO L130 BoogieDeclarations]: Found specification of procedure pnic_timer [2022-11-25 22:29:02,486 INFO L138 BoogieDeclarations]: Found implementation of procedure pnic_timer [2022-11-25 22:29:02,486 INFO L130 BoogieDeclarations]: Found specification of procedure pci_free_consistent [2022-11-25 22:29:02,486 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_free_consistent [2022-11-25 22:29:02,486 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_device [2022-11-25 22:29:02,486 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_device [2022-11-25 22:29:02,486 INFO L130 BoogieDeclarations]: Found specification of procedure poll_tulip [2022-11-25 22:29:02,486 INFO L138 BoogieDeclarations]: Found implementation of procedure poll_tulip [2022-11-25 22:29:02,487 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_mdio_write [2022-11-25 22:29:02,487 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_mdio_write [2022-11-25 22:29:02,487 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_locked_at_exit [2022-11-25 22:29:02,487 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_locked_at_exit [2022-11-25 22:29:02,487 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2022-11-25 22:29:02,487 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_1 [2022-11-25 22:29:02,488 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_1 [2022-11-25 22:29:02,488 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_0 [2022-11-25 22:29:02,488 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_0 [2022-11-25 22:29:02,488 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_2 [2022-11-25 22:29:02,488 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_2 [2022-11-25 22:29:02,488 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mod_timer [2022-11-25 22:29:02,488 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mod_timer [2022-11-25 22:29:02,489 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit [2022-11-25 22:29:02,489 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_int [2022-11-25 22:29:02,489 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_int [2022-11-25 22:29:02,489 INFO L130 BoogieDeclarations]: Found specification of procedure __const_udelay [2022-11-25 22:29:02,489 INFO L138 BoogieDeclarations]: Found implementation of procedure __const_udelay [2022-11-25 22:29:02,489 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2022-11-25 22:29:02,489 INFO L130 BoogieDeclarations]: Found specification of procedure t21142_start_nway [2022-11-25 22:29:02,490 INFO L138 BoogieDeclarations]: Found implementation of procedure t21142_start_nway [2022-11-25 22:29:02,490 INFO L130 BoogieDeclarations]: Found specification of procedure pci_read_config_dword [2022-11-25 22:29:02,490 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_read_config_dword [2022-11-25 22:29:02,490 INFO L130 BoogieDeclarations]: Found specification of procedure ioread16 [2022-11-25 22:29:02,490 INFO L138 BoogieDeclarations]: Found implementation of procedure ioread16 [2022-11-25 22:29:02,490 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~VOID [2022-11-25 22:29:02,490 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~VOID [2022-11-25 22:29:02,490 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_lock_of_tulip_private [2022-11-25 22:29:02,491 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_lock_of_tulip_private [2022-11-25 22:29:02,491 INFO L130 BoogieDeclarations]: Found specification of procedure mod_timer [2022-11-25 22:29:02,491 INFO L138 BoogieDeclarations]: Found implementation of procedure mod_timer [2022-11-25 22:29:02,491 INFO L130 BoogieDeclarations]: Found specification of procedure __ldv_spin_lock [2022-11-25 22:29:02,491 INFO L138 BoogieDeclarations]: Found implementation of procedure __ldv_spin_lock [2022-11-25 22:29:02,491 INFO L130 BoogieDeclarations]: Found specification of procedure warn_slowpath_null [2022-11-25 22:29:02,491 INFO L138 BoogieDeclarations]: Found implementation of procedure warn_slowpath_null [2022-11-25 22:29:02,492 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free_netdev [2022-11-25 22:29:02,492 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free_netdev [2022-11-25 22:29:02,492 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_mii_lock_of_tulip_private [2022-11-25 22:29:02,492 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_mii_lock_of_tulip_private [2022-11-25 22:29:02,492 INFO L130 BoogieDeclarations]: Found specification of procedure set_bit [2022-11-25 22:29:02,492 INFO L138 BoogieDeclarations]: Found implementation of procedure set_bit [2022-11-25 22:29:02,492 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_lock_of_tulip_private [2022-11-25 22:29:02,492 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_lock_of_tulip_private [2022-11-25 22:29:02,493 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2022-11-25 22:29:02,493 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2022-11-25 22:29:02,493 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_close [2022-11-25 22:29:02,493 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_close [2022-11-25 22:29:02,493 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$ [2022-11-25 22:29:02,493 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$ [2022-11-25 22:29:02,493 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_stop [2022-11-25 22:29:02,493 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_stop [2022-11-25 22:29:02,494 INFO L130 BoogieDeclarations]: Found specification of procedure napi_schedule [2022-11-25 22:29:02,494 INFO L138 BoogieDeclarations]: Found implementation of procedure napi_schedule [2022-11-25 22:29:02,494 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlock [2022-11-25 22:29:02,494 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlock [2022-11-25 22:29:02,494 INFO L130 BoogieDeclarations]: Found specification of procedure request_irq [2022-11-25 22:29:02,494 INFO L138 BoogieDeclarations]: Found implementation of procedure request_irq [2022-11-25 22:29:02,494 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_set_power_state [2022-11-25 22:29:02,495 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_set_power_state [2022-11-25 22:29:02,495 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_off [2022-11-25 22:29:02,495 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_off [2022-11-25 22:29:02,495 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_EMGentry_exit_tulip_cleanup_19_2 [2022-11-25 22:29:02,495 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_EMGentry_exit_tulip_cleanup_19_2 [2022-11-25 22:29:02,495 INFO L130 BoogieDeclarations]: Found specification of procedure disable_irq [2022-11-25 22:29:02,495 INFO L138 BoogieDeclarations]: Found implementation of procedure disable_irq [2022-11-25 22:29:02,495 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_to_process_context [2022-11-25 22:29:02,496 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_to_process_context [2022-11-25 22:29:02,496 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_tx_timeout [2022-11-25 22:29:02,496 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_tx_timeout [2022-11-25 22:29:02,496 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_check_duplex [2022-11-25 22:29:02,496 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_check_duplex [2022-11-25 22:29:02,496 INFO L130 BoogieDeclarations]: Found specification of procedure pci_map_single [2022-11-25 22:29:02,496 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_map_single [2022-11-25 22:29:02,496 INFO L130 BoogieDeclarations]: Found specification of procedure bitrev32 [2022-11-25 22:29:02,497 INFO L138 BoogieDeclarations]: Found implementation of procedure bitrev32 [2022-11-25 22:29:02,497 INFO L130 BoogieDeclarations]: Found specification of procedure put_unaligned_le16 [2022-11-25 22:29:02,497 INFO L138 BoogieDeclarations]: Found implementation of procedure put_unaligned_le16 [2022-11-25 22:29:02,497 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memset [2022-11-25 22:29:02,497 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memset [2022-11-25 22:29:02,497 INFO L130 BoogieDeclarations]: Found specification of procedure netif_stop_queue [2022-11-25 22:29:02,497 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_stop_queue [2022-11-25 22:29:02,498 INFO L130 BoogieDeclarations]: Found specification of procedure comet_timer [2022-11-25 22:29:02,498 INFO L138 BoogieDeclarations]: Found implementation of procedure comet_timer [2022-11-25 22:29:02,498 INFO L130 BoogieDeclarations]: Found specification of procedure get_unaligned_le16 [2022-11-25 22:29:02,498 INFO L138 BoogieDeclarations]: Found implementation of procedure get_unaligned_le16 [2022-11-25 22:29:02,498 INFO L130 BoogieDeclarations]: Found specification of procedure consume_skb [2022-11-25 22:29:02,498 INFO L138 BoogieDeclarations]: Found implementation of procedure consume_skb [2022-11-25 22:29:02,498 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2022-11-25 22:29:02,498 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_mdio_read [2022-11-25 22:29:02,499 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_mdio_read [2022-11-25 22:29:02,499 INFO L130 BoogieDeclarations]: Found specification of procedure netif_running [2022-11-25 22:29:02,499 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_running [2022-11-25 22:29:02,499 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2022-11-25 22:29:02,499 INFO L130 BoogieDeclarations]: Found specification of procedure add_timer [2022-11-25 22:29:02,499 INFO L138 BoogieDeclarations]: Found implementation of procedure add_timer [2022-11-25 22:29:02,499 INFO L130 BoogieDeclarations]: Found specification of procedure pci_enable_wake [2022-11-25 22:29:02,500 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_enable_wake [2022-11-25 22:29:02,500 INFO L130 BoogieDeclarations]: Found specification of procedure pci_clear_mwi [2022-11-25 22:29:02,500 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_clear_mwi [2022-11-25 22:29:02,500 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2022-11-25 22:29:02,500 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_down [2022-11-25 22:29:02,500 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_down [2022-11-25 22:29:02,500 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_stop_rxtx___2 [2022-11-25 22:29:02,500 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_stop_rxtx___2 [2022-11-25 22:29:02,501 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_remove_one [2022-11-25 22:29:02,501 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_remove_one [2022-11-25 22:29:02,501 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_priv [2022-11-25 22:29:02,501 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_priv [2022-11-25 22:29:02,501 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_request_irq [2022-11-25 22:29:02,501 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_request_irq [2022-11-25 22:29:02,501 INFO L130 BoogieDeclarations]: Found specification of procedure mxic_timer [2022-11-25 22:29:02,501 INFO L138 BoogieDeclarations]: Found implementation of procedure mxic_timer [2022-11-25 22:29:02,502 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_positive_int [2022-11-25 22:29:02,502 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_positive_int [2022-11-25 22:29:02,502 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free_irq [2022-11-25 22:29:02,502 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free_irq [2022-11-25 22:29:02,502 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_free_ring [2022-11-25 22:29:02,502 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_free_ring [2022-11-25 22:29:02,502 INFO L130 BoogieDeclarations]: Found specification of procedure dev_kfree_skb_irq [2022-11-25 22:29:02,503 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_kfree_skb_irq [2022-11-25 22:29:02,503 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_refill_rx [2022-11-25 22:29:02,503 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_refill_rx [2022-11-25 22:29:02,503 INFO L130 BoogieDeclarations]: Found specification of procedure pnic2_timer [2022-11-25 22:29:02,503 INFO L138 BoogieDeclarations]: Found implementation of procedure pnic2_timer [2022-11-25 22:29:02,503 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_start_queue [2022-11-25 22:29:02,503 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_start_queue [2022-11-25 22:29:02,503 INFO L130 BoogieDeclarations]: Found specification of procedure free_netdev [2022-11-25 22:29:02,504 INFO L138 BoogieDeclarations]: Found implementation of procedure free_netdev [2022-11-25 22:29:02,504 INFO L130 BoogieDeclarations]: Found specification of procedure del_timer_sync [2022-11-25 22:29:02,504 INFO L138 BoogieDeclarations]: Found implementation of procedure del_timer_sync [2022-11-25 22:29:02,504 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_62 [2022-11-25 22:29:02,504 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_62 [2022-11-25 22:29:02,504 INFO L130 BoogieDeclarations]: Found specification of procedure constant_test_bit [2022-11-25 22:29:02,504 INFO L138 BoogieDeclarations]: Found implementation of procedure constant_test_bit [2022-11-25 22:29:02,504 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2022-11-25 22:29:02,505 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2022-11-25 22:29:02,505 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2022-11-25 22:29:02,505 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx [2022-11-25 22:29:02,505 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx [2022-11-25 22:29:02,505 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2022-11-25 22:29:02,505 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2022-11-25 22:29:02,505 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_irqrestore_61___0 [2022-11-25 22:29:02,506 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_irqrestore_61___0 [2022-11-25 22:29:02,506 INFO L130 BoogieDeclarations]: Found specification of procedure enable_irq [2022-11-25 22:29:02,506 INFO L138 BoogieDeclarations]: Found implementation of procedure enable_irq [2022-11-25 22:29:02,506 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_start_rxtx [2022-11-25 22:29:02,506 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_start_rxtx [2022-11-25 22:29:02,506 INFO L130 BoogieDeclarations]: Found specification of procedure test_and_set_bit [2022-11-25 22:29:02,506 INFO L138 BoogieDeclarations]: Found implementation of procedure test_and_set_bit [2022-11-25 22:29:02,506 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_open [2022-11-25 22:29:02,507 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_open [2022-11-25 22:29:02,507 INFO L130 BoogieDeclarations]: Found specification of procedure pci_enable_device [2022-11-25 22:29:02,507 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_enable_device [2022-11-25 22:29:02,507 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free [2022-11-25 22:29:02,507 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free [2022-11-25 22:29:02,507 INFO L130 BoogieDeclarations]: Found specification of procedure schedule_work [2022-11-25 22:29:02,508 INFO L138 BoogieDeclarations]: Found implementation of procedure schedule_work [2022-11-25 22:29:02,508 INFO L130 BoogieDeclarations]: Found specification of procedure init_timer_key [2022-11-25 22:29:02,508 INFO L138 BoogieDeclarations]: Found implementation of procedure init_timer_key [2022-11-25 22:29:02,508 INFO L130 BoogieDeclarations]: Found specification of procedure pci_iounmap [2022-11-25 22:29:02,508 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_iounmap [2022-11-25 22:29:02,508 INFO L130 BoogieDeclarations]: Found specification of procedure pnic2_start_nway [2022-11-25 22:29:02,508 INFO L138 BoogieDeclarations]: Found implementation of procedure pnic2_start_nway [2022-11-25 22:29:02,508 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_power_state [2022-11-25 22:29:02,509 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_power_state [2022-11-25 22:29:02,509 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_read_eeprom [2022-11-25 22:29:02,509 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_read_eeprom [2022-11-25 22:29:02,509 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2022-11-25 22:29:02,509 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_timer [2022-11-25 22:29:02,509 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_timer [2022-11-25 22:29:02,509 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2022-11-25 22:29:02,509 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2022-11-25 22:29:03,647 INFO L235 CfgBuilder]: Building ICFG [2022-11-25 22:29:03,658 INFO L261 CfgBuilder]: Building CFG for each procedure with an implementation [2022-11-25 22:29:04,944 INFO L769 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_stopFINAL: assume true; [2022-11-25 22:29:14,725 INFO L769 $ProcedureCfgBuilder]: dead code at ProgramPoint ULTIMATE.startFINAL: assume true; [2022-11-25 22:29:14,978 INFO L276 CfgBuilder]: Performing block encoding [2022-11-25 22:29:20,407 INFO L295 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2022-11-25 22:29:20,408 INFO L300 CfgBuilder]: Removed 11 assume(true) statements. [2022-11-25 22:29:20,415 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.11 10:29:20 BoogieIcfgContainer [2022-11-25 22:29:20,415 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2022-11-25 22:29:20,418 INFO L113 PluginConnector]: ------------------------TraceAbstraction---------------------------- [2022-11-25 22:29:20,418 INFO L271 PluginConnector]: Initializing TraceAbstraction... [2022-11-25 22:29:20,422 INFO L275 PluginConnector]: TraceAbstraction initialized [2022-11-25 22:29:20,422 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 25.11 10:28:54" (1/3) ... [2022-11-25 22:29:20,423 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@7eb23d2 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 25.11 10:29:20, skipping insertion in model container [2022-11-25 22:29:20,423 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:29:01" (2/3) ... [2022-11-25 22:29:20,423 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@7eb23d2 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 25.11 10:29:20, skipping insertion in model container [2022-11-25 22:29:20,423 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.11 10:29:20" (3/3) ... [2022-11-25 22:29:20,425 INFO L112 eAbstractionObserver]: Analyzing ICFG linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i [2022-11-25 22:29:20,447 INFO L203 ceAbstractionStarter]: Automizer settings: Hoare:true NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION [2022-11-25 22:29:20,447 INFO L162 ceAbstractionStarter]: Applying trace abstraction to program that has 3 error locations. [2022-11-25 22:29:20,574 INFO L356 AbstractCegarLoop]: ======== Iteration 0 == of CEGAR loop == AllErrorsAtOnce ======== [2022-11-25 22:29:20,583 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;@5ddf73f8, mLbeIndependenceSettings=[IndependenceType=SEMANTIC, AbstractionType=NONE, UseConditional=false, UseSemiCommutativity=true, Solver=Z3, SolverTimeout=1000ms] [2022-11-25 22:29:20,584 INFO L358 AbstractCegarLoop]: Starting to check reachability of 3 error locations. [2022-11-25 22:29:20,600 INFO L276 IsEmpty]: Start isEmpty. Operand has 2631 states, 1546 states have (on average 1.3531694695989651) internal successors, (2092), 1648 states have internal predecessors, (2092), 951 states have call successors, (951), 133 states have call predecessors, (951), 132 states have return successors, (944), 898 states have call predecessors, (944), 944 states have call successors, (944) [2022-11-25 22:29:20,632 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 152 [2022-11-25 22:29:20,636 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 22:29:20,637 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-11-25 22:29:20,638 INFO L420 AbstractCegarLoop]: === Iteration 1 === Targeting ldv_assert_linux_kernel_locking_spinlock__one_thread_locked_at_exitErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlockErr0ASSERT_VIOLATIONERROR_FUNCTION, ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION (and 1 more)] === [2022-11-25 22:29:20,645 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 22:29:20,646 INFO L85 PathProgramCache]: Analyzing trace with hash -1730519790, now seen corresponding path program 1 times [2022-11-25 22:29:20,656 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 22:29:20,661 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [731158453] [2022-11-25 22:29:20,661 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 22:29:20,662 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 22:29:21,310 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-11-25 22:29:22,095 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-11-25 22:29:22,096 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-11-25 22:29:22,096 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [731158453] [2022-11-25 22:29:22,097 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [731158453] provided 1 perfect and 0 imperfect interpolant sequences [2022-11-25 22:29:22,098 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-11-25 22:29:22,098 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-11-25 22:29:22,100 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1201375089] [2022-11-25 22:29:22,102 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-11-25 22:29:22,107 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-11-25 22:29:22,108 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-11-25 22:29:22,153 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-11-25 22:29:22,154 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:29:22,162 INFO L87 Difference]: Start difference. First operand has 2631 states, 1546 states have (on average 1.3531694695989651) internal successors, (2092), 1648 states have internal predecessors, (2092), 951 states have call successors, (951), 133 states have call predecessors, (951), 132 states have return successors, (944), 898 states have call predecessors, (944), 944 states have call successors, (944) Second operand has 3 states, 3 states have (on average 10.666666666666666) internal successors, (32), 3 states have internal predecessors, (32), 3 states have call successors, (18), 2 states have call predecessors, (18), 1 states have return successors, (16), 3 states have call predecessors, (16), 3 states have call successors, (16) [2022-11-25 22:29:28,189 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-11-25 22:29:31,392 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-11-25 22:29:31,865 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-11-25 22:29:31,865 INFO L93 Difference]: Finished difference Result 7755 states and 11961 transitions. [2022-11-25 22:29:31,867 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-11-25 22:29:31,868 INFO L78 Accepts]: Start accepts. Automaton has has 3 states, 3 states have (on average 10.666666666666666) internal successors, (32), 3 states have internal predecessors, (32), 3 states have call successors, (18), 2 states have call predecessors, (18), 1 states have return successors, (16), 3 states have call predecessors, (16), 3 states have call successors, (16) Word has length 151 [2022-11-25 22:29:31,869 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-11-25 22:29:31,914 INFO L225 Difference]: With dead ends: 7755 [2022-11-25 22:29:31,914 INFO L226 Difference]: Without dead ends: 5140 [2022-11-25 22:29:31,936 INFO L412 NwaCegarLoop]: 0 DeclaredPredicates, 3 GetRequests, 2 SyntacticMatches, 0 SemanticMatches, 1 ConstructedPredicates, 0 IntricatePredicates, 0 DeprecatedPredicates, 0 ImplicationChecksByTransitivity, 0.0s TimeCoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:29:31,939 INFO L413 NwaCegarLoop]: 4433 mSDtfsCounter, 3848 mSDsluCounter, 3496 mSDsCounter, 0 mSdLazyCounter, 901 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 8.6s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3848 SdHoareTripleChecker+Valid, 7929 SdHoareTripleChecker+Invalid, 909 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.1s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 901 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 9.1s IncrementalHoareTripleChecker+Time [2022-11-25 22:29:31,940 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3848 Valid, 7929 Invalid, 909 Unknown, 0 Unchecked, 0.1s Time], IncrementalHoareTripleChecker [7 Valid, 901 Invalid, 1 Unknown, 0 Unchecked, 9.1s Time] [2022-11-25 22:29:31,968 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 5140 states. [2022-11-25 22:29:32,510 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 5140 to 5136. [2022-11-25 22:29:32,524 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 5136 states, 3033 states have (on average 1.3504780745136828) internal successors, (4096), 3234 states have internal predecessors, (4096), 1840 states have call successors, (1840), 261 states have call predecessors, (1840), 260 states have return successors, (1836), 1744 states have call predecessors, (1836), 1836 states have call successors, (1836) [2022-11-25 22:29:32,572 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 5136 states to 5136 states and 7772 transitions. [2022-11-25 22:29:32,577 INFO L78 Accepts]: Start accepts. Automaton has 5136 states and 7772 transitions. Word has length 151 [2022-11-25 22:29:32,581 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-11-25 22:29:32,584 INFO L495 AbstractCegarLoop]: Abstraction has 5136 states and 7772 transitions. [2022-11-25 22:29:32,584 INFO L496 AbstractCegarLoop]: INTERPOLANT automaton has has 3 states, 3 states have (on average 10.666666666666666) internal successors, (32), 3 states have internal predecessors, (32), 3 states have call successors, (18), 2 states have call predecessors, (18), 1 states have return successors, (16), 3 states have call predecessors, (16), 3 states have call successors, (16) [2022-11-25 22:29:32,584 INFO L276 IsEmpty]: Start isEmpty. Operand 5136 states and 7772 transitions. [2022-11-25 22:29:32,599 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 160 [2022-11-25 22:29:32,602 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 22:29:32,602 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-11-25 22:29:32,603 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable0 [2022-11-25 22:29:32,603 INFO L420 AbstractCegarLoop]: === Iteration 2 === Targeting ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlockErr0ASSERT_VIOLATIONERROR_FUNCTION, ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION (and 1 more)] === [2022-11-25 22:29:32,604 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 22:29:32,604 INFO L85 PathProgramCache]: Analyzing trace with hash -30103493, now seen corresponding path program 1 times [2022-11-25 22:29:32,604 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 22:29:32,605 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [2015612125] [2022-11-25 22:29:32,607 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 22:29:32,608 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 22:29:32,859 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-11-25 22:29:33,337 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-11-25 22:29:33,338 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-11-25 22:29:33,339 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [2015612125] [2022-11-25 22:29:33,339 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [2015612125] provided 1 perfect and 0 imperfect interpolant sequences [2022-11-25 22:29:33,339 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-11-25 22:29:33,340 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-11-25 22:29:33,340 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1445142858] [2022-11-25 22:29:33,340 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-11-25 22:29:33,343 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-11-25 22:29:33,343 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-11-25 22:29:33,344 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-11-25 22:29:33,345 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:29:33,345 INFO L87 Difference]: Start difference. First operand 5136 states and 7772 transitions. Second operand has 3 states, 3 states have (on average 12.666666666666666) internal successors, (38), 3 states have internal predecessors, (38), 3 states have call successors, (20), 2 states have call predecessors, (20), 1 states have return successors, (16), 3 states have call predecessors, (16), 3 states have call successors, (16) [2022-11-25 22:29:41,082 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-11-25 22:29:41,758 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-11-25 22:29:41,758 INFO L93 Difference]: Finished difference Result 11187 states and 16923 transitions. [2022-11-25 22:29:41,759 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-11-25 22:29:41,759 INFO L78 Accepts]: Start accepts. Automaton has has 3 states, 3 states have (on average 12.666666666666666) internal successors, (38), 3 states have internal predecessors, (38), 3 states have call successors, (20), 2 states have call predecessors, (20), 1 states have return successors, (16), 3 states have call predecessors, (16), 3 states have call successors, (16) Word has length 159 [2022-11-25 22:29:41,760 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-11-25 22:29:41,804 INFO L225 Difference]: With dead ends: 11187 [2022-11-25 22:29:41,805 INFO L226 Difference]: Without dead ends: 6078 [2022-11-25 22:29:41,835 INFO L412 NwaCegarLoop]: 0 DeclaredPredicates, 3 GetRequests, 2 SyntacticMatches, 0 SemanticMatches, 1 ConstructedPredicates, 0 IntricatePredicates, 0 DeprecatedPredicates, 0 ImplicationChecksByTransitivity, 0.0s TimeCoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:29:41,836 INFO L413 NwaCegarLoop]: 4123 mSDtfsCounter, 2642 mSDsluCounter, 3472 mSDsCounter, 0 mSdLazyCounter, 932 mSolverCounterSat, 17 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 7.4s Time, 0 mProtectedPredicate, 0 mProtectedAction, 2642 SdHoareTripleChecker+Valid, 7595 SdHoareTripleChecker+Invalid, 950 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 17 IncrementalHoareTripleChecker+Valid, 932 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 7.8s IncrementalHoareTripleChecker+Time [2022-11-25 22:29:41,837 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [2642 Valid, 7595 Invalid, 950 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [17 Valid, 932 Invalid, 1 Unknown, 0 Unchecked, 7.8s Time] [2022-11-25 22:29:41,846 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 6078 states. [2022-11-25 22:29:42,412 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 6078 to 6052. [2022-11-25 22:29:42,440 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 6052 states, 3612 states have (on average 1.350498338870432) internal successors, (4878), 3833 states have internal predecessors, (4878), 2126 states have call successors, (2126), 313 states have call predecessors, (2126), 311 states have return successors, (2122), 2019 states have call predecessors, (2122), 2122 states have call successors, (2122) [2022-11-25 22:29:42,489 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 6052 states to 6052 states and 9126 transitions. [2022-11-25 22:29:42,491 INFO L78 Accepts]: Start accepts. Automaton has 6052 states and 9126 transitions. Word has length 159 [2022-11-25 22:29:42,494 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-11-25 22:29:42,494 INFO L495 AbstractCegarLoop]: Abstraction has 6052 states and 9126 transitions. [2022-11-25 22:29:42,495 INFO L496 AbstractCegarLoop]: INTERPOLANT automaton has has 3 states, 3 states have (on average 12.666666666666666) internal successors, (38), 3 states have internal predecessors, (38), 3 states have call successors, (20), 2 states have call predecessors, (20), 1 states have return successors, (16), 3 states have call predecessors, (16), 3 states have call successors, (16) [2022-11-25 22:29:42,495 INFO L276 IsEmpty]: Start isEmpty. Operand 6052 states and 9126 transitions. [2022-11-25 22:29:42,501 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 161 [2022-11-25 22:29:42,501 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 22:29:42,502 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-11-25 22:29:42,502 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable1 [2022-11-25 22:29:42,502 INFO L420 AbstractCegarLoop]: === Iteration 3 === Targeting ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlockErr0ASSERT_VIOLATIONERROR_FUNCTION, ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION (and 1 more)] === [2022-11-25 22:29:42,503 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 22:29:42,503 INFO L85 PathProgramCache]: Analyzing trace with hash 1054179623, now seen corresponding path program 1 times [2022-11-25 22:29:42,503 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 22:29:42,503 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [1606005277] [2022-11-25 22:29:42,504 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 22:29:42,504 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 22:29:42,728 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-11-25 22:29:43,107 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-11-25 22:29:43,107 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-11-25 22:29:43,108 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [1606005277] [2022-11-25 22:29:43,108 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [1606005277] provided 1 perfect and 0 imperfect interpolant sequences [2022-11-25 22:29:43,108 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-11-25 22:29:43,108 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-11-25 22:29:43,109 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [626119477] [2022-11-25 22:29:43,109 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-11-25 22:29:43,111 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-11-25 22:29:43,111 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-11-25 22:29:43,112 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-11-25 22:29:43,113 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:29:43,113 INFO L87 Difference]: Start difference. First operand 6052 states and 9126 transitions. Second operand has 3 states, 3 states have (on average 13.666666666666666) internal successors, (41), 3 states have internal predecessors, (41), 3 states have call successors, (18), 2 states have call predecessors, (18), 1 states have return successors, (16), 3 states have call predecessors, (16), 3 states have call successors, (16) [2022-11-25 22:29:48,089 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-11-25 22:29:51,359 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-11-25 22:29:51,359 INFO L93 Difference]: Finished difference Result 15526 states and 23377 transitions. [2022-11-25 22:29:51,359 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-11-25 22:29:51,359 INFO L78 Accepts]: Start accepts. Automaton has has 3 states, 3 states have (on average 13.666666666666666) internal successors, (41), 3 states have internal predecessors, (41), 3 states have call successors, (18), 2 states have call predecessors, (18), 1 states have return successors, (16), 3 states have call predecessors, (16), 3 states have call successors, (16) Word has length 160 [2022-11-25 22:29:51,360 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-11-25 22:29:51,429 INFO L225 Difference]: With dead ends: 15526 [2022-11-25 22:29:51,429 INFO L226 Difference]: Without dead ends: 9501 [2022-11-25 22:29:51,462 INFO L412 NwaCegarLoop]: 0 DeclaredPredicates, 3 GetRequests, 2 SyntacticMatches, 0 SemanticMatches, 1 ConstructedPredicates, 0 IntricatePredicates, 0 DeprecatedPredicates, 0 ImplicationChecksByTransitivity, 0.0s TimeCoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:29:51,463 INFO L413 NwaCegarLoop]: 4358 mSDtfsCounter, 3446 mSDsluCounter, 3466 mSDsCounter, 0 mSdLazyCounter, 915 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 7.3s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3446 SdHoareTripleChecker+Valid, 7824 SdHoareTripleChecker+Invalid, 923 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 915 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 7.7s IncrementalHoareTripleChecker+Time [2022-11-25 22:29:51,464 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3446 Valid, 7824 Invalid, 923 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [7 Valid, 915 Invalid, 1 Unknown, 0 Unchecked, 7.7s Time] [2022-11-25 22:29:51,477 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 9501 states. [2022-11-25 22:29:52,143 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 9501 to 9463. [2022-11-25 22:29:52,161 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 9463 states, 5617 states have (on average 1.3416414456115364) internal successors, (7536), 5966 states have internal predecessors, (7536), 3343 states have call successors, (3343), 503 states have call predecessors, (3343), 500 states have return successors, (3342), 3165 states have call predecessors, (3342), 3339 states have call successors, (3342) [2022-11-25 22:29:52,223 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 9463 states to 9463 states and 14221 transitions. [2022-11-25 22:29:52,227 INFO L78 Accepts]: Start accepts. Automaton has 9463 states and 14221 transitions. Word has length 160 [2022-11-25 22:29:52,228 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-11-25 22:29:52,229 INFO L495 AbstractCegarLoop]: Abstraction has 9463 states and 14221 transitions. [2022-11-25 22:29:52,229 INFO L496 AbstractCegarLoop]: INTERPOLANT automaton has has 3 states, 3 states have (on average 13.666666666666666) internal successors, (41), 3 states have internal predecessors, (41), 3 states have call successors, (18), 2 states have call predecessors, (18), 1 states have return successors, (16), 3 states have call predecessors, (16), 3 states have call successors, (16) [2022-11-25 22:29:52,229 INFO L276 IsEmpty]: Start isEmpty. Operand 9463 states and 14221 transitions. [2022-11-25 22:29:52,234 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 166 [2022-11-25 22:29:52,235 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 22:29:52,235 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-11-25 22:29:52,235 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable2 [2022-11-25 22:29:52,236 INFO L420 AbstractCegarLoop]: === Iteration 4 === Targeting ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlockErr0ASSERT_VIOLATIONERROR_FUNCTION, ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION (and 1 more)] === [2022-11-25 22:29:52,239 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 22:29:52,239 INFO L85 PathProgramCache]: Analyzing trace with hash 1050826470, now seen corresponding path program 1 times [2022-11-25 22:29:52,239 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 22:29:52,240 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [456212362] [2022-11-25 22:29:52,240 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 22:29:52,240 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 22:29:52,509 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-11-25 22:29:52,921 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-11-25 22:29:52,921 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-11-25 22:29:52,922 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [456212362] [2022-11-25 22:29:52,922 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [456212362] provided 1 perfect and 0 imperfect interpolant sequences [2022-11-25 22:29:52,922 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-11-25 22:29:52,922 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-11-25 22:29:52,923 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1435167929] [2022-11-25 22:29:52,923 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-11-25 22:29:52,923 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-11-25 22:29:52,924 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-11-25 22:29:52,924 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-11-25 22:29:52,924 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:29:52,925 INFO L87 Difference]: Start difference. First operand 9463 states and 14221 transitions. Second operand has 3 states, 3 states have (on average 14.333333333333334) internal successors, (43), 3 states have internal predecessors, (43), 3 states have call successors, (20), 2 states have call predecessors, (20), 1 states have return successors, (17), 3 states have call predecessors, (17), 3 states have call successors, (17) [2022-11-25 22:29:59,832 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-11-25 22:30:01,175 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-11-25 22:30:01,176 INFO L93 Difference]: Finished difference Result 26392 states and 39622 transitions. [2022-11-25 22:30:01,176 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-11-25 22:30:01,176 INFO L78 Accepts]: Start accepts. Automaton has has 3 states, 3 states have (on average 14.333333333333334) internal successors, (43), 3 states have internal predecessors, (43), 3 states have call successors, (20), 2 states have call predecessors, (20), 1 states have return successors, (17), 3 states have call predecessors, (17), 3 states have call successors, (17) Word has length 165 [2022-11-25 22:30:01,177 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-11-25 22:30:01,285 INFO L225 Difference]: With dead ends: 26392 [2022-11-25 22:30:01,285 INFO L226 Difference]: Without dead ends: 16956 [2022-11-25 22:30:01,331 INFO L412 NwaCegarLoop]: 0 DeclaredPredicates, 3 GetRequests, 2 SyntacticMatches, 0 SemanticMatches, 1 ConstructedPredicates, 0 IntricatePredicates, 0 DeprecatedPredicates, 0 ImplicationChecksByTransitivity, 0.0s TimeCoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:30:01,335 INFO L413 NwaCegarLoop]: 4479 mSDtfsCounter, 3620 mSDsluCounter, 3495 mSDsCounter, 0 mSdLazyCounter, 941 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 7.1s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3620 SdHoareTripleChecker+Valid, 7974 SdHoareTripleChecker+Invalid, 949 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 941 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 7.5s IncrementalHoareTripleChecker+Time [2022-11-25 22:30:01,336 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3620 Valid, 7974 Invalid, 949 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [7 Valid, 941 Invalid, 1 Unknown, 0 Unchecked, 7.5s Time] [2022-11-25 22:30:01,358 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 16956 states. [2022-11-25 22:30:02,723 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 16956 to 16911. [2022-11-25 22:30:02,747 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 16911 states, 10014 states have (on average 1.3377271819452765) internal successors, (13396), 10654 states have internal predecessors, (13396), 5978 states have call successors, (5978), 921 states have call predecessors, (5978), 916 states have return successors, (5980), 5647 states have call predecessors, (5980), 5974 states have call successors, (5980) [2022-11-25 22:30:02,844 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 16911 states to 16911 states and 25354 transitions. [2022-11-25 22:30:02,849 INFO L78 Accepts]: Start accepts. Automaton has 16911 states and 25354 transitions. Word has length 165 [2022-11-25 22:30:02,850 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-11-25 22:30:02,850 INFO L495 AbstractCegarLoop]: Abstraction has 16911 states and 25354 transitions. [2022-11-25 22:30:02,850 INFO L496 AbstractCegarLoop]: INTERPOLANT automaton has has 3 states, 3 states have (on average 14.333333333333334) internal successors, (43), 3 states have internal predecessors, (43), 3 states have call successors, (20), 2 states have call predecessors, (20), 1 states have return successors, (17), 3 states have call predecessors, (17), 3 states have call successors, (17) [2022-11-25 22:30:02,850 INFO L276 IsEmpty]: Start isEmpty. Operand 16911 states and 25354 transitions. [2022-11-25 22:30:02,855 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 173 [2022-11-25 22:30:02,855 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 22:30:02,855 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-11-25 22:30:02,856 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable3 [2022-11-25 22:30:02,856 INFO L420 AbstractCegarLoop]: === Iteration 5 === Targeting ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlockErr0ASSERT_VIOLATIONERROR_FUNCTION, ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION (and 1 more)] === [2022-11-25 22:30:02,856 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 22:30:02,856 INFO L85 PathProgramCache]: Analyzing trace with hash 1211718805, now seen corresponding path program 1 times [2022-11-25 22:30:02,857 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 22:30:02,857 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [1708131117] [2022-11-25 22:30:02,857 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 22:30:02,857 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 22:30:03,026 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-11-25 22:30:03,428 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-11-25 22:30:03,429 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-11-25 22:30:03,429 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [1708131117] [2022-11-25 22:30:03,429 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [1708131117] provided 1 perfect and 0 imperfect interpolant sequences [2022-11-25 22:30:03,430 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-11-25 22:30:03,430 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-11-25 22:30:03,430 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1080735824] [2022-11-25 22:30:03,430 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-11-25 22:30:03,431 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-11-25 22:30:03,431 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-11-25 22:30:03,432 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-11-25 22:30:03,432 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:30:03,432 INFO L87 Difference]: Start difference. First operand 16911 states and 25354 transitions. Second operand has 3 states, 3 states have (on average 14.333333333333334) internal successors, (43), 3 states have internal predecessors, (43), 3 states have call successors, (24), 2 states have call predecessors, (24), 1 states have return successors, (20), 3 states have call predecessors, (20), 3 states have call successors, (20) [2022-11-25 22:30:09,305 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-11-25 22:30:11,646 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-11-25 22:30:11,646 INFO L93 Difference]: Finished difference Result 47457 states and 71079 transitions. [2022-11-25 22:30:11,647 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-11-25 22:30:11,647 INFO L78 Accepts]: Start accepts. Automaton has has 3 states, 3 states have (on average 14.333333333333334) internal successors, (43), 3 states have internal predecessors, (43), 3 states have call successors, (24), 2 states have call predecessors, (24), 1 states have return successors, (20), 3 states have call predecessors, (20), 3 states have call successors, (20) Word has length 172 [2022-11-25 22:30:11,648 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-11-25 22:30:11,850 INFO L225 Difference]: With dead ends: 47457 [2022-11-25 22:30:11,851 INFO L226 Difference]: Without dead ends: 30573 [2022-11-25 22:30:11,924 INFO L412 NwaCegarLoop]: 0 DeclaredPredicates, 3 GetRequests, 2 SyntacticMatches, 0 SemanticMatches, 1 ConstructedPredicates, 0 IntricatePredicates, 0 DeprecatedPredicates, 0 ImplicationChecksByTransitivity, 0.0s TimeCoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:30:11,925 INFO L413 NwaCegarLoop]: 4682 mSDtfsCounter, 3631 mSDsluCounter, 3480 mSDsCounter, 0 mSdLazyCounter, 952 mSolverCounterSat, 6 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 6.3s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3631 SdHoareTripleChecker+Valid, 8162 SdHoareTripleChecker+Invalid, 959 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 6 IncrementalHoareTripleChecker+Valid, 952 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 6.6s IncrementalHoareTripleChecker+Time [2022-11-25 22:30:11,925 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3631 Valid, 8162 Invalid, 959 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [6 Valid, 952 Invalid, 1 Unknown, 0 Unchecked, 6.6s Time] [2022-11-25 22:30:11,961 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 30573 states. [2022-11-25 22:30:14,374 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 30573 to 30528. [2022-11-25 22:30:14,418 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 30528 states, 18091 states have (on average 1.3360234370681554) internal successors, (24170), 19244 states have internal predecessors, (24170), 10736 states have call successors, (10736), 1715 states have call predecessors, (10736), 1698 states have return successors, (10770), 10116 states have call predecessors, (10770), 10732 states have call successors, (10770) [2022-11-25 22:30:14,583 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 30528 states to 30528 states and 45676 transitions. [2022-11-25 22:30:14,594 INFO L78 Accepts]: Start accepts. Automaton has 30528 states and 45676 transitions. Word has length 172 [2022-11-25 22:30:14,595 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-11-25 22:30:14,595 INFO L495 AbstractCegarLoop]: Abstraction has 30528 states and 45676 transitions. [2022-11-25 22:30:14,595 INFO L496 AbstractCegarLoop]: INTERPOLANT automaton has has 3 states, 3 states have (on average 14.333333333333334) internal successors, (43), 3 states have internal predecessors, (43), 3 states have call successors, (24), 2 states have call predecessors, (24), 1 states have return successors, (20), 3 states have call predecessors, (20), 3 states have call successors, (20) [2022-11-25 22:30:14,596 INFO L276 IsEmpty]: Start isEmpty. Operand 30528 states and 45676 transitions. [2022-11-25 22:30:14,599 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 174 [2022-11-25 22:30:14,599 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 22:30:14,599 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-11-25 22:30:14,599 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable4 [2022-11-25 22:30:14,600 INFO L420 AbstractCegarLoop]: === Iteration 6 === Targeting ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlockErr0ASSERT_VIOLATIONERROR_FUNCTION, ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION (and 1 more)] === [2022-11-25 22:30:14,600 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 22:30:14,600 INFO L85 PathProgramCache]: Analyzing trace with hash 1951855211, now seen corresponding path program 1 times [2022-11-25 22:30:14,600 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 22:30:14,601 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [807262006] [2022-11-25 22:30:14,601 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 22:30:14,601 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 22:30:14,942 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-11-25 22:30:15,540 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-11-25 22:30:15,540 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-11-25 22:30:15,541 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [807262006] [2022-11-25 22:30:15,541 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [807262006] provided 1 perfect and 0 imperfect interpolant sequences [2022-11-25 22:30:15,541 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-11-25 22:30:15,541 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-11-25 22:30:15,541 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1671765486] [2022-11-25 22:30:15,541 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-11-25 22:30:15,542 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-11-25 22:30:15,542 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-11-25 22:30:15,543 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-11-25 22:30:15,543 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:30:15,543 INFO L87 Difference]: Start difference. First operand 30528 states and 45676 transitions. Second operand has 3 states, 3 states have (on average 16.333333333333332) internal successors, (49), 3 states have internal predecessors, (49), 3 states have call successors, (21), 2 states have call predecessors, (21), 1 states have return successors, (18), 3 states have call predecessors, (18), 3 states have call successors, (18) [2022-11-25 22:30:23,129 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-11-25 22:30:25,526 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-11-25 22:30:25,526 INFO L93 Difference]: Finished difference Result 89985 states and 135025 transitions. [2022-11-25 22:30:25,526 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-11-25 22:30:25,527 INFO L78 Accepts]: Start accepts. Automaton has has 3 states, 3 states have (on average 16.333333333333332) internal successors, (49), 3 states have internal predecessors, (49), 3 states have call successors, (21), 2 states have call predecessors, (21), 1 states have return successors, (18), 3 states have call predecessors, (18), 3 states have call successors, (18) Word has length 173 [2022-11-25 22:30:25,527 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-11-25 22:30:26,030 INFO L225 Difference]: With dead ends: 89985 [2022-11-25 22:30:26,042 INFO L226 Difference]: Without dead ends: 59484 [2022-11-25 22:30:26,184 INFO L412 NwaCegarLoop]: 0 DeclaredPredicates, 3 GetRequests, 2 SyntacticMatches, 0 SemanticMatches, 1 ConstructedPredicates, 0 IntricatePredicates, 0 DeprecatedPredicates, 0 ImplicationChecksByTransitivity, 0.0s TimeCoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:30:26,185 INFO L413 NwaCegarLoop]: 4485 mSDtfsCounter, 3621 mSDsluCounter, 3401 mSDsCounter, 0 mSdLazyCounter, 916 mSolverCounterSat, 3 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 7.4s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3621 SdHoareTripleChecker+Valid, 7886 SdHoareTripleChecker+Invalid, 920 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 3 IncrementalHoareTripleChecker+Valid, 916 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 7.7s IncrementalHoareTripleChecker+Time [2022-11-25 22:30:26,185 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3621 Valid, 7886 Invalid, 920 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [3 Valid, 916 Invalid, 1 Unknown, 0 Unchecked, 7.7s Time] [2022-11-25 22:30:26,249 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 59484 states. [2022-11-25 22:30:30,111 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 59484 to 59416. [2022-11-25 22:30:30,186 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 59416 states, 35285 states have (on average 1.3376789003825988) internal successors, (47200), 37530 states have internal predecessors, (47200), 20826 states have call successors, (20826), 3357 states have call predecessors, (20826), 3302 states have return successors, (21261), 19569 states have call predecessors, (21261), 20822 states have call successors, (21261) [2022-11-25 22:30:30,539 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 59416 states to 59416 states and 89287 transitions. [2022-11-25 22:30:30,567 INFO L78 Accepts]: Start accepts. Automaton has 59416 states and 89287 transitions. Word has length 173 [2022-11-25 22:30:30,571 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-11-25 22:30:30,572 INFO L495 AbstractCegarLoop]: Abstraction has 59416 states and 89287 transitions. [2022-11-25 22:30:30,572 INFO L496 AbstractCegarLoop]: INTERPOLANT automaton has has 3 states, 3 states have (on average 16.333333333333332) internal successors, (49), 3 states have internal predecessors, (49), 3 states have call successors, (21), 2 states have call predecessors, (21), 1 states have return successors, (18), 3 states have call predecessors, (18), 3 states have call successors, (18) [2022-11-25 22:30:30,572 INFO L276 IsEmpty]: Start isEmpty. Operand 59416 states and 89287 transitions. [2022-11-25 22:30:30,575 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 173 [2022-11-25 22:30:30,575 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 22:30:30,575 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-11-25 22:30:30,576 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable5 [2022-11-25 22:30:30,576 INFO L420 AbstractCegarLoop]: === Iteration 7 === Targeting ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlockErr0ASSERT_VIOLATIONERROR_FUNCTION, ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION (and 1 more)] === [2022-11-25 22:30:30,576 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 22:30:30,576 INFO L85 PathProgramCache]: Analyzing trace with hash 147839191, now seen corresponding path program 1 times [2022-11-25 22:30:30,577 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 22:30:30,577 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [1498716551] [2022-11-25 22:30:30,577 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 22:30:30,577 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 22:30:31,135 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-11-25 22:30:31,476 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-11-25 22:30:31,477 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-11-25 22:30:31,477 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [1498716551] [2022-11-25 22:30:31,477 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [1498716551] provided 1 perfect and 0 imperfect interpolant sequences [2022-11-25 22:30:31,477 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-11-25 22:30:31,478 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-11-25 22:30:31,478 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [872527913] [2022-11-25 22:30:31,478 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-11-25 22:30:31,479 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-11-25 22:30:31,479 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-11-25 22:30:31,480 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-11-25 22:30:31,480 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:30:31,480 INFO L87 Difference]: Start difference. First operand 59416 states and 89287 transitions. Second operand has 3 states, 3 states have (on average 16.0) internal successors, (48), 3 states have internal predecessors, (48), 3 states have call successors, (21), 2 states have call predecessors, (21), 1 states have return successors, (18), 3 states have call predecessors, (18), 3 states have call successors, (18) [2022-11-25 22:30:39,484 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-11-25 22:30:43,165 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-11-25 22:30:43,165 INFO L93 Difference]: Finished difference Result 174434 states and 262220 transitions. [2022-11-25 22:30:43,166 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-11-25 22:30:43,167 INFO L78 Accepts]: Start accepts. Automaton has has 3 states, 3 states have (on average 16.0) internal successors, (48), 3 states have internal predecessors, (48), 3 states have call successors, (21), 2 states have call predecessors, (21), 1 states have return successors, (18), 3 states have call predecessors, (18), 3 states have call successors, (18) Word has length 172 [2022-11-25 22:30:43,168 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-11-25 22:30:44,152 INFO L225 Difference]: With dead ends: 174434 [2022-11-25 22:30:44,153 INFO L226 Difference]: Without dead ends: 115045 [2022-11-25 22:30:44,433 INFO L412 NwaCegarLoop]: 0 DeclaredPredicates, 3 GetRequests, 2 SyntacticMatches, 0 SemanticMatches, 1 ConstructedPredicates, 0 IntricatePredicates, 0 DeprecatedPredicates, 0 ImplicationChecksByTransitivity, 0.0s TimeCoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:30:44,434 INFO L413 NwaCegarLoop]: 4553 mSDtfsCounter, 3612 mSDsluCounter, 3494 mSDsCounter, 0 mSdLazyCounter, 954 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 7.0s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3612 SdHoareTripleChecker+Valid, 8047 SdHoareTripleChecker+Invalid, 962 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 954 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 7.4s IncrementalHoareTripleChecker+Time [2022-11-25 22:30:44,435 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3612 Valid, 8047 Invalid, 962 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [7 Valid, 954 Invalid, 1 Unknown, 0 Unchecked, 7.4s Time] [2022-11-25 22:30:44,589 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 115045 states. [2022-11-25 22:30:51,304 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 115045 to 114976. [2022-11-25 22:30:51,401 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 114976 states, 68242 states have (on average 1.3373435714076376) internal successors, (91263), 72685 states have internal predecessors, (91263), 40322 states have call successors, (40322), 6518 states have call predecessors, (40322), 6409 states have return successors, (41132), 37817 states have call predecessors, (41132), 40318 states have call successors, (41132) [2022-11-25 22:30:52,864 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 114976 states to 114976 states and 172717 transitions. [2022-11-25 22:30:52,900 INFO L78 Accepts]: Start accepts. Automaton has 114976 states and 172717 transitions. Word has length 172 [2022-11-25 22:30:52,901 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-11-25 22:30:52,901 INFO L495 AbstractCegarLoop]: Abstraction has 114976 states and 172717 transitions. [2022-11-25 22:30:52,901 INFO L496 AbstractCegarLoop]: INTERPOLANT automaton has has 3 states, 3 states have (on average 16.0) internal successors, (48), 3 states have internal predecessors, (48), 3 states have call successors, (21), 2 states have call predecessors, (21), 1 states have return successors, (18), 3 states have call predecessors, (18), 3 states have call successors, (18) [2022-11-25 22:30:52,902 INFO L276 IsEmpty]: Start isEmpty. Operand 114976 states and 172717 transitions. [2022-11-25 22:30:52,905 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 177 [2022-11-25 22:30:52,905 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 22:30:52,906 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 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] [2022-11-25 22:30:52,906 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable6 [2022-11-25 22:30:52,906 INFO L420 AbstractCegarLoop]: === Iteration 8 === Targeting ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlockErr0ASSERT_VIOLATIONERROR_FUNCTION, ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lockErr0ASSERT_VIOLATIONERROR_FUNCTION (and 1 more)] === [2022-11-25 22:30:52,907 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 22:30:52,907 INFO L85 PathProgramCache]: Analyzing trace with hash 345564678, now seen corresponding path program 1 times [2022-11-25 22:30:52,907 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 22:30:52,907 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [656817130] [2022-11-25 22:30:52,908 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 22:30:52,908 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 22:30:53,122 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-11-25 22:30:53,452 INFO L134 CoverageAnalysis]: Checked inductivity of 652 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 652 trivial. 0 not checked. [2022-11-25 22:30:53,452 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-11-25 22:30:53,452 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [656817130] [2022-11-25 22:30:53,453 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [656817130] provided 1 perfect and 0 imperfect interpolant sequences [2022-11-25 22:30:53,453 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-11-25 22:30:53,453 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-11-25 22:30:53,453 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1816957006] [2022-11-25 22:30:53,453 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-11-25 22:30:53,454 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-11-25 22:30:53,454 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-11-25 22:30:53,455 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-11-25 22:30:53,455 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-11-25 22:30:53,455 INFO L87 Difference]: Start difference. First operand 114976 states and 172717 transitions. Second operand has 3 states, 3 states have (on average 16.0) internal successors, (48), 3 states have internal predecessors, (48), 3 states have call successors, (23), 2 states have call predecessors, (23), 1 states have return successors, (19), 3 states have call predecessors, (19), 3 states have call successors, (19)