./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 2329fc70 Calling Ultimate with: /usr/lib/jvm/java-1.11.0-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/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_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/config/svcomp-Reach-64bit-Taipan_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 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-2329fc7 [2022-12-14 05:00:28,520 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-12-14 05:00:28,522 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-12-14 05:00:28,535 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-12-14 05:00:28,535 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-12-14 05:00:28,536 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-12-14 05:00:28,537 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-12-14 05:00:28,538 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-12-14 05:00:28,539 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-12-14 05:00:28,540 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-12-14 05:00:28,541 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-12-14 05:00:28,541 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-12-14 05:00:28,542 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-12-14 05:00:28,542 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-12-14 05:00:28,543 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-12-14 05:00:28,544 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-12-14 05:00:28,544 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-12-14 05:00:28,545 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-12-14 05:00:28,547 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-12-14 05:00:28,548 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-12-14 05:00:28,549 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-12-14 05:00:28,550 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-12-14 05:00:28,551 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-12-14 05:00:28,551 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-12-14 05:00:28,554 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-12-14 05:00:28,554 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-12-14 05:00:28,554 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-12-14 05:00:28,555 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-12-14 05:00:28,555 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-12-14 05:00:28,556 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-12-14 05:00:28,557 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-12-14 05:00:28,557 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-12-14 05:00:28,558 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-12-14 05:00:28,558 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-12-14 05:00:28,559 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-12-14 05:00:28,559 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-12-14 05:00:28,560 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-12-14 05:00:28,560 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-12-14 05:00:28,560 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-12-14 05:00:28,561 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-12-14 05:00:28,561 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-12-14 05:00:28,562 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/config/svcomp-Reach-64bit-Taipan_Default.epf [2022-12-14 05:00:28,578 INFO L113 SettingsManager]: Loading preferences was successful [2022-12-14 05:00:28,578 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-12-14 05:00:28,579 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-12-14 05:00:28,579 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-12-14 05:00:28,579 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-12-14 05:00:28,579 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-12-14 05:00:28,580 INFO L138 SettingsManager]: * User list type=DISABLED [2022-12-14 05:00:28,580 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-12-14 05:00:28,580 INFO L138 SettingsManager]: * Explicit value domain=true [2022-12-14 05:00:28,580 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2022-12-14 05:00:28,580 INFO L138 SettingsManager]: * Octagon Domain=false [2022-12-14 05:00:28,581 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2022-12-14 05:00:28,581 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2022-12-14 05:00:28,581 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2022-12-14 05:00:28,581 INFO L138 SettingsManager]: * Interval Domain=false [2022-12-14 05:00:28,581 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2022-12-14 05:00:28,582 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2022-12-14 05:00:28,582 INFO L138 SettingsManager]: * Simplification Technique=POLY_PAC [2022-12-14 05:00:28,582 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-12-14 05:00:28,583 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-12-14 05:00:28,583 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-12-14 05:00:28,583 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2022-12-14 05:00:28,583 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-12-14 05:00:28,583 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2022-12-14 05:00:28,583 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2022-12-14 05:00:28,584 INFO L138 SettingsManager]: * Use constant arrays=true [2022-12-14 05:00:28,584 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2022-12-14 05:00:28,584 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-12-14 05:00:28,584 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-12-14 05:00:28,584 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-12-14 05:00:28,584 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-12-14 05:00:28,584 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2022-12-14 05:00:28,584 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-12-14 05:00:28,585 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2022-12-14 05:00:28,585 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2022-12-14 05:00:28,585 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-12-14 05:00:28,585 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2022-12-14 05:00:28,585 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2022-12-14 05:00:28,585 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_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Taipan Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 435b3fa8073a80dcd9b8b69819909b6031007c35574ec244127e6237bed3be57 [2022-12-14 05:00:28,772 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-12-14 05:00:28,790 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-12-14 05:00:28,792 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-12-14 05:00:28,793 INFO L271 PluginConnector]: Initializing CDTParser... [2022-12-14 05:00:28,793 INFO L275 PluginConnector]: CDTParser initialized [2022-12-14 05:00:28,794 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/../../sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i [2022-12-14 05:00:31,327 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-12-14 05:00:31,804 INFO L351 CDTParser]: Found 1 translation units. [2022-12-14 05:00:31,805 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i [2022-12-14 05:00:31,835 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/data/c0e905592/29887ca8b67744e681ead642b981be63/FLAG58fec23f8 [2022-12-14 05:00:31,902 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/data/c0e905592/29887ca8b67744e681ead642b981be63 [2022-12-14 05:00:31,905 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-12-14 05:00:31,906 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-12-14 05:00:31,907 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-12-14 05:00:31,908 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-12-14 05:00:31,911 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-12-14 05:00:31,912 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.12 05:00:31" (1/1) ... [2022-12-14 05:00:31,913 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@175f4033 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:31, skipping insertion in model container [2022-12-14 05:00:31,913 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.12 05:00:31" (1/1) ... [2022-12-14 05:00:31,920 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-12-14 05:00:32,049 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-12-14 05:00:32,474 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:32,530 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:32,532 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:32,536 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:32,537 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:32,539 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:32,541 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:32,552 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:32,554 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:32,558 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,558 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,558 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,558 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,559 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,559 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,559 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,560 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,560 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,560 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,560 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,560 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,561 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,561 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,561 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,627 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-12-14 05:00:32,638 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-12-14 05:00:32,727 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 05:00:32,732 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 05:00:32,732 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-12-14 05:00:32,740 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-12-14 05:00:32,748 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_cpu [2022-12-14 05:00:32,754 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_device [2022-12-14 05:00:32,760 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-12-14 05:00:32,788 WARN L623 FunctionHandler]: Unknown extern function __netdev_alloc_skb [2022-12-14 05:00:32,816 WARN L623 FunctionHandler]: Unknown extern function __napi_schedule [2022-12-14 05:00:32,846 WARN L623 FunctionHandler]: Unknown extern function netpoll_trap [2022-12-14 05:00:32,846 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-12-14 05:00:32,862 WARN L623 FunctionHandler]: Unknown extern function __dev_kfree_skb_irq [2022-12-14 05:00:32,915 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,916 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,922 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,922 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,923 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:32,923 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,925 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,926 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,926 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:32,933 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:32,942 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 05:00:32,943 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,944 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,948 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:32,949 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,950 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:32,951 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,953 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:32,954 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:32,956 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:32,958 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-12-14 05:00:32,959 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-12-14 05:00:32,960 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 05:00:32,961 WARN L623 FunctionHandler]: Unknown extern function eth_type_trans [2022-12-14 05:00:32,961 WARN L623 FunctionHandler]: Unknown extern function netif_receive_skb [2022-12-14 05:00:32,963 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,964 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,964 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,965 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 05:00:32,966 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,967 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 05:00:32,974 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,976 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,976 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,978 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,978 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:32,982 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:32,985 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 05:00:32,986 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,986 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:32,988 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,988 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,989 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,989 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,991 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 05:00:32,991 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,992 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 05:00:32,992 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,993 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:32,993 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,994 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,994 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,994 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,995 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:32,995 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,996 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,998 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:32,998 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,006 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:33,007 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:33,046 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-12-14 05:00:33,092 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,092 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,092 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,093 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,094 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,095 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,095 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,102 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,104 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,105 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,106 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,106 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,106 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,107 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,107 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,107 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,108 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,108 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,108 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,109 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,109 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,109 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,110 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,110 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,110 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,111 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,113 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,114 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,114 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,115 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,115 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,115 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,115 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,116 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,116 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,116 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,116 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,117 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,117 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,117 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,117 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,122 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,123 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,124 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,127 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,128 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,129 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,131 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,131 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,131 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,132 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,132 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,133 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,133 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,134 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,134 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,134 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,136 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,138 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,138 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,139 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,139 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,140 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,140 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,141 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,141 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,142 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,142 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,142 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,143 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,144 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,146 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,148 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,149 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,151 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,152 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,153 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,155 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,155 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,156 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,156 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,156 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,157 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,157 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,158 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,158 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,158 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,159 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,161 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,161 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,162 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,162 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,165 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:33,166 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:33,168 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:33,171 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:33,172 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 05:00:33,175 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,176 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:33,177 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:33,177 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:33,225 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,226 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,227 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,227 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,228 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,228 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,228 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,233 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,238 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,239 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,240 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,241 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,241 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,241 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,241 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,241 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,243 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,243 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,246 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,247 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,249 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,250 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 05:00:33,250 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 05:00:33,252 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,253 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 05:00:33,254 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 05:00:33,256 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,256 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:33,271 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,272 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 05:00:33,272 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 05:00:33,273 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:33,273 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:33,274 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:33,275 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:33,477 WARN L623 FunctionHandler]: Unknown extern function queue_work_on [2022-12-14 05:00:33,544 WARN L623 FunctionHandler]: Unknown extern function debug_dma_alloc_coherent [2022-12-14 05:00:33,549 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 05:00:33,550 WARN L623 FunctionHandler]: Unknown extern function debug_dma_free_coherent [2022-12-14 05:00:33,555 WARN L623 FunctionHandler]: Unknown extern function __might_sleep [2022-12-14 05:00:33,555 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 05:00:33,587 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 05:00:33,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:33,648 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_byte [2022-12-14 05:00:33,652 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-12-14 05:00:33,657 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-12-14 05:00:33,662 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-12-14 05:00:33,707 WARN L623 FunctionHandler]: Unknown extern function __pci_enable_wake [2022-12-14 05:00:33,808 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,809 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,809 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,809 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,810 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,811 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,811 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,816 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,821 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,829 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-12-14 05:00:33,958 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,958 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,958 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,959 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,959 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,960 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,961 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,961 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,962 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,962 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,962 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,962 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,963 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,963 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,963 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,963 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,967 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:33,969 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:33,970 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,970 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,970 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,971 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:33,971 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,972 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,972 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,973 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,973 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,973 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,973 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,974 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,975 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,975 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,975 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,975 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,976 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-12-14 05:00:33,977 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,977 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-12-14 05:00:33,977 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,978 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-12-14 05:00:33,978 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,978 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,979 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,979 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:33,980 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,980 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,980 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,981 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:33,982 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,982 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,982 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,982 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:33,983 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:33,983 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-12-14 05:00:33,986 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:33,986 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,987 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,987 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,987 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,987 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,988 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:33,989 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,990 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,990 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,990 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,990 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:33,991 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,991 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:33,991 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:33,997 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,005 WARN L623 FunctionHandler]: Unknown extern function cancel_work_sync [2022-12-14 05:00:34,005 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,006 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,006 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,006 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-12-14 05:00:34,008 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 05:00:34,009 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 05:00:34,011 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,011 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,012 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,018 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 05:00:34,019 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 05:00:34,019 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 05:00:34,026 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 05:00:34,034 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,034 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,036 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,045 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-12-14 05:00:34,056 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,058 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-12-14 05:00:34,059 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-12-14 05:00:34,059 WARN L623 FunctionHandler]: Unknown extern function bitrev32 [2022-12-14 05:00:34,060 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-12-14 05:00:34,060 WARN L623 FunctionHandler]: Unknown extern function bitrev32 [2022-12-14 05:00:34,060 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,061 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,062 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,062 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,062 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,063 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,063 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,066 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,066 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,074 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,074 WARN L623 FunctionHandler]: Unknown extern function pci_try_set_mwi [2022-12-14 05:00:34,075 WARN L623 FunctionHandler]: Unknown extern function pci_clear_mwi [2022-12-14 05:00:34,075 WARN L623 FunctionHandler]: Unknown extern function pci_clear_mwi [2022-12-14 05:00:34,077 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,090 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,091 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,091 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-12-14 05:00:34,092 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-12-14 05:00:34,092 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,094 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,095 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-12-14 05:00:34,095 WARN L623 FunctionHandler]: Unknown extern function pci_iomap [2022-12-14 05:00:34,097 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,097 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-12-14 05:00:34,097 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-12-14 05:00:34,098 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-12-14 05:00:34,098 WARN L623 FunctionHandler]: Unknown extern function __init_work [2022-12-14 05:00:34,098 WARN L623 FunctionHandler]: Unknown extern function lockdep_init_map [2022-12-14 05:00:34,099 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-12-14 05:00:34,099 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,100 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,100 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,101 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,101 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,107 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,109 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-12-14 05:00:34,111 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-12-14 05:00:34,112 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,113 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,114 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,114 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,114 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,114 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,115 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,115 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,115 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,115 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,115 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,116 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,116 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,116 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,116 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,117 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,117 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,117 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,117 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 05:00:34,118 WARN L623 FunctionHandler]: Unknown extern function pci_iounmap [2022-12-14 05:00:34,118 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-12-14 05:00:34,119 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,120 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,120 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,121 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,127 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-12-14 05:00:34,128 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-12-14 05:00:34,128 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 05:00:34,128 WARN L623 FunctionHandler]: Unknown extern function pci_choose_state [2022-12-14 05:00:34,129 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,129 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 05:00:34,135 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 05:00:34,136 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-12-14 05:00:34,136 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-12-14 05:00:34,136 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,137 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,137 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,137 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,138 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-12-14 05:00:34,144 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 05:00:34,144 WARN L623 FunctionHandler]: Unknown extern function pci_iounmap [2022-12-14 05:00:34,145 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-12-14 05:00:34,145 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 05:00:34,145 WARN L623 FunctionHandler]: Unknown extern function disable_irq [2022-12-14 05:00:34,146 WARN L623 FunctionHandler]: Unknown extern function enable_irq [2022-12-14 05:00:34,152 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:34,501 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,503 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,503 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,503 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,503 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:34,504 WARN L623 FunctionHandler]: Unknown extern function eth_mac_addr [2022-12-14 05:00:34,505 WARN L623 FunctionHandler]: Unknown extern function eth_validate_addr [2022-12-14 05:00:34,505 WARN L623 FunctionHandler]: Unknown extern function eth_change_mtu [2022-12-14 05:00:34,516 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-12-14 05:00:34,519 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-12-14 05:00:34,519 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-12-14 05:00:34,524 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-12-14 05:00:34,525 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_register_netdev [2022-12-14 05:00:34,531 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-12-14 05:00:34,532 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-12-14 05:00:34,533 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:34,533 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:34,534 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:34,534 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:34,534 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:34,535 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 05:00:34,535 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:34,535 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:34,535 WARN L623 FunctionHandler]: Unknown extern function alloc_etherdev_mqs [2022-12-14 05:00:34,535 WARN L623 FunctionHandler]: Unknown extern function register_netdev [2022-12-14 05:00:34,536 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-12-14 05:00:34,536 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 05:00:34,537 WARN L623 FunctionHandler]: Unknown extern function unregister_netdev [2022-12-14 05:00:34,537 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-12-14 05:00:34,537 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-12-14 05:00:34,537 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-12-14 05:00:34,560 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,560 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,561 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:34,561 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,562 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,562 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,562 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,567 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:34,568 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,568 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,569 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,569 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 05:00:34,569 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 05:00:34,570 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,570 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,570 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,571 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,571 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,571 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-12-14 05:00:34,571 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,572 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,572 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,572 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-12-14 05:00:34,572 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,572 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,573 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,575 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,575 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,575 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:34,575 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,575 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,576 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,576 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,576 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-12-14 05:00:34,576 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,577 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,577 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,577 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,579 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,579 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,580 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,581 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,581 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,581 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,582 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:34,582 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,583 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:34,583 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,584 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,584 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,584 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,585 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,585 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,585 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,596 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:34,596 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:34,596 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:34,611 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_irq [2022-12-14 05:00:34,620 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irq [2022-12-14 05:00:34,638 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,639 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,639 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:34,639 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,640 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,640 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,640 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,645 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:34,646 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,646 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,647 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,647 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,648 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,649 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,649 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,649 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,649 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,650 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,650 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,650 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,650 WARN L623 FunctionHandler]: Unknown extern function dev_trans_start [2022-12-14 05:00:34,651 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,651 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,651 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,651 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,652 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,652 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,652 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,653 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,653 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,653 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,654 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,654 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,655 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,655 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,656 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,656 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,656 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,657 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,657 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,657 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,658 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,658 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,658 WARN L623 FunctionHandler]: Unknown extern function disable_irq [2022-12-14 05:00:34,658 WARN L623 FunctionHandler]: Unknown extern function enable_irq [2022-12-14 05:00:34,659 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,659 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:34,682 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,682 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,682 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:34,683 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,683 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,683 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,684 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,688 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:34,689 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,689 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,690 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,691 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,691 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,692 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,692 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,693 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,693 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:34,693 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,693 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,694 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,694 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,694 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,695 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,696 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,696 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,696 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,697 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,697 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,698 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,698 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,698 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,698 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,699 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,699 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,699 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,700 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:34,701 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:34,701 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,702 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:34,702 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,703 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:34,703 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:34,704 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,704 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:34,704 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:34,705 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:34,705 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:34,705 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:34,706 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:34,757 WARN L623 FunctionHandler]: Unknown extern function ldv_check_alloc_flags [2022-12-14 05:00:34,758 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-12-14 05:00:34,767 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 05:00:35,349 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_31344d49-9239-4d87-852d-02dd0e9625e1/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-12-14 05:00:35,352 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_31344d49-9239-4d87-852d-02dd0e9625e1/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-12-14 05:00:35,353 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_31344d49-9239-4d87-852d-02dd0e9625e1/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-12-14 05:00:35,353 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_31344d49-9239-4d87-852d-02dd0e9625e1/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-12-14 05:00:35,354 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,354 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,356 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,373 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,376 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-14 05:00:35,417 INFO L203 MainTranslator]: Completed pre-run [2022-12-14 05:00:35,493 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,497 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,497 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,498 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,499 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,500 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,501 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,506 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,507 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,509 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,509 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,509 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,509 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,509 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,510 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,510 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,510 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,510 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,510 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,511 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,511 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,511 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,511 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,511 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,512 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-12-14 05:00:35,513 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-12-14 05:00:35,516 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 05:00:35,517 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-12-14 05:00:35,517 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-12-14 05:00:35,518 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-12-14 05:00:35,519 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_cpu [2022-12-14 05:00:35,519 WARN L623 FunctionHandler]: Unknown extern function debug_dma_sync_single_for_device [2022-12-14 05:00:35,520 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-12-14 05:00:35,521 WARN L623 FunctionHandler]: Unknown extern function __netdev_alloc_skb [2022-12-14 05:00:35,522 WARN L623 FunctionHandler]: Unknown extern function __napi_schedule [2022-12-14 05:00:35,522 WARN L623 FunctionHandler]: Unknown extern function netpoll_trap [2022-12-14 05:00:35,523 WARN L623 FunctionHandler]: Unknown extern function __netif_schedule [2022-12-14 05:00:35,523 WARN L623 FunctionHandler]: Unknown extern function __dev_kfree_skb_irq [2022-12-14 05:00:35,524 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,525 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,525 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,526 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,526 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,526 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,527 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,527 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,527 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,528 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,529 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 05:00:35,530 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,530 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,532 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,532 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,533 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,533 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,534 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,535 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:35,536 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,537 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-12-14 05:00:35,537 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-12-14 05:00:35,538 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 05:00:35,538 WARN L623 FunctionHandler]: Unknown extern function eth_type_trans [2022-12-14 05:00:35,539 WARN L623 FunctionHandler]: Unknown extern function netif_receive_skb [2022-12-14 05:00:35,539 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,540 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,540 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,540 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 05:00:35,541 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,541 WARN L623 FunctionHandler]: Unknown extern function napi_complete [2022-12-14 05:00:35,543 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,543 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,544 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,545 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,545 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,546 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,548 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 05:00:35,549 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,549 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:35,550 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,550 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,550 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,551 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,551 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 05:00:35,552 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,552 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-12-14 05:00:35,552 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,553 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:35,553 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,553 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,553 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,554 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,554 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,554 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,554 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,555 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,556 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,556 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:35,557 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:35,558 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-12-14 05:00:35,559 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,559 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,559 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,559 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,560 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,560 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,561 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,561 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,562 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,562 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,563 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,563 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,563 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,564 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,564 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,564 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,564 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,564 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,564 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,564 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,565 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,565 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,565 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,565 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,565 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,566 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,567 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,567 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,567 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,568 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,568 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,568 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,568 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,568 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,569 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,569 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,569 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,569 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,569 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,569 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,569 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,572 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,573 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,573 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,575 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,575 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,576 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,577 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,577 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,577 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,577 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,578 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,578 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,578 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,579 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,579 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,579 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,580 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,581 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,581 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,581 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,581 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,582 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,582 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,583 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,583 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,583 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,584 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,584 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,584 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,584 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,586 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,587 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,588 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,588 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,589 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,589 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,590 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,591 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,591 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,591 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,591 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,592 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,592 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,592 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,592 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,592 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,592 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,593 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,594 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,594 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,594 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,596 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,596 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,597 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,599 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,599 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 05:00:35,600 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,601 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,601 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:35,601 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:35,602 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,602 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,602 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,602 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,603 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,603 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,603 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,604 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,604 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,605 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,605 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,605 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,605 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,606 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,606 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,606 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,607 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,607 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,608 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,609 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,609 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,610 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 05:00:35,610 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 05:00:35,611 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,611 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 05:00:35,611 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 05:00:35,612 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,612 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,613 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,614 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 05:00:35,614 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 05:00:35,614 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:35,614 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:35,615 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:35,615 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:35,616 WARN L623 FunctionHandler]: Unknown extern function queue_work_on [2022-12-14 05:00:35,618 WARN L623 FunctionHandler]: Unknown extern function debug_dma_alloc_coherent [2022-12-14 05:00:35,619 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 05:00:35,619 WARN L623 FunctionHandler]: Unknown extern function debug_dma_free_coherent [2022-12-14 05:00:35,620 WARN L623 FunctionHandler]: Unknown extern function __might_sleep [2022-12-14 05:00:35,620 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 05:00:35,620 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-12-14 05:00:35,621 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,621 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_byte [2022-12-14 05:00:35,622 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-12-14 05:00:35,623 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-12-14 05:00:35,624 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-12-14 05:00:35,625 WARN L623 FunctionHandler]: Unknown extern function __pci_enable_wake [2022-12-14 05:00:35,626 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,627 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,627 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,627 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,628 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,628 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,628 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,628 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,628 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,629 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-12-14 05:00:35,633 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,633 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,633 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,633 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,633 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,634 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,634 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,634 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,635 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,635 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,635 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,635 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,635 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,635 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,635 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,636 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,637 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,638 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,638 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,639 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,639 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,639 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,639 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,640 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,640 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,640 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,640 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,653 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,653 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,654 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,654 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,655 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,655 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,655 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,656 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-12-14 05:00:35,656 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,656 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-12-14 05:00:35,657 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,657 WARN L623 FunctionHandler]: Unknown extern function ioread16 [2022-12-14 05:00:35,657 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,657 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,658 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,658 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,658 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,659 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,659 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,659 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,660 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,660 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,660 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,661 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,661 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:35,661 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-12-14 05:00:35,663 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:35,664 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,664 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,664 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,664 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,665 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,665 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:35,665 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,665 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,666 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,666 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,666 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:35,667 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,667 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,667 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-12-14 05:00:35,672 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,674 WARN L623 FunctionHandler]: Unknown extern function cancel_work_sync [2022-12-14 05:00:35,674 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,674 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,675 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,675 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-12-14 05:00:35,677 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 05:00:35,677 WARN L623 FunctionHandler]: Unknown extern function consume_skb [2022-12-14 05:00:35,679 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,679 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,680 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,680 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 05:00:35,681 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 05:00:35,681 WARN L623 FunctionHandler]: Unknown extern function strlcpy [2022-12-14 05:00:35,682 WARN L623 FunctionHandler]: Unknown extern function device_set_wakeup_enable [2022-12-14 05:00:35,684 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,684 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,685 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,688 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-12-14 05:00:35,693 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,694 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-12-14 05:00:35,694 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-12-14 05:00:35,695 WARN L623 FunctionHandler]: Unknown extern function bitrev32 [2022-12-14 05:00:35,695 WARN L623 FunctionHandler]: Unknown extern function crc32_le [2022-12-14 05:00:35,695 WARN L623 FunctionHandler]: Unknown extern function bitrev32 [2022-12-14 05:00:35,696 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,696 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,697 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,697 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,697 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,697 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,698 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,700 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,701 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,702 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,702 WARN L623 FunctionHandler]: Unknown extern function pci_try_set_mwi [2022-12-14 05:00:35,703 WARN L623 FunctionHandler]: Unknown extern function pci_clear_mwi [2022-12-14 05:00:35,704 WARN L623 FunctionHandler]: Unknown extern function pci_clear_mwi [2022-12-14 05:00:35,704 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,706 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,706 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,706 WARN L623 FunctionHandler]: Unknown extern function pci_dev_present [2022-12-14 05:00:35,707 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-12-14 05:00:35,707 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,708 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,709 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-12-14 05:00:35,709 WARN L623 FunctionHandler]: Unknown extern function pci_iomap [2022-12-14 05:00:35,711 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,711 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-12-14 05:00:35,711 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-12-14 05:00:35,712 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-12-14 05:00:35,712 WARN L623 FunctionHandler]: Unknown extern function __init_work [2022-12-14 05:00:35,712 WARN L623 FunctionHandler]: Unknown extern function lockdep_init_map [2022-12-14 05:00:35,713 WARN L623 FunctionHandler]: Unknown extern function pci_set_master [2022-12-14 05:00:35,713 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,714 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,714 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,715 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,715 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,719 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,720 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-12-14 05:00:35,721 WARN L623 FunctionHandler]: Unknown extern function netif_napi_add [2022-12-14 05:00:35,721 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,722 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,722 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,723 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,723 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,723 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,723 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,723 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,723 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,723 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,724 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,724 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,724 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,724 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,724 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,724 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,725 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,725 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,725 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 05:00:35,725 WARN L623 FunctionHandler]: Unknown extern function pci_iounmap [2022-12-14 05:00:35,725 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-12-14 05:00:35,726 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,727 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,727 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,727 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,728 WARN L623 FunctionHandler]: Unknown extern function netif_device_detach [2022-12-14 05:00:35,728 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-12-14 05:00:35,728 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 05:00:35,728 WARN L623 FunctionHandler]: Unknown extern function pci_choose_state [2022-12-14 05:00:35,729 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,729 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 05:00:35,730 WARN L623 FunctionHandler]: Unknown extern function pci_set_power_state [2022-12-14 05:00:35,730 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-12-14 05:00:35,730 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-12-14 05:00:35,730 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,730 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,731 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,731 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,731 WARN L623 FunctionHandler]: Unknown extern function netif_device_attach [2022-12-14 05:00:35,732 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-14 05:00:35,732 WARN L623 FunctionHandler]: Unknown extern function pci_iounmap [2022-12-14 05:00:35,732 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-12-14 05:00:35,732 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-12-14 05:00:35,732 WARN L623 FunctionHandler]: Unknown extern function disable_irq [2022-12-14 05:00:35,732 WARN L623 FunctionHandler]: Unknown extern function enable_irq [2022-12-14 05:00:35,733 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 05:00:35,737 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,737 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,737 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,737 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,737 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,737 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,737 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,737 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,738 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,738 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,738 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,738 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,738 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,739 WARN L623 FunctionHandler]: Unknown extern function eth_mac_addr [2022-12-14 05:00:35,739 WARN L623 FunctionHandler]: Unknown extern function eth_validate_addr [2022-12-14 05:00:35,740 WARN L623 FunctionHandler]: Unknown extern function eth_change_mtu [2022-12-14 05:00:35,742 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-12-14 05:00:35,744 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-12-14 05:00:35,745 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-12-14 05:00:35,748 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-12-14 05:00:35,749 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_register_netdev [2022-12-14 05:00:35,754 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-12-14 05:00:35,755 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-12-14 05:00:35,757 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:35,757 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:35,757 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:35,758 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:35,758 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:35,758 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 05:00:35,758 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:35,758 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-12-14 05:00:35,758 WARN L623 FunctionHandler]: Unknown extern function alloc_etherdev_mqs [2022-12-14 05:00:35,759 WARN L623 FunctionHandler]: Unknown extern function register_netdev [2022-12-14 05:00:35,759 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-12-14 05:00:35,759 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-12-14 05:00:35,759 WARN L623 FunctionHandler]: Unknown extern function unregister_netdev [2022-12-14 05:00:35,760 WARN L623 FunctionHandler]: Unknown extern function free_netdev [2022-12-14 05:00:35,760 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-12-14 05:00:35,760 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-12-14 05:00:35,761 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,761 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,761 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,761 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,762 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,762 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,762 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,762 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,763 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,763 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,763 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,763 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_off [2022-12-14 05:00:35,764 WARN L623 FunctionHandler]: Unknown extern function netif_carrier_on [2022-12-14 05:00:35,764 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,764 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,764 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,765 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,765 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,765 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-12-14 05:00:35,765 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,765 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,766 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,766 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-12-14 05:00:35,766 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,766 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,766 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,768 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,768 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,768 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,768 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,768 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,769 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,769 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,769 WARN L623 FunctionHandler]: Unknown extern function iowrite16 [2022-12-14 05:00:35,769 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,769 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,770 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,770 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,771 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,771 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,772 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,773 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,773 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,773 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,774 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:35,774 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,774 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:35,775 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,775 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,775 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,775 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,776 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,776 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,776 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,777 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:35,777 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:35,777 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:35,778 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_irq [2022-12-14 05:00:35,778 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irq [2022-12-14 05:00:35,778 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,778 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,779 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,779 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,779 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,779 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,780 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,780 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,780 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,781 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,781 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,782 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,782 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,783 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,783 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,783 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,783 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,784 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,784 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,784 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,785 WARN L623 FunctionHandler]: Unknown extern function dev_trans_start [2022-12-14 05:00:35,785 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,785 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,785 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,785 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,786 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,786 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,786 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,787 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,787 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,787 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,788 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,788 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,789 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,789 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,789 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,790 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,790 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,790 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,790 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,790 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,791 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,791 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,791 WARN L623 FunctionHandler]: Unknown extern function disable_irq [2022-12-14 05:00:35,792 WARN L623 FunctionHandler]: Unknown extern function enable_irq [2022-12-14 05:00:35,792 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,792 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:35,793 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,793 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,793 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,793 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,794 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,794 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,794 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,794 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,795 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,795 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,795 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,797 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,797 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,798 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,798 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,799 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,799 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-12-14 05:00:35,799 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,799 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,800 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,800 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,800 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,801 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,802 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,802 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,802 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,802 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,803 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,803 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,804 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,804 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,804 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,804 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,804 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,805 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,805 WARN L623 FunctionHandler]: Unknown extern function __dynamic_netdev_dbg [2022-12-14 05:00:35,806 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:35,806 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,807 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:35,807 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,807 WARN L623 FunctionHandler]: Unknown extern function add_timer [2022-12-14 05:00:35,808 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-12-14 05:00:35,808 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,808 WARN L623 FunctionHandler]: Unknown extern function iowrite32 [2022-12-14 05:00:35,808 WARN L623 FunctionHandler]: Unknown extern function ioread32 [2022-12-14 05:00:35,809 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-12-14 05:00:35,809 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:35,809 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:35,809 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-12-14 05:00:35,811 WARN L623 FunctionHandler]: Unknown extern function ldv_check_alloc_flags [2022-12-14 05:00:35,811 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-12-14 05:00:35,811 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 05:00:35,824 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_31344d49-9239-4d87-852d-02dd0e9625e1/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-12-14 05:00:35,824 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_31344d49-9239-4d87-852d-02dd0e9625e1/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-12-14 05:00:35,825 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_31344d49-9239-4d87-852d-02dd0e9625e1/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-12-14 05:00:35,825 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_31344d49-9239-4d87-852d-02dd0e9625e1/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-12-14 05:00:35,826 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,827 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,828 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,831 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-14 05:00:35,832 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-14 05:00:35,969 INFO L208 MainTranslator]: Completed translation [2022-12-14 05:00:35,969 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35 WrapperNode [2022-12-14 05:00:35,969 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-12-14 05:00:35,970 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2022-12-14 05:00:35,970 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2022-12-14 05:00:35,970 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2022-12-14 05:00:35,977 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,075 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,268 INFO L138 Inliner]: procedures = 567, calls = 5350, calls flagged for inlining = 289, calls inlined = 261, statements flattened = 11739 [2022-12-14 05:00:36,269 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2022-12-14 05:00:36,269 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2022-12-14 05:00:36,269 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2022-12-14 05:00:36,269 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2022-12-14 05:00:36,277 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,278 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,350 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,350 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,552 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,572 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,607 INFO L185 PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,622 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,670 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2022-12-14 05:00:36,671 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2022-12-14 05:00:36,671 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2022-12-14 05:00:36,671 INFO L275 PluginConnector]: RCFGBuilder initialized [2022-12-14 05:00:36,671 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (1/1) ... [2022-12-14 05:00:36,676 INFO L173 SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-12-14 05:00:36,683 INFO L189 MonitoredProcess]: No working directory specified, using /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/z3 [2022-12-14 05:00:36,695 INFO L229 MonitoredProcess]: Starting monitored process 1 with /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2022-12-14 05:00:36,697 INFO L327 MonitoredProcess]: [MP /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_31344d49-9239-4d87-852d-02dd0e9625e1/bin/utaipan-gh47qXpMRh/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process [2022-12-14 05:00:36,729 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_up [2022-12-14 05:00:36,729 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_up [2022-12-14 05:00:36,729 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_media_task [2022-12-14 05:00:36,729 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_media_task [2022-12-14 05:00:36,729 INFO L130 BoogieDeclarations]: Found specification of procedure pci_release_regions [2022-12-14 05:00:36,729 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_release_regions [2022-12-14 05:00:36,729 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.meminit [2022-12-14 05:00:36,729 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.meminit [2022-12-14 05:00:36,729 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_alloc_skb [2022-12-14 05:00:36,730 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_alloc_skb [2022-12-14 05:00:36,730 INFO L130 BoogieDeclarations]: Found specification of procedure netif_wake_queue [2022-12-14 05:00:36,730 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_wake_queue [2022-12-14 05:00:36,730 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_select_media [2022-12-14 05:00:36,730 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_select_media [2022-12-14 05:00:36,730 INFO L130 BoogieDeclarations]: Found specification of procedure __set_bit_le [2022-12-14 05:00:36,730 INFO L138 BoogieDeclarations]: Found implementation of procedure __set_bit_le [2022-12-14 05:00:36,730 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_malloc [2022-12-14 05:00:36,730 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_malloc [2022-12-14 05:00:36,730 INFO L130 BoogieDeclarations]: Found specification of procedure free_irq [2022-12-14 05:00:36,730 INFO L138 BoogieDeclarations]: Found implementation of procedure free_irq [2022-12-14 05:00:36,730 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lock [2022-12-14 05:00:36,760 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_double_lock [2022-12-14 05:00:36,760 INFO L130 BoogieDeclarations]: Found specification of procedure valid_dma_direction [2022-12-14 05:00:36,760 INFO L138 BoogieDeclarations]: Found implementation of procedure valid_dma_direction [2022-12-14 05:00:36,760 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_on [2022-12-14 05:00:36,760 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_on [2022-12-14 05:00:36,760 INFO L130 BoogieDeclarations]: Found specification of procedure clear_bit [2022-12-14 05:00:36,760 INFO L138 BoogieDeclarations]: Found implementation of procedure clear_bit [2022-12-14 05:00:36,760 INFO L130 BoogieDeclarations]: Found specification of procedure iowrite16 [2022-12-14 05:00:36,760 INFO L138 BoogieDeclarations]: Found implementation of procedure iowrite16 [2022-12-14 05:00:36,760 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_irqrestore_61 [2022-12-14 05:00:36,760 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_irqrestore_61 [2022-12-14 05:00:36,761 INFO L130 BoogieDeclarations]: Found specification of procedure ioread32 [2022-12-14 05:00:36,761 INFO L138 BoogieDeclarations]: Found implementation of procedure ioread32 [2022-12-14 05:00:36,761 INFO L130 BoogieDeclarations]: Found specification of procedure pci_name [2022-12-14 05:00:36,761 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_name [2022-12-14 05:00:36,761 INFO L130 BoogieDeclarations]: Found specification of procedure crc32_le [2022-12-14 05:00:36,761 INFO L138 BoogieDeclarations]: Found implementation of procedure crc32_le [2022-12-14 05:00:36,761 INFO L130 BoogieDeclarations]: Found specification of procedure spinlock_check [2022-12-14 05:00:36,761 INFO L138 BoogieDeclarations]: Found implementation of procedure spinlock_check [2022-12-14 05:00:36,761 INFO L130 BoogieDeclarations]: Found specification of procedure pci_get_drvdata [2022-12-14 05:00:36,761 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_get_drvdata [2022-12-14 05:00:36,761 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_xmalloc [2022-12-14 05:00:36,761 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_xmalloc [2022-12-14 05:00:36,761 INFO L130 BoogieDeclarations]: Found specification of procedure pnic_do_nway [2022-12-14 05:00:36,761 INFO L138 BoogieDeclarations]: Found implementation of procedure pnic_do_nway [2022-12-14 05:00:36,761 INFO L130 BoogieDeclarations]: Found specification of procedure strlcpy [2022-12-14 05:00:36,762 INFO L138 BoogieDeclarations]: Found implementation of procedure strlcpy [2022-12-14 05:00:36,762 INFO L130 BoogieDeclarations]: Found specification of procedure iowrite32 [2022-12-14 05:00:36,762 INFO L138 BoogieDeclarations]: Found implementation of procedure iowrite32 [2022-12-14 05:00:36,762 INFO L130 BoogieDeclarations]: Found specification of procedure eth_validate_addr [2022-12-14 05:00:36,762 INFO L138 BoogieDeclarations]: Found implementation of procedure eth_validate_addr [2022-12-14 05:00:36,762 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_is_err [2022-12-14 05:00:36,762 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_is_err [2022-12-14 05:00:36,762 INFO L130 BoogieDeclarations]: Found specification of procedure spin_unlock_irqrestore [2022-12-14 05:00:36,762 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_unlock_irqrestore [2022-12-14 05:00:36,762 INFO L130 BoogieDeclarations]: Found specification of procedure pci_unmap_single [2022-12-14 05:00:36,762 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_unmap_single [2022-12-14 05:00:36,762 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2022-12-14 05:00:36,762 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_set_wolopts [2022-12-14 05:00:36,762 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_set_wolopts [2022-12-14 05:00:36,762 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_61 [2022-12-14 05:00:36,763 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_61 [2022-12-14 05:00:36,763 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_resume [2022-12-14 05:00:36,763 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_resume [2022-12-14 05:00:36,763 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_del_timer_sync [2022-12-14 05:00:36,763 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_del_timer_sync [2022-12-14 05:00:36,763 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_interrupt [2022-12-14 05:00:36,763 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_interrupt [2022-12-14 05:00:36,763 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_get_tx_queue [2022-12-14 05:00:36,763 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_get_tx_queue [2022-12-14 05:00:36,763 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx___3 [2022-12-14 05:00:36,763 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx___3 [2022-12-14 05:00:36,763 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx___1 [2022-12-14 05:00:36,763 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx___1 [2022-12-14 05:00:36,763 INFO L130 BoogieDeclarations]: Found specification of procedure t21142_media_task [2022-12-14 05:00:36,763 INFO L138 BoogieDeclarations]: Found implementation of procedure t21142_media_task [2022-12-14 05:00:36,764 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~int [2022-12-14 05:00:36,764 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx___5 [2022-12-14 05:00:36,764 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx___5 [2022-12-14 05:00:36,764 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx___4 [2022-12-14 05:00:36,764 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx___4 [2022-12-14 05:00:36,764 INFO L130 BoogieDeclarations]: Found specification of procedure get_dma_ops [2022-12-14 05:00:36,764 INFO L138 BoogieDeclarations]: Found implementation of procedure get_dma_ops [2022-12-14 05:00:36,764 INFO L130 BoogieDeclarations]: Found specification of procedure __raw_spin_lock_init [2022-12-14 05:00:36,764 INFO L138 BoogieDeclarations]: Found implementation of procedure __raw_spin_lock_init [2022-12-14 05:00:36,764 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~int [2022-12-14 05:00:36,764 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assume [2022-12-14 05:00:36,764 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assume [2022-12-14 05:00:36,764 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2022-12-14 05:00:36,764 INFO L130 BoogieDeclarations]: Found specification of procedure set_rx_mode [2022-12-14 05:00:36,764 INFO L138 BoogieDeclarations]: Found implementation of procedure set_rx_mode [2022-12-14 05:00:36,765 INFO L130 BoogieDeclarations]: Found specification of procedure __phys_addr [2022-12-14 05:00:36,765 INFO L138 BoogieDeclarations]: Found implementation of procedure __phys_addr [2022-12-14 05:00:36,765 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memcpy [2022-12-14 05:00:36,765 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memcpy [2022-12-14 05:00:36,765 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_to_interrupt_context [2022-12-14 05:00:36,765 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_to_interrupt_context [2022-12-14 05:00:36,765 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_dev_set_drvdata [2022-12-14 05:00:36,765 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_dev_set_drvdata [2022-12-14 05:00:36,765 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_err_code [2022-12-14 05:00:36,765 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_err_code [2022-12-14 05:00:36,765 INFO L130 BoogieDeclarations]: Found specification of procedure pnic_timer [2022-12-14 05:00:36,765 INFO L138 BoogieDeclarations]: Found implementation of procedure pnic_timer [2022-12-14 05:00:36,765 INFO L130 BoogieDeclarations]: Found specification of procedure pci_free_consistent [2022-12-14 05:00:36,765 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_free_consistent [2022-12-14 05:00:36,765 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_device [2022-12-14 05:00:36,766 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_device [2022-12-14 05:00:36,766 INFO L130 BoogieDeclarations]: Found specification of procedure poll_tulip [2022-12-14 05:00:36,766 INFO L138 BoogieDeclarations]: Found implementation of procedure poll_tulip [2022-12-14 05:00:36,766 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_mdio_write [2022-12-14 05:00:36,766 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_mdio_write [2022-12-14 05:00:36,766 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_locked_at_exit [2022-12-14 05:00:36,766 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_locked_at_exit [2022-12-14 05:00:36,766 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2022-12-14 05:00:36,766 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_1 [2022-12-14 05:00:36,766 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_1 [2022-12-14 05:00:36,766 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_0 [2022-12-14 05:00:36,766 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_0 [2022-12-14 05:00:36,766 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_2 [2022-12-14 05:00:36,766 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_2 [2022-12-14 05:00:36,766 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mod_timer [2022-12-14 05:00:36,766 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mod_timer [2022-12-14 05:00:36,767 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit [2022-12-14 05:00:36,767 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_int [2022-12-14 05:00:36,767 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_int [2022-12-14 05:00:36,767 INFO L130 BoogieDeclarations]: Found specification of procedure __const_udelay [2022-12-14 05:00:36,767 INFO L138 BoogieDeclarations]: Found implementation of procedure __const_udelay [2022-12-14 05:00:36,767 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2022-12-14 05:00:36,767 INFO L130 BoogieDeclarations]: Found specification of procedure t21142_start_nway [2022-12-14 05:00:36,767 INFO L138 BoogieDeclarations]: Found implementation of procedure t21142_start_nway [2022-12-14 05:00:36,767 INFO L130 BoogieDeclarations]: Found specification of procedure pci_read_config_dword [2022-12-14 05:00:36,767 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_read_config_dword [2022-12-14 05:00:36,767 INFO L130 BoogieDeclarations]: Found specification of procedure ioread16 [2022-12-14 05:00:36,767 INFO L138 BoogieDeclarations]: Found implementation of procedure ioread16 [2022-12-14 05:00:36,767 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~VOID [2022-12-14 05:00:36,767 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~VOID [2022-12-14 05:00:36,767 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_lock_of_tulip_private [2022-12-14 05:00:36,767 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_lock_of_tulip_private [2022-12-14 05:00:36,768 INFO L130 BoogieDeclarations]: Found specification of procedure mod_timer [2022-12-14 05:00:36,768 INFO L138 BoogieDeclarations]: Found implementation of procedure mod_timer [2022-12-14 05:00:36,768 INFO L130 BoogieDeclarations]: Found specification of procedure __ldv_spin_lock [2022-12-14 05:00:36,768 INFO L138 BoogieDeclarations]: Found implementation of procedure __ldv_spin_lock [2022-12-14 05:00:36,768 INFO L130 BoogieDeclarations]: Found specification of procedure warn_slowpath_null [2022-12-14 05:00:36,768 INFO L138 BoogieDeclarations]: Found implementation of procedure warn_slowpath_null [2022-12-14 05:00:36,768 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free_netdev [2022-12-14 05:00:36,768 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free_netdev [2022-12-14 05:00:36,768 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_mii_lock_of_tulip_private [2022-12-14 05:00:36,768 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_mii_lock_of_tulip_private [2022-12-14 05:00:36,768 INFO L130 BoogieDeclarations]: Found specification of procedure set_bit [2022-12-14 05:00:36,768 INFO L138 BoogieDeclarations]: Found implementation of procedure set_bit [2022-12-14 05:00:36,768 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_lock_of_tulip_private [2022-12-14 05:00:36,768 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_lock_of_tulip_private [2022-12-14 05:00:36,768 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2022-12-14 05:00:36,768 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2022-12-14 05:00:36,769 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_close [2022-12-14 05:00:36,769 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_close [2022-12-14 05:00:36,769 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$ [2022-12-14 05:00:36,769 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$ [2022-12-14 05:00:36,769 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_stop [2022-12-14 05:00:36,769 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_stop [2022-12-14 05:00:36,769 INFO L130 BoogieDeclarations]: Found specification of procedure napi_schedule [2022-12-14 05:00:36,769 INFO L138 BoogieDeclarations]: Found implementation of procedure napi_schedule [2022-12-14 05:00:36,769 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlock [2022-12-14 05:00:36,769 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assert_linux_kernel_locking_spinlock__one_thread_double_unlock [2022-12-14 05:00:36,769 INFO L130 BoogieDeclarations]: Found specification of procedure request_irq [2022-12-14 05:00:36,769 INFO L138 BoogieDeclarations]: Found implementation of procedure request_irq [2022-12-14 05:00:36,769 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_set_power_state [2022-12-14 05:00:36,769 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_set_power_state [2022-12-14 05:00:36,769 INFO L130 BoogieDeclarations]: Found specification of procedure netif_carrier_off [2022-12-14 05:00:36,769 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_carrier_off [2022-12-14 05:00:36,770 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_EMGentry_exit_tulip_cleanup_19_2 [2022-12-14 05:00:36,770 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_EMGentry_exit_tulip_cleanup_19_2 [2022-12-14 05:00:36,770 INFO L130 BoogieDeclarations]: Found specification of procedure disable_irq [2022-12-14 05:00:36,770 INFO L138 BoogieDeclarations]: Found implementation of procedure disable_irq [2022-12-14 05:00:36,770 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_switch_to_process_context [2022-12-14 05:00:36,770 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_switch_to_process_context [2022-12-14 05:00:36,770 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_tx_timeout [2022-12-14 05:00:36,770 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_tx_timeout [2022-12-14 05:00:36,770 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_check_duplex [2022-12-14 05:00:36,770 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_check_duplex [2022-12-14 05:00:36,770 INFO L130 BoogieDeclarations]: Found specification of procedure pci_map_single [2022-12-14 05:00:36,770 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_map_single [2022-12-14 05:00:36,770 INFO L130 BoogieDeclarations]: Found specification of procedure bitrev32 [2022-12-14 05:00:36,770 INFO L138 BoogieDeclarations]: Found implementation of procedure bitrev32 [2022-12-14 05:00:36,770 INFO L130 BoogieDeclarations]: Found specification of procedure put_unaligned_le16 [2022-12-14 05:00:36,770 INFO L138 BoogieDeclarations]: Found implementation of procedure put_unaligned_le16 [2022-12-14 05:00:36,771 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memset [2022-12-14 05:00:36,771 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memset [2022-12-14 05:00:36,771 INFO L130 BoogieDeclarations]: Found specification of procedure netif_stop_queue [2022-12-14 05:00:36,771 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_stop_queue [2022-12-14 05:00:36,771 INFO L130 BoogieDeclarations]: Found specification of procedure comet_timer [2022-12-14 05:00:36,771 INFO L138 BoogieDeclarations]: Found implementation of procedure comet_timer [2022-12-14 05:00:36,771 INFO L130 BoogieDeclarations]: Found specification of procedure get_unaligned_le16 [2022-12-14 05:00:36,771 INFO L138 BoogieDeclarations]: Found implementation of procedure get_unaligned_le16 [2022-12-14 05:00:36,771 INFO L130 BoogieDeclarations]: Found specification of procedure consume_skb [2022-12-14 05:00:36,771 INFO L138 BoogieDeclarations]: Found implementation of procedure consume_skb [2022-12-14 05:00:36,771 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2022-12-14 05:00:36,771 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_mdio_read [2022-12-14 05:00:36,771 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_mdio_read [2022-12-14 05:00:36,771 INFO L130 BoogieDeclarations]: Found specification of procedure netif_running [2022-12-14 05:00:36,771 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_running [2022-12-14 05:00:36,771 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2022-12-14 05:00:36,772 INFO L130 BoogieDeclarations]: Found specification of procedure add_timer [2022-12-14 05:00:36,772 INFO L138 BoogieDeclarations]: Found implementation of procedure add_timer [2022-12-14 05:00:36,772 INFO L130 BoogieDeclarations]: Found specification of procedure pci_enable_wake [2022-12-14 05:00:36,772 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_enable_wake [2022-12-14 05:00:36,772 INFO L130 BoogieDeclarations]: Found specification of procedure pci_clear_mwi [2022-12-14 05:00:36,772 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_clear_mwi [2022-12-14 05:00:36,772 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2022-12-14 05:00:36,772 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_down [2022-12-14 05:00:36,772 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_down [2022-12-14 05:00:36,772 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_stop_rxtx___2 [2022-12-14 05:00:36,772 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_stop_rxtx___2 [2022-12-14 05:00:36,772 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_remove_one [2022-12-14 05:00:36,772 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_remove_one [2022-12-14 05:00:36,772 INFO L130 BoogieDeclarations]: Found specification of procedure netdev_priv [2022-12-14 05:00:36,772 INFO L138 BoogieDeclarations]: Found implementation of procedure netdev_priv [2022-12-14 05:00:36,773 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_request_irq [2022-12-14 05:00:36,773 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_request_irq [2022-12-14 05:00:36,773 INFO L130 BoogieDeclarations]: Found specification of procedure mxic_timer [2022-12-14 05:00:36,773 INFO L138 BoogieDeclarations]: Found implementation of procedure mxic_timer [2022-12-14 05:00:36,773 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_positive_int [2022-12-14 05:00:36,773 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_positive_int [2022-12-14 05:00:36,773 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free_irq [2022-12-14 05:00:36,773 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free_irq [2022-12-14 05:00:36,773 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_free_ring [2022-12-14 05:00:36,773 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_free_ring [2022-12-14 05:00:36,773 INFO L130 BoogieDeclarations]: Found specification of procedure dev_kfree_skb_irq [2022-12-14 05:00:36,773 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_kfree_skb_irq [2022-12-14 05:00:36,773 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_refill_rx [2022-12-14 05:00:36,773 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_refill_rx [2022-12-14 05:00:36,773 INFO L130 BoogieDeclarations]: Found specification of procedure pnic2_timer [2022-12-14 05:00:36,773 INFO L138 BoogieDeclarations]: Found implementation of procedure pnic2_timer [2022-12-14 05:00:36,774 INFO L130 BoogieDeclarations]: Found specification of procedure netif_tx_start_queue [2022-12-14 05:00:36,774 INFO L138 BoogieDeclarations]: Found implementation of procedure netif_tx_start_queue [2022-12-14 05:00:36,774 INFO L130 BoogieDeclarations]: Found specification of procedure free_netdev [2022-12-14 05:00:36,774 INFO L138 BoogieDeclarations]: Found implementation of procedure free_netdev [2022-12-14 05:00:36,774 INFO L130 BoogieDeclarations]: Found specification of procedure del_timer_sync [2022-12-14 05:00:36,774 INFO L138 BoogieDeclarations]: Found implementation of procedure del_timer_sync [2022-12-14 05:00:36,774 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_62 [2022-12-14 05:00:36,774 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_62 [2022-12-14 05:00:36,774 INFO L130 BoogieDeclarations]: Found specification of procedure constant_test_bit [2022-12-14 05:00:36,775 INFO L138 BoogieDeclarations]: Found implementation of procedure constant_test_bit [2022-12-14 05:00:36,775 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2022-12-14 05:00:36,775 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2022-12-14 05:00:36,775 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2022-12-14 05:00:36,775 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_restart_rxtx [2022-12-14 05:00:36,775 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_restart_rxtx [2022-12-14 05:00:36,775 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2022-12-14 05:00:36,775 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2022-12-14 05:00:36,775 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_irqrestore_61___0 [2022-12-14 05:00:36,775 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_irqrestore_61___0 [2022-12-14 05:00:36,775 INFO L130 BoogieDeclarations]: Found specification of procedure enable_irq [2022-12-14 05:00:36,776 INFO L138 BoogieDeclarations]: Found implementation of procedure enable_irq [2022-12-14 05:00:36,776 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_start_rxtx [2022-12-14 05:00:36,776 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_start_rxtx [2022-12-14 05:00:36,776 INFO L130 BoogieDeclarations]: Found specification of procedure test_and_set_bit [2022-12-14 05:00:36,776 INFO L138 BoogieDeclarations]: Found implementation of procedure test_and_set_bit [2022-12-14 05:00:36,776 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_open [2022-12-14 05:00:36,776 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_open [2022-12-14 05:00:36,776 INFO L130 BoogieDeclarations]: Found specification of procedure pci_enable_device [2022-12-14 05:00:36,776 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_enable_device [2022-12-14 05:00:36,776 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free [2022-12-14 05:00:36,776 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free [2022-12-14 05:00:36,776 INFO L130 BoogieDeclarations]: Found specification of procedure schedule_work [2022-12-14 05:00:36,776 INFO L138 BoogieDeclarations]: Found implementation of procedure schedule_work [2022-12-14 05:00:36,776 INFO L130 BoogieDeclarations]: Found specification of procedure init_timer_key [2022-12-14 05:00:36,776 INFO L138 BoogieDeclarations]: Found implementation of procedure init_timer_key [2022-12-14 05:00:36,777 INFO L130 BoogieDeclarations]: Found specification of procedure pci_iounmap [2022-12-14 05:00:36,777 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_iounmap [2022-12-14 05:00:36,777 INFO L130 BoogieDeclarations]: Found specification of procedure pnic2_start_nway [2022-12-14 05:00:36,777 INFO L138 BoogieDeclarations]: Found implementation of procedure pnic2_start_nway [2022-12-14 05:00:36,777 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_power_state [2022-12-14 05:00:36,777 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_power_state [2022-12-14 05:00:36,777 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_read_eeprom [2022-12-14 05:00:36,777 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_read_eeprom [2022-12-14 05:00:36,777 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2022-12-14 05:00:36,777 INFO L130 BoogieDeclarations]: Found specification of procedure tulip_timer [2022-12-14 05:00:36,777 INFO L138 BoogieDeclarations]: Found implementation of procedure tulip_timer [2022-12-14 05:00:36,777 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2022-12-14 05:00:36,777 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2022-12-14 05:00:37,421 INFO L235 CfgBuilder]: Building ICFG [2022-12-14 05:00:37,424 INFO L261 CfgBuilder]: Building CFG for each procedure with an implementation [2022-12-14 05:00:38,427 INFO L769 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_stopFINAL: assume true; [2022-12-14 05:00:44,471 INFO L769 $ProcedureCfgBuilder]: dead code at ProgramPoint ULTIMATE.startFINAL: assume true; [2022-12-14 05:00:44,642 INFO L276 CfgBuilder]: Performing block encoding [2022-12-14 05:00:47,623 INFO L295 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2022-12-14 05:00:47,623 INFO L300 CfgBuilder]: Removed 11 assume(true) statements. [2022-12-14 05:00:47,628 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 14.12 05:00:47 BoogieIcfgContainer [2022-12-14 05:00:47,628 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2022-12-14 05:00:47,630 INFO L113 PluginConnector]: ------------------------TraceAbstraction---------------------------- [2022-12-14 05:00:47,630 INFO L271 PluginConnector]: Initializing TraceAbstraction... [2022-12-14 05:00:47,632 INFO L275 PluginConnector]: TraceAbstraction initialized [2022-12-14 05:00:47,632 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 14.12 05:00:31" (1/3) ... [2022-12-14 05:00:47,633 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@17c06e76 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 14.12 05:00:47, skipping insertion in model container [2022-12-14 05:00:47,633 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 05:00:35" (2/3) ... [2022-12-14 05:00:47,633 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@17c06e76 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 14.12 05:00:47, skipping insertion in model container [2022-12-14 05:00:47,633 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 14.12 05:00:47" (3/3) ... [2022-12-14 05:00:47,634 INFO L112 eAbstractionObserver]: Analyzing ICFG linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil.i [2022-12-14 05:00:47,648 INFO L203 ceAbstractionStarter]: Automizer settings: Hoare:true NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION [2022-12-14 05:00:47,648 INFO L162 ceAbstractionStarter]: Applying trace abstraction to program that has 3 error locations. [2022-12-14 05:00:47,756 INFO L356 AbstractCegarLoop]: ======== Iteration 0 == of CEGAR loop == AllErrorsAtOnce ======== [2022-12-14 05:00:47,762 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;@4c2cdbb9, mLbeIndependenceSettings=[IndependenceType=SEMANTIC, AbstractionType=NONE, UseConditional=false, UseSemiCommutativity=true, Solver=Z3, SolverTimeout=1000ms] [2022-12-14 05:00:47,762 INFO L358 AbstractCegarLoop]: Starting to check reachability of 3 error locations. [2022-12-14 05:00:47,776 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-12-14 05:00:47,796 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 152 [2022-12-14 05:00:47,797 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:00:47,797 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-12-14 05:00:47,798 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-12-14 05:00:47,803 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:00:47,803 INFO L85 PathProgramCache]: Analyzing trace with hash -755330209, now seen corresponding path program 1 times [2022-12-14 05:00:47,811 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:00:47,811 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [535971145] [2022-12-14 05:00:47,811 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:00:47,812 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:00:48,243 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:00:48,871 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-12-14 05:00:48,871 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:00:48,871 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [535971145] [2022-12-14 05:00:48,872 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [535971145] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:00:48,872 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:00:48,872 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:00:48,874 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1079240988] [2022-12-14 05:00:48,874 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:00:48,878 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:00:48,879 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:00:48,906 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:00:48,906 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:00:48,912 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-12-14 05:00:53,897 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:00:54,775 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:00:54,775 INFO L93 Difference]: Finished difference Result 7598 states and 11694 transitions. [2022-12-14 05:00:54,776 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:00:54,778 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-12-14 05:00:54,778 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:00:54,822 INFO L225 Difference]: With dead ends: 7598 [2022-12-14 05:00:54,822 INFO L226 Difference]: Without dead ends: 4983 [2022-12-14 05:00:54,839 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-12-14 05:00:54,841 INFO L413 NwaCegarLoop]: 4388 mSDtfsCounter, 3590 mSDsluCounter, 3496 mSDsCounter, 0 mSdLazyCounter, 902 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 5.2s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3590 SdHoareTripleChecker+Valid, 7884 SdHoareTripleChecker+Invalid, 910 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 902 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 5.5s IncrementalHoareTripleChecker+Time [2022-12-14 05:00:54,842 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3590 Valid, 7884 Invalid, 910 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [7 Valid, 902 Invalid, 1 Unknown, 0 Unchecked, 5.5s Time] [2022-12-14 05:00:54,859 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 4983 states. [2022-12-14 05:00:55,160 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 4983 to 4968. [2022-12-14 05:00:55,168 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 4968 states, 2923 states have (on average 1.3445090660280534) internal successors, (3930), 3114 states have internal predecessors, (3930), 1785 states have call successors, (1785), 258 states have call predecessors, (1785), 257 states have return successors, (1781), 1694 states have call predecessors, (1781), 1781 states have call successors, (1781) [2022-12-14 05:00:55,195 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 4968 states to 4968 states and 7496 transitions. [2022-12-14 05:00:55,197 INFO L78 Accepts]: Start accepts. Automaton has 4968 states and 7496 transitions. Word has length 151 [2022-12-14 05:00:55,198 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:00:55,198 INFO L495 AbstractCegarLoop]: Abstraction has 4968 states and 7496 transitions. [2022-12-14 05:00:55,198 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-12-14 05:00:55,198 INFO L276 IsEmpty]: Start isEmpty. Operand 4968 states and 7496 transitions. [2022-12-14 05:00:55,203 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 160 [2022-12-14 05:00:55,203 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:00:55,203 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-12-14 05:00:55,204 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable0 [2022-12-14 05:00:55,204 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-12-14 05:00:55,204 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:00:55,204 INFO L85 PathProgramCache]: Analyzing trace with hash -1347805874, now seen corresponding path program 1 times [2022-12-14 05:00:55,204 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:00:55,205 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [400996126] [2022-12-14 05:00:55,205 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:00:55,205 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:00:55,322 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:00:55,735 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-12-14 05:00:55,735 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:00:55,735 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [400996126] [2022-12-14 05:00:55,735 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [400996126] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:00:55,735 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:00:55,735 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:00:55,736 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [763813976] [2022-12-14 05:00:55,736 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:00:55,737 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:00:55,737 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:00:55,737 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:00:55,737 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:00:55,738 INFO L87 Difference]: Start difference. First operand 4968 states and 7496 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-12-14 05:01:01,212 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:01:01,648 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:01:01,648 INFO L93 Difference]: Finished difference Result 11019 states and 16647 transitions. [2022-12-14 05:01:01,649 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:01:01,649 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-12-14 05:01:01,650 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:01:01,675 INFO L225 Difference]: With dead ends: 11019 [2022-12-14 05:01:01,675 INFO L226 Difference]: Without dead ends: 6078 [2022-12-14 05:01:01,691 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-12-14 05:01:01,692 INFO L413 NwaCegarLoop]: 4123 mSDtfsCounter, 2642 mSDsluCounter, 3472 mSDsCounter, 0 mSdLazyCounter, 932 mSolverCounterSat, 17 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 5.3s 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, 5.6s IncrementalHoareTripleChecker+Time [2022-12-14 05:01:01,692 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [2642 Valid, 7595 Invalid, 950 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [17 Valid, 932 Invalid, 1 Unknown, 0 Unchecked, 5.6s Time] [2022-12-14 05:01:01,699 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 6078 states. [2022-12-14 05:01:01,959 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 6078 to 6052. [2022-12-14 05:01:01,968 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-12-14 05:01:01,989 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 6052 states to 6052 states and 9126 transitions. [2022-12-14 05:01:01,990 INFO L78 Accepts]: Start accepts. Automaton has 6052 states and 9126 transitions. Word has length 159 [2022-12-14 05:01:01,991 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:01:01,991 INFO L495 AbstractCegarLoop]: Abstraction has 6052 states and 9126 transitions. [2022-12-14 05:01:01,991 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-12-14 05:01:01,991 INFO L276 IsEmpty]: Start isEmpty. Operand 6052 states and 9126 transitions. [2022-12-14 05:01:01,994 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 161 [2022-12-14 05:01:01,994 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:01:01,994 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-12-14 05:01:01,994 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable1 [2022-12-14 05:01:01,994 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-12-14 05:01:01,994 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:01:01,995 INFO L85 PathProgramCache]: Analyzing trace with hash 1825311872, now seen corresponding path program 1 times [2022-12-14 05:01:01,995 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:01:01,995 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [1446153589] [2022-12-14 05:01:01,995 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:01:01,995 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:01:02,121 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:01:02,294 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-12-14 05:01:02,294 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:01:02,294 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [1446153589] [2022-12-14 05:01:02,294 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [1446153589] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:01:02,294 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:01:02,295 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:01:02,295 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1722988764] [2022-12-14 05:01:02,295 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:01:02,295 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:01:02,295 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:01:02,296 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:01:02,296 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:01:02,296 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-12-14 05:01:06,272 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:01:08,277 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:01:08,277 INFO L93 Difference]: Finished difference Result 15526 states and 23377 transitions. [2022-12-14 05:01:08,278 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:01:08,278 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-12-14 05:01:08,278 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:01:08,317 INFO L225 Difference]: With dead ends: 15526 [2022-12-14 05:01:08,317 INFO L226 Difference]: Without dead ends: 9501 [2022-12-14 05:01:08,337 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-12-14 05:01:08,337 INFO L413 NwaCegarLoop]: 4358 mSDtfsCounter, 3446 mSDsluCounter, 3466 mSDsCounter, 0 mSdLazyCounter, 915 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 5.4s 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, 5.7s IncrementalHoareTripleChecker+Time [2022-12-14 05:01:08,337 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3446 Valid, 7824 Invalid, 923 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [7 Valid, 915 Invalid, 1 Unknown, 0 Unchecked, 5.7s Time] [2022-12-14 05:01:08,347 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 9501 states. [2022-12-14 05:01:08,830 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 9501 to 9463. [2022-12-14 05:01:08,849 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-12-14 05:01:08,880 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 9463 states to 9463 states and 14221 transitions. [2022-12-14 05:01:08,882 INFO L78 Accepts]: Start accepts. Automaton has 9463 states and 14221 transitions. Word has length 160 [2022-12-14 05:01:08,883 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:01:08,883 INFO L495 AbstractCegarLoop]: Abstraction has 9463 states and 14221 transitions. [2022-12-14 05:01:08,883 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-12-14 05:01:08,883 INFO L276 IsEmpty]: Start isEmpty. Operand 9463 states and 14221 transitions. [2022-12-14 05:01:08,886 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 166 [2022-12-14 05:01:08,886 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:01:08,886 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-12-14 05:01:08,886 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable2 [2022-12-14 05:01:08,886 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-12-14 05:01:08,886 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:01:08,887 INFO L85 PathProgramCache]: Analyzing trace with hash -1169068463, now seen corresponding path program 1 times [2022-12-14 05:01:08,887 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:01:08,887 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [668096975] [2022-12-14 05:01:08,887 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:01:08,887 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:01:08,994 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:01:09,281 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-12-14 05:01:09,281 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:01:09,282 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [668096975] [2022-12-14 05:01:09,282 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [668096975] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:01:09,282 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:01:09,282 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:01:09,282 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1677896100] [2022-12-14 05:01:09,282 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:01:09,283 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:01:09,283 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:01:09,283 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:01:09,283 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:01:09,284 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-12-14 05:01:14,425 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:01:15,347 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:01:15,348 INFO L93 Difference]: Finished difference Result 26392 states and 39622 transitions. [2022-12-14 05:01:15,349 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:01:15,349 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-12-14 05:01:15,349 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:01:15,417 INFO L225 Difference]: With dead ends: 26392 [2022-12-14 05:01:15,417 INFO L226 Difference]: Without dead ends: 16956 [2022-12-14 05:01:15,447 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-12-14 05:01:15,447 INFO L413 NwaCegarLoop]: 4479 mSDtfsCounter, 3620 mSDsluCounter, 3495 mSDsCounter, 0 mSdLazyCounter, 942 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 5.3s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3620 SdHoareTripleChecker+Valid, 7974 SdHoareTripleChecker+Invalid, 950 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.1s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 942 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 5.6s IncrementalHoareTripleChecker+Time [2022-12-14 05:01:15,448 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3620 Valid, 7974 Invalid, 950 Unknown, 0 Unchecked, 0.1s Time], IncrementalHoareTripleChecker [7 Valid, 942 Invalid, 1 Unknown, 0 Unchecked, 5.6s Time] [2022-12-14 05:01:15,462 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 16956 states. [2022-12-14 05:01:16,145 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 16956 to 16911. [2022-12-14 05:01:16,169 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-12-14 05:01:16,228 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 16911 states to 16911 states and 25354 transitions. [2022-12-14 05:01:16,231 INFO L78 Accepts]: Start accepts. Automaton has 16911 states and 25354 transitions. Word has length 165 [2022-12-14 05:01:16,232 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:01:16,232 INFO L495 AbstractCegarLoop]: Abstraction has 16911 states and 25354 transitions. [2022-12-14 05:01:16,232 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-12-14 05:01:16,233 INFO L276 IsEmpty]: Start isEmpty. Operand 16911 states and 25354 transitions. [2022-12-14 05:01:16,235 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 173 [2022-12-14 05:01:16,235 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:01:16,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, 1, 1, 1, 1, 1, 1, 1] [2022-12-14 05:01:16,235 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable3 [2022-12-14 05:01:16,236 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-12-14 05:01:16,236 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:01:16,236 INFO L85 PathProgramCache]: Analyzing trace with hash 60025694, now seen corresponding path program 1 times [2022-12-14 05:01:16,236 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:01:16,236 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [736063052] [2022-12-14 05:01:16,236 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:01:16,236 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:01:16,343 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:01:16,638 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-12-14 05:01:16,638 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:01:16,638 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [736063052] [2022-12-14 05:01:16,639 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [736063052] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:01:16,639 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:01:16,639 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:01:16,639 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [976072028] [2022-12-14 05:01:16,639 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:01:16,639 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:01:16,640 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:01:16,640 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:01:16,640 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:01:16,640 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-12-14 05:01:22,158 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:01:23,568 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:01:23,568 INFO L93 Difference]: Finished difference Result 47457 states and 71079 transitions. [2022-12-14 05:01:23,570 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:01:23,570 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-12-14 05:01:23,570 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:01:23,666 INFO L225 Difference]: With dead ends: 47457 [2022-12-14 05:01:23,667 INFO L226 Difference]: Without dead ends: 30573 [2022-12-14 05:01:23,710 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-12-14 05:01:23,711 INFO L413 NwaCegarLoop]: 4684 mSDtfsCounter, 3631 mSDsluCounter, 3480 mSDsCounter, 0 mSdLazyCounter, 952 mSolverCounterSat, 6 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 6.0s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3631 SdHoareTripleChecker+Valid, 8164 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.2s IncrementalHoareTripleChecker+Time [2022-12-14 05:01:23,711 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3631 Valid, 8164 Invalid, 959 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [6 Valid, 952 Invalid, 1 Unknown, 0 Unchecked, 6.2s Time] [2022-12-14 05:01:23,735 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 30573 states. [2022-12-14 05:01:24,884 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 30573 to 30528. [2022-12-14 05:01:24,911 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-12-14 05:01:25,008 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 30528 states to 30528 states and 45676 transitions. [2022-12-14 05:01:25,014 INFO L78 Accepts]: Start accepts. Automaton has 30528 states and 45676 transitions. Word has length 172 [2022-12-14 05:01:25,014 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:01:25,014 INFO L495 AbstractCegarLoop]: Abstraction has 30528 states and 45676 transitions. [2022-12-14 05:01:25,014 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-12-14 05:01:25,014 INFO L276 IsEmpty]: Start isEmpty. Operand 30528 states and 45676 transitions. [2022-12-14 05:01:25,016 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 173 [2022-12-14 05:01:25,016 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:01:25,016 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-12-14 05:01:25,016 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable4 [2022-12-14 05:01:25,017 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-12-14 05:01:25,017 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:01:25,017 INFO L85 PathProgramCache]: Analyzing trace with hash -2042127881, now seen corresponding path program 1 times [2022-12-14 05:01:25,017 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:01:25,017 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [1142175847] [2022-12-14 05:01:25,017 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:01:25,017 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:01:25,104 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:01:25,315 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-12-14 05:01:25,315 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:01:25,315 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [1142175847] [2022-12-14 05:01:25,315 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [1142175847] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:01:25,315 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:01:25,315 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:01:25,316 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1808191207] [2022-12-14 05:01:25,316 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:01:25,316 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:01:25,316 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:01:25,317 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:01:25,317 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:01:25,317 INFO L87 Difference]: Start difference. First operand 30528 states and 45676 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-12-14 05:01:31,535 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:01:33,115 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:01:33,115 INFO L93 Difference]: Finished difference Result 90474 states and 135394 transitions. [2022-12-14 05:01:33,116 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:01:33,116 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-12-14 05:01:33,116 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:01:33,304 INFO L225 Difference]: With dead ends: 90474 [2022-12-14 05:01:33,304 INFO L226 Difference]: Without dead ends: 59973 [2022-12-14 05:01:33,385 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-12-14 05:01:33,385 INFO L413 NwaCegarLoop]: 4530 mSDtfsCounter, 3612 mSDsluCounter, 3494 mSDsCounter, 0 mSdLazyCounter, 949 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 6.0s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3612 SdHoareTripleChecker+Valid, 8024 SdHoareTripleChecker+Invalid, 957 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 949 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 6.3s IncrementalHoareTripleChecker+Time [2022-12-14 05:01:33,385 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3612 Valid, 8024 Invalid, 957 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [7 Valid, 949 Invalid, 1 Unknown, 0 Unchecked, 6.3s Time] [2022-12-14 05:01:33,428 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 59973 states. [2022-12-14 05:01:35,899 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 59973 to 59920. [2022-12-14 05:01:35,938 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 59920 states, 35501 states have (on average 1.3346384608884256) internal successors, (47381), 37795 states have internal predecessors, (47381), 21075 states have call successors, (21075), 3374 states have call predecessors, (21075), 3341 states have return successors, (21147), 19834 states have call predecessors, (21147), 21071 states have call successors, (21147) [2022-12-14 05:01:36,137 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 59920 states to 59920 states and 89603 transitions. [2022-12-14 05:01:36,149 INFO L78 Accepts]: Start accepts. Automaton has 59920 states and 89603 transitions. Word has length 172 [2022-12-14 05:01:36,150 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:01:36,150 INFO L495 AbstractCegarLoop]: Abstraction has 59920 states and 89603 transitions. [2022-12-14 05:01:36,150 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-12-14 05:01:36,150 INFO L276 IsEmpty]: Start isEmpty. Operand 59920 states and 89603 transitions. [2022-12-14 05:01:36,152 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 174 [2022-12-14 05:01:36,152 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:01:36,153 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-12-14 05:01:36,153 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable5 [2022-12-14 05:01:36,153 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-12-14 05:01:36,153 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:01:36,153 INFO L85 PathProgramCache]: Analyzing trace with hash 815076524, now seen corresponding path program 1 times [2022-12-14 05:01:36,153 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:01:36,153 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [522664296] [2022-12-14 05:01:36,154 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:01:36,154 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:01:36,275 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:01:36,608 INFO L134 CoverageAnalysis]: Checked inductivity of 650 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 650 trivial. 0 not checked. [2022-12-14 05:01:36,608 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:01:36,608 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [522664296] [2022-12-14 05:01:36,608 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [522664296] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:01:36,608 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:01:36,608 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:01:36,608 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1681180378] [2022-12-14 05:01:36,608 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:01:36,609 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:01:36,609 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:01:36,609 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:01:36,609 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:01:36,610 INFO L87 Difference]: Start difference. First operand 59920 states and 89603 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-12-14 05:01:42,769 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:01:45,613 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:01:45,613 INFO L93 Difference]: Finished difference Result 174967 states and 262428 transitions. [2022-12-14 05:01:45,614 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:01:45,614 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-12-14 05:01:45,615 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:01:46,083 INFO L225 Difference]: With dead ends: 174967 [2022-12-14 05:01:46,083 INFO L226 Difference]: Without dead ends: 115074 [2022-12-14 05:01:46,263 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-12-14 05:01:46,264 INFO L413 NwaCegarLoop]: 4607 mSDtfsCounter, 3621 mSDsluCounter, 3401 mSDsCounter, 0 mSdLazyCounter, 924 mSolverCounterSat, 3 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 5.7s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3621 SdHoareTripleChecker+Valid, 8008 SdHoareTripleChecker+Invalid, 928 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 3 IncrementalHoareTripleChecker+Valid, 924 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 6.1s IncrementalHoareTripleChecker+Time [2022-12-14 05:01:46,264 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3621 Valid, 8008 Invalid, 928 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [3 Valid, 924 Invalid, 1 Unknown, 0 Unchecked, 6.1s Time] [2022-12-14 05:01:46,351 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 115074 states. [2022-12-14 05:01:51,272 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 115074 to 114976. [2022-12-14 05:01:51,350 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-12-14 05:01:51,867 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 114976 states to 114976 states and 172717 transitions. [2022-12-14 05:01:51,883 INFO L78 Accepts]: Start accepts. Automaton has 114976 states and 172717 transitions. Word has length 173 [2022-12-14 05:01:51,883 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:01:51,883 INFO L495 AbstractCegarLoop]: Abstraction has 114976 states and 172717 transitions. [2022-12-14 05:01:51,883 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-12-14 05:01:51,884 INFO L276 IsEmpty]: Start isEmpty. Operand 114976 states and 172717 transitions. [2022-12-14 05:01:51,886 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 177 [2022-12-14 05:01:51,886 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:01:51,886 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-12-14 05:01:51,886 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable6 [2022-12-14 05:01:51,886 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-12-14 05:01:51,886 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:01:51,886 INFO L85 PathProgramCache]: Analyzing trace with hash 1498202883, now seen corresponding path program 1 times [2022-12-14 05:01:51,887 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:01:51,887 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [979673996] [2022-12-14 05:01:51,887 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:01:51,887 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:01:52,022 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:01:52,194 INFO L134 CoverageAnalysis]: Checked inductivity of 652 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 652 trivial. 0 not checked. [2022-12-14 05:01:52,194 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:01:52,194 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [979673996] [2022-12-14 05:01:52,194 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [979673996] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:01:52,194 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:01:52,194 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:01:52,195 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [2137084545] [2022-12-14 05:01:52,195 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:01:52,195 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:01:52,195 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:01:52,196 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:01:52,196 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:01:52,196 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) [2022-12-14 05:02:00,445 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:02:04,605 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:02:04,605 INFO L93 Difference]: Finished difference Result 342062 states and 513790 transitions. [2022-12-14 05:02:04,606 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:02:04,606 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, (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) Word has length 176 [2022-12-14 05:02:04,607 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:02:05,497 INFO L225 Difference]: With dead ends: 342062 [2022-12-14 05:02:05,497 INFO L226 Difference]: Without dead ends: 227113 [2022-12-14 05:02:05,859 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-12-14 05:02:05,859 INFO L413 NwaCegarLoop]: 4591 mSDtfsCounter, 3616 mSDsluCounter, 3494 mSDsCounter, 0 mSdLazyCounter, 954 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 5.9s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3616 SdHoareTripleChecker+Valid, 8085 SdHoareTripleChecker+Invalid, 962 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 954 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 6.2s IncrementalHoareTripleChecker+Time [2022-12-14 05:02:05,859 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3616 Valid, 8085 Invalid, 962 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [7 Valid, 954 Invalid, 1 Unknown, 0 Unchecked, 6.2s Time] [2022-12-14 05:02:06,041 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 227113 states. [2022-12-14 05:02:16,051 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 227113 to 227044. [2022-12-14 05:02:16,181 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 227044 states, 134796 states have (on average 1.3360930591412208) internal successors, (180100), 143646 states have internal predecessors, (180100), 79541 states have call successors, (79541), 12921 states have call predecessors, (79541), 12704 states have return successors, (81056), 74551 states have call predecessors, (81056), 79537 states have call successors, (81056) [2022-12-14 05:02:17,503 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 227044 states to 227044 states and 340697 transitions. [2022-12-14 05:02:17,534 INFO L78 Accepts]: Start accepts. Automaton has 227044 states and 340697 transitions. Word has length 176 [2022-12-14 05:02:17,534 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:02:17,534 INFO L495 AbstractCegarLoop]: Abstraction has 227044 states and 340697 transitions. [2022-12-14 05:02:17,534 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, (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) [2022-12-14 05:02:17,535 INFO L276 IsEmpty]: Start isEmpty. Operand 227044 states and 340697 transitions. [2022-12-14 05:02:17,536 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 181 [2022-12-14 05:02:17,537 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:02:17,537 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-12-14 05:02:17,537 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable7 [2022-12-14 05:02:17,537 INFO L420 AbstractCegarLoop]: === Iteration 9 === 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-12-14 05:02:17,537 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:02:17,537 INFO L85 PathProgramCache]: Analyzing trace with hash -217190497, now seen corresponding path program 1 times [2022-12-14 05:02:17,538 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:02:17,538 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [1099522591] [2022-12-14 05:02:17,538 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:02:17,538 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:02:17,669 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:02:17,960 INFO L134 CoverageAnalysis]: Checked inductivity of 654 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 654 trivial. 0 not checked. [2022-12-14 05:02:17,960 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:02:17,960 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [1099522591] [2022-12-14 05:02:17,960 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [1099522591] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:02:17,960 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:02:17,960 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:02:17,961 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [1856880874] [2022-12-14 05:02:17,961 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:02:17,961 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:02:17,961 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:02:17,962 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:02:17,962 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:02:17,962 INFO L87 Difference]: Start difference. First operand 227044 states and 340697 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, (25), 2 states have call predecessors, (25), 1 states have return successors, (20), 3 states have call predecessors, (20), 3 states have call successors, (20) [2022-12-14 05:02:27,828 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:02:37,115 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:02:37,116 INFO L93 Difference]: Finished difference Result 677363 states and 1016359 transitions. [2022-12-14 05:02:37,117 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:02:37,117 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, (25), 2 states have call predecessors, (25), 1 states have return successors, (20), 3 states have call predecessors, (20), 3 states have call successors, (20) Word has length 180 [2022-12-14 05:02:37,117 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:02:39,390 INFO L225 Difference]: With dead ends: 677363 [2022-12-14 05:02:39,390 INFO L226 Difference]: Without dead ends: 450346 [2022-12-14 05:02:40,130 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-12-14 05:02:40,131 INFO L413 NwaCegarLoop]: 4639 mSDtfsCounter, 3616 mSDsluCounter, 3494 mSDsCounter, 0 mSdLazyCounter, 959 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 5.6s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3616 SdHoareTripleChecker+Valid, 8133 SdHoareTripleChecker+Invalid, 967 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 959 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 6.0s IncrementalHoareTripleChecker+Time [2022-12-14 05:02:40,131 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3616 Valid, 8133 Invalid, 967 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [7 Valid, 959 Invalid, 1 Unknown, 0 Unchecked, 6.0s Time] [2022-12-14 05:02:40,509 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 450346 states. [2022-12-14 05:03:01,077 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 450346 to 450277. [2022-12-14 05:03:01,525 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 450277 states, 267358 states have (on average 1.3346449330111685) internal successors, (356828), 285056 states have internal predecessors, (356828), 157653 states have call successors, (157653), 25696 states have call predecessors, (157653), 25263 states have return successors, (160485), 147659 states have call predecessors, (160485), 157649 states have call successors, (160485) [2022-12-14 05:03:03,643 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 450277 states to 450277 states and 674966 transitions. [2022-12-14 05:03:03,702 INFO L78 Accepts]: Start accepts. Automaton has 450277 states and 674966 transitions. Word has length 180 [2022-12-14 05:03:03,703 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:03:03,703 INFO L495 AbstractCegarLoop]: Abstraction has 450277 states and 674966 transitions. [2022-12-14 05:03:03,703 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, (25), 2 states have call predecessors, (25), 1 states have return successors, (20), 3 states have call predecessors, (20), 3 states have call successors, (20) [2022-12-14 05:03:03,703 INFO L276 IsEmpty]: Start isEmpty. Operand 450277 states and 674966 transitions. [2022-12-14 05:03:03,705 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 182 [2022-12-14 05:03:03,705 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:03:03,705 INFO L195 NwaCegarLoop]: trace histogram [14, 13, 13, 13, 13, 13, 13, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-12-14 05:03:03,705 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable8 [2022-12-14 05:03:03,706 INFO L420 AbstractCegarLoop]: === Iteration 10 === 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-12-14 05:03:03,706 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:03:03,706 INFO L85 PathProgramCache]: Analyzing trace with hash 843987436, now seen corresponding path program 1 times [2022-12-14 05:03:03,706 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:03:03,706 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [404891641] [2022-12-14 05:03:03,706 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:03:03,706 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:03:03,801 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:03:04,053 INFO L134 CoverageAnalysis]: Checked inductivity of 654 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 654 trivial. 0 not checked. [2022-12-14 05:03:04,054 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:03:04,054 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [404891641] [2022-12-14 05:03:04,054 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [404891641] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:03:04,054 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:03:04,054 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [3] imperfect sequences [] total 3 [2022-12-14 05:03:04,054 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [867374156] [2022-12-14 05:03:04,054 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:03:04,055 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 3 states [2022-12-14 05:03:04,055 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:03:04,055 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 3 interpolants. [2022-12-14 05:03:04,055 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=3, Invalid=3, Unknown=0, NotChecked=0, Total=6 [2022-12-14 05:03:04,056 INFO L87 Difference]: Start difference. First operand 450277 states and 674966 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, (25), 2 states have call predecessors, (25), 1 states have return successors, (20), 3 states have call predecessors, (20), 3 states have call successors, (20) [2022-12-14 05:03:19,018 WARN L539 Checker$ProtectedHtc]: IncrementalHoareTripleChecker took 2.01s for a HTC check with result UNKNOWN. Formula has sorts [Array, Bool, Int], hasArrays=true, hasNonlinArith=false, quantifiers [] [2022-12-14 05:03:38,054 INFO L144 Difference]: Subtrahend was deterministic. Have not used determinization. [2022-12-14 05:03:38,054 INFO L93 Difference]: Finished difference Result 1342543 states and 2012326 transitions. [2022-12-14 05:03:38,055 INFO L141 InterpolantAutomaton]: Switched to read-only mode: deterministic interpolant automaton has 3 states. [2022-12-14 05:03:38,055 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, (25), 2 states have call predecessors, (25), 1 states have return successors, (20), 3 states have call predecessors, (20), 3 states have call successors, (20) Word has length 181 [2022-12-14 05:03:38,056 INFO L84 Accepts]: Finished accepts. some prefix is accepted. [2022-12-14 05:03:42,834 INFO L225 Difference]: With dead ends: 1342543 [2022-12-14 05:03:42,834 INFO L226 Difference]: Without dead ends: 892293 [2022-12-14 05:03:44,733 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-12-14 05:03:44,733 INFO L413 NwaCegarLoop]: 4797 mSDtfsCounter, 3615 mSDsluCounter, 3494 mSDsCounter, 0 mSdLazyCounter, 972 mSolverCounterSat, 7 mSolverCounterUnsat, 1 mSolverCounterUnknown, 0 mSolverCounterNotChecked, 6.0s Time, 0 mProtectedPredicate, 0 mProtectedAction, 3615 SdHoareTripleChecker+Valid, 8291 SdHoareTripleChecker+Invalid, 980 SdHoareTripleChecker+Unknown, 0 SdHoareTripleChecker+Unchecked, 0.0s SdHoareTripleChecker+Time, 7 IncrementalHoareTripleChecker+Valid, 972 IncrementalHoareTripleChecker+Invalid, 1 IncrementalHoareTripleChecker+Unknown, 0 IncrementalHoareTripleChecker+Unchecked, 6.7s IncrementalHoareTripleChecker+Time [2022-12-14 05:03:44,734 INFO L414 NwaCegarLoop]: SdHoareTripleChecker [3615 Valid, 8291 Invalid, 980 Unknown, 0 Unchecked, 0.0s Time], IncrementalHoareTripleChecker [7 Valid, 972 Invalid, 1 Unknown, 0 Unchecked, 6.7s Time] [2022-12-14 05:03:45,685 INFO L82 GeneralOperation]: Start minimizeSevpa. Operand 892293 states. [2022-12-14 05:04:28,761 INFO L88 GeneralOperation]: Finished minimizeSevpa. Reduced states from 892293 to 892224. [2022-12-14 05:04:29,507 INFO L82 GeneralOperation]: Start removeUnreachable. Operand has 892224 states, 529893 states have (on average 1.333195569671613) internal successors, (706451), 565222 states have internal predecessors, (706451), 312155 states have call successors, (312155), 51038 states have call predecessors, (312155), 50173 states have return successors, (317423), 292171 states have call predecessors, (317423), 312151 states have call successors, (317423) [2022-12-14 05:04:34,748 INFO L88 GeneralOperation]: Finished removeUnreachable. Reduced from 892224 states to 892224 states and 1336029 transitions. [2022-12-14 05:04:34,874 INFO L78 Accepts]: Start accepts. Automaton has 892224 states and 1336029 transitions. Word has length 181 [2022-12-14 05:04:34,874 INFO L84 Accepts]: Finished accepts. word is rejected. [2022-12-14 05:04:34,874 INFO L495 AbstractCegarLoop]: Abstraction has 892224 states and 1336029 transitions. [2022-12-14 05:04:34,875 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, (25), 2 states have call predecessors, (25), 1 states have return successors, (20), 3 states have call predecessors, (20), 3 states have call successors, (20) [2022-12-14 05:04:34,875 INFO L276 IsEmpty]: Start isEmpty. Operand 892224 states and 1336029 transitions. [2022-12-14 05:04:34,876 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 194 [2022-12-14 05:04:34,876 INFO L187 NwaCegarLoop]: Found error trace [2022-12-14 05:04:34,876 INFO L195 NwaCegarLoop]: trace histogram [17, 13, 13, 13, 13, 13, 13, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-12-14 05:04:34,877 WARN L477 AbstractCegarLoop]: Destroyed unattended storables created during the last iteration: SelfDestructingSolverStorable9 [2022-12-14 05:04:34,877 INFO L420 AbstractCegarLoop]: === Iteration 11 === 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-12-14 05:04:34,877 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-12-14 05:04:34,877 INFO L85 PathProgramCache]: Analyzing trace with hash 587264049, now seen corresponding path program 1 times [2022-12-14 05:04:34,877 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-12-14 05:04:34,877 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [115757391] [2022-12-14 05:04:34,878 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-12-14 05:04:34,878 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-12-14 05:04:34,966 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat [2022-12-14 05:04:35,469 INFO L134 CoverageAnalysis]: Checked inductivity of 767 backedges. 0 proven. 0 refuted. 0 times theorem prover too weak. 767 trivial. 0 not checked. [2022-12-14 05:04:35,469 INFO L136 FreeRefinementEngine]: Strategy SIFA_TAIPAN found an infeasible trace [2022-12-14 05:04:35,470 INFO L333 FreeRefinementEngine]: Using interpolant generator IpTcStrategyModuleSmtInterpolCraig [115757391] [2022-12-14 05:04:35,470 INFO L157 FreeRefinementEngine]: IpTcStrategyModuleSmtInterpolCraig [115757391] provided 1 perfect and 0 imperfect interpolant sequences [2022-12-14 05:04:35,470 INFO L184 FreeRefinementEngine]: Found 1 perfect and 0 imperfect interpolant sequences. [2022-12-14 05:04:35,470 INFO L197 FreeRefinementEngine]: Number of different interpolants: perfect sequences [5] imperfect sequences [] total 5 [2022-12-14 05:04:35,470 INFO L121 tionRefinementEngine]: Using interpolant automaton builder IpAbStrategyModuleStraightlineAll [2085649168] [2022-12-14 05:04:35,470 INFO L85 oduleStraightlineAll]: Using 1 perfect interpolants to construct interpolant automaton [2022-12-14 05:04:35,471 INFO L571 AbstractCegarLoop]: INTERPOLANT automaton has 5 states [2022-12-14 05:04:35,471 INFO L100 FreeRefinementEngine]: Using predicate unifier PredicateUnifier provided by strategy SIFA_TAIPAN [2022-12-14 05:04:35,471 INFO L143 InterpolantAutomaton]: Constructing interpolant automaton starting with 5 interpolants. [2022-12-14 05:04:35,471 INFO L145 InterpolantAutomaton]: CoverageRelationStatistics Valid=7, Invalid=13, Unknown=0, NotChecked=0, Total=20 [2022-12-14 05:04:35,471 INFO L87 Difference]: Start difference. First operand 892224 states and 1336029 transitions. Second operand has 5 states, 5 states have (on average 8.8) internal successors, (44), 4 states have internal predecessors, (44), 2 states have call successors, (24), 3 states have call predecessors, (24), 1 states have return successors, (22), 2 states have call predecessors, (22), 2 states have call successors, (22) [2022-12-14 05:04:50,407 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 []