./Ultimate.py --spec ../../sv-benchmarks/c/properties/unreach-call.prp --file ../../sv-benchmarks/c/ldv-linux-3.14/linux-3.14_linux-alloc-spinlock_drivers-net-wireless-rtlwifi-rtl8188ee-rtl8188ee.cil.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 38b53e6a Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/config/TaipanReach.xml -i ../../sv-benchmarks/c/ldv-linux-3.14/linux-3.14_linux-alloc-spinlock_drivers-net-wireless-rtlwifi-rtl8188ee-rtl8188ee.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/config/svcomp-Reach-64bit-Taipan_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 9f2f756b9685409cf929de788e36236bf6ccea349b12ba42d7ed5b2b8ce18c2f --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-38b53e6 [2022-11-25 22:30:50,873 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 22:30:50,876 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 22:30:50,908 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 22:30:50,908 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 22:30:50,909 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 22:30:50,942 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 22:30:50,946 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 22:30:50,948 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 22:30:50,949 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 22:30:50,950 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 22:30:50,953 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 22:30:50,954 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 22:30:50,961 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 22:30:50,962 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 22:30:50,963 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 22:30:50,964 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 22:30:50,965 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 22:30:50,966 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 22:30:50,968 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 22:30:50,969 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 22:30:50,976 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 22:30:50,979 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 22:30:50,980 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 22:30:50,990 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 22:30:50,990 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 22:30:50,990 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 22:30:50,991 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 22:30:50,992 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 22:30:50,993 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 22:30:50,993 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 22:30:50,994 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 22:30:50,995 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 22:30:50,995 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 22:30:50,996 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 22:30:50,997 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 22:30:50,997 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 22:30:50,998 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 22:30:50,998 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 22:30:51,006 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 22:30:51,007 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 22:30:51,008 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/config/svcomp-Reach-64bit-Taipan_Default.epf [2022-11-25 22:30:51,052 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 22:30:51,052 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 22:30:51,053 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 22:30:51,053 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 22:30:51,054 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 22:30:51,054 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 22:30:51,054 INFO L138 SettingsManager]: * User list type=DISABLED [2022-11-25 22:30:51,054 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-11-25 22:30:51,054 INFO L138 SettingsManager]: * Explicit value domain=true [2022-11-25 22:30:51,055 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2022-11-25 22:30:51,056 INFO L138 SettingsManager]: * Octagon Domain=false [2022-11-25 22:30:51,056 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2022-11-25 22:30:51,056 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2022-11-25 22:30:51,056 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2022-11-25 22:30:51,056 INFO L138 SettingsManager]: * Interval Domain=false [2022-11-25 22:30:51,057 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2022-11-25 22:30:51,057 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2022-11-25 22:30:51,057 INFO L138 SettingsManager]: * Simplification Technique=POLY_PAC [2022-11-25 22:30:51,058 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 22:30:51,058 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 22:30:51,058 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 22:30:51,058 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2022-11-25 22:30:51,058 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 22:30:51,058 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2022-11-25 22:30:51,059 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2022-11-25 22:30:51,059 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 22:30:51,059 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2022-11-25 22:30:51,060 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 22:30:51,060 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 22:30:51,060 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 22:30:51,060 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 22:30:51,061 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2022-11-25 22:30:51,061 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 22:30:51,061 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2022-11-25 22:30:51,061 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2022-11-25 22:30:51,061 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-11-25 22:30:51,062 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2022-11-25 22:30:51,062 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2022-11-25 22:30:51,062 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_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Taipan Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 9f2f756b9685409cf929de788e36236bf6ccea349b12ba42d7ed5b2b8ce18c2f [2022-11-25 22:30:51,425 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 22:30:51,457 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 22:30:51,459 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 22:30:51,461 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 22:30:51,461 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 22:30:51,462 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/../../sv-benchmarks/c/ldv-linux-3.14/linux-3.14_linux-alloc-spinlock_drivers-net-wireless-rtlwifi-rtl8188ee-rtl8188ee.cil.i [2022-11-25 22:30:54,490 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 22:30:55,591 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 22:30:55,591 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/sv-benchmarks/c/ldv-linux-3.14/linux-3.14_linux-alloc-spinlock_drivers-net-wireless-rtlwifi-rtl8188ee-rtl8188ee.cil.i [2022-11-25 22:30:55,678 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/data/5b70bf8ae/d1df6578f8174486859dc75ef9e96ef1/FLAG2cba68132 [2022-11-25 22:30:55,702 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/data/5b70bf8ae/d1df6578f8174486859dc75ef9e96ef1 [2022-11-25 22:30:55,704 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 22:30:55,705 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 22:30:55,706 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 22:30:55,707 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 22:30:55,710 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 22:30:55,712 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 10:30:55" (1/1) ... [2022-11-25 22:30:55,713 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@62f114e9 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:30:55, skipping insertion in model container [2022-11-25 22:30:55,713 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 10:30:55" (1/1) ... [2022-11-25 22:30:55,721 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 22:30:56,056 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 22:30:56,937 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:30:56,965 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:30:56,985 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:30:57,039 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_bh [2022-11-25 22:30:57,078 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_bh [2022-11-25 22:30:57,161 WARN L623 FunctionHandler]: Unknown extern function lock_acquire [2022-11-25 22:30:57,177 WARN L623 FunctionHandler]: Unknown extern function lock_release [2022-11-25 22:30:57,211 WARN L623 FunctionHandler]: Unknown extern function debug_lockdep_rcu_enabled [2022-11-25 22:30:57,213 WARN L623 FunctionHandler]: Unknown extern function rcu_is_watching [2022-11-25 22:30:57,213 WARN L623 FunctionHandler]: Unknown extern function lockdep_rcu_suspicious [2022-11-25 22:30:57,232 WARN L623 FunctionHandler]: Unknown extern function debug_lockdep_rcu_enabled [2022-11-25 22:30:57,234 WARN L623 FunctionHandler]: Unknown extern function rcu_is_watching [2022-11-25 22:30:57,234 WARN L623 FunctionHandler]: Unknown extern function lockdep_rcu_suspicious [2022-11-25 22:30:57,430 WARN L623 FunctionHandler]: Unknown extern function ieee80211_find_sta [2022-11-25 22:30:57,712 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,722 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,746 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,773 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,829 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,831 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,833 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,835 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,837 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,838 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,840 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,842 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,845 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,862 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,863 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,907 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,908 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 22:30:57,910 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,914 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 22:30:57,916 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,927 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,940 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,956 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:57,967 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,057 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,061 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,064 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,065 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,068 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,106 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,109 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,128 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,138 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,213 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,215 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,216 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,254 WARN L623 FunctionHandler]: Unknown extern function msecs_to_jiffies [2022-11-25 22:30:58,267 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,268 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,270 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,319 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:30:58,342 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:30:58,470 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:30:58,492 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-11-25 22:30:58,790 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,792 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,804 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,805 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,807 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,808 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:58,809 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,812 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,814 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,840 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,842 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,844 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,844 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:58,846 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,848 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,850 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,851 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:58,851 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,853 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,855 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,859 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,860 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,862 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,864 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,866 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,869 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,872 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,875 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:30:58,889 WARN L623 FunctionHandler]: Unknown extern function kfree_skb [2022-11-25 22:30:58,906 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,907 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:30:58,909 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,910 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:30:58,911 WARN L623 FunctionHandler]: Unknown extern function kmemleak_not_leak [2022-11-25 22:30:58,911 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 22:30:58,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,913 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,915 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:30:58,916 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,929 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,931 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,935 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,936 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:58,938 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:30:58,938 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:30:58,939 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:30:58,939 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:30:59,014 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-11-25 22:30:59,044 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-11-25 22:30:59,132 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 22:30:59,586 WARN L623 FunctionHandler]: Unknown extern function kfree_skb [2022-11-25 22:30:59,604 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,606 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,607 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,609 WARN L623 FunctionHandler]: Unknown extern function msecs_to_jiffies [2022-11-25 22:30:59,621 WARN L623 FunctionHandler]: Unknown extern function msecs_to_jiffies [2022-11-25 22:30:59,623 WARN L623 FunctionHandler]: Unknown extern function msecs_to_jiffies [2022-11-25 22:30:59,670 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,677 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,680 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,682 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,685 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,688 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,690 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,691 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,695 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,697 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,702 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,713 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,748 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,752 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,775 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,776 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,776 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,777 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,779 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,781 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,784 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,786 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,788 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,789 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,791 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_reset_all_entry [2022-11-25 22:30:59,794 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,797 WARN L623 FunctionHandler]: Unknown extern function efuse_read_1byte [2022-11-25 22:30:59,798 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,799 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,800 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,801 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,812 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,824 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,826 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,827 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,828 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,829 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,830 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,831 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,838 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,840 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-11-25 22:30:59,851 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,856 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:30:59,861 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,865 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,868 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,951 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,952 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,970 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,971 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,972 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,986 WARN L623 FunctionHandler]: Unknown extern function rtl_efuse_shadow_map_update [2022-11-25 22:30:59,987 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,988 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,989 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:30:59,991 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,992 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,993 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,994 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,994 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,995 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,996 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,997 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:30:59,998 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,015 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,017 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,115 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,116 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,117 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,118 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,131 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,146 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,147 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,151 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,152 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,164 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,165 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,166 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_add_one_entry [2022-11-25 22:31:00,167 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,167 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_add_one_entry [2022-11-25 22:31:00,168 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_add_one_entry [2022-11-25 22:31:00,171 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,172 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_mark_invalid [2022-11-25 22:31:00,172 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_empty_entry [2022-11-25 22:31:00,174 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,175 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_get_free_entry [2022-11-25 22:31:00,175 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,177 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,177 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_del_entry [2022-11-25 22:31:00,177 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_delete_one_entry [2022-11-25 22:31:00,195 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,196 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:31:00,197 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:31:00,198 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:31:00,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,228 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,230 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,231 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,243 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,287 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:31:00,469 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,470 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,470 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,471 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,472 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,483 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,513 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,514 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,514 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,515 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,515 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,516 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,516 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,516 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,518 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,529 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,530 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,531 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,554 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,565 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,568 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,589 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,591 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,591 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,593 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,594 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,595 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,596 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,598 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,599 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,600 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,601 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,612 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,613 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,626 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,626 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,626 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,627 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,627 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,627 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,628 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,628 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,628 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,647 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,648 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,648 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,649 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,649 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,649 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,650 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,650 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,650 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,651 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,657 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,660 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,665 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,666 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,667 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,668 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,669 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,670 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,671 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,672 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,678 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,679 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,680 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,681 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,682 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,683 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,684 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,685 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,687 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,692 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,695 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,697 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,700 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,734 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,737 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,738 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,739 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,743 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,744 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,745 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,746 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,747 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,748 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,749 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,759 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,769 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,781 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,782 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,909 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,910 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,913 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,916 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,927 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,928 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,939 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,946 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,946 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,948 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,949 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,949 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,950 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,951 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,983 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,984 WARN L623 FunctionHandler]: Unknown extern function rtl_ps_enable_nic [2022-11-25 22:31:00,984 WARN L623 FunctionHandler]: Unknown extern function jiffies_to_msecs [2022-11-25 22:31:00,985 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,986 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,987 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,988 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,989 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,989 WARN L623 FunctionHandler]: Unknown extern function rtl_ps_disable_nic [2022-11-25 22:31:00,990 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,991 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:00,992 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,993 WARN L623 FunctionHandler]: Unknown extern function jiffies_to_msecs [2022-11-25 22:31:00,993 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,994 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:00,995 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:31:00,996 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:31:01,012 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,014 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,015 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,016 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,017 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:01,018 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,019 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,019 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-11-25 22:31:01,020 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:01,020 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,021 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,024 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,028 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,029 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,029 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,030 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,041 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,043 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,060 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,061 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,062 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,062 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,063 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,065 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,065 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,066 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,078 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,091 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:01,091 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:01,091 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:01,092 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:01,093 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,094 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,262 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 22:31:01,424 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,426 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,427 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,467 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,467 WARN L623 FunctionHandler]: Unknown extern function request_firmware_nowait [2022-11-25 22:31:01,469 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:01,470 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:31:01,470 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:31:01,470 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:31:01,471 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:31:01,472 WARN L623 FunctionHandler]: Unknown extern function vfree [2022-11-25 22:31:02,366 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 22:31:02,369 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 22:31:02,370 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 22:31:02,371 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 22:31:02,371 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 22:31:02,381 WARN L623 FunctionHandler]: Unknown extern function rtl_phy_scan_operation_backup [2022-11-25 22:31:02,385 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_probe [2022-11-25 22:31:02,386 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_disconnect [2022-11-25 22:31:02,388 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 22:31:02,392 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_suspend [2022-11-25 22:31:02,393 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_suspend [2022-11-25 22:31:02,394 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_resume [2022-11-25 22:31:02,411 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_resume [2022-11-25 22:31:02,412 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_suspend [2022-11-25 22:31:02,413 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_resume [2022-11-25 22:31:02,414 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 22:31:02,420 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 22:31:02,421 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 22:31:02,422 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:31:02,422 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:31:02,423 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-11-25 22:31:02,423 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-11-25 22:31:02,472 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 22:31:02,473 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 22:31:02,473 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 22:31:02,487 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-11-25 22:31:02,748 WARN L623 FunctionHandler]: Unknown extern function rtl_query_rxpwrpercentage [2022-11-25 22:31:02,751 WARN L623 FunctionHandler]: Unknown extern function rtl_query_rxpwrpercentage [2022-11-25 22:31:02,752 WARN L623 FunctionHandler]: Unknown extern function rtl_query_rxpwrpercentage [2022-11-25 22:31:02,753 WARN L623 FunctionHandler]: Unknown extern function rtl_evm_db_to_percentage [2022-11-25 22:31:02,754 WARN L623 FunctionHandler]: Unknown extern function rtl_signal_scale_mapping [2022-11-25 22:31:02,754 WARN L623 FunctionHandler]: Unknown extern function rtl_signal_scale_mapping [2022-11-25 22:31:02,778 WARN L623 FunctionHandler]: Unknown extern function rtl_process_phyinfo [2022-11-25 22:31:02,794 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,796 WARN L623 FunctionHandler]: Unknown extern function rtlwifi_rate_mapping [2022-11-25 22:31:02,800 WARN L623 FunctionHandler]: Unknown extern function rtl_get_tcb_desc [2022-11-25 22:31:02,800 WARN L623 FunctionHandler]: Unknown extern function skb_push [2022-11-25 22:31:02,801 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,803 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,810 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,813 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,819 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,820 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:31:02,821 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,822 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,823 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,824 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:02,967 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 22:31:02,986 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,122 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,132 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,141 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,151 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,190 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,199 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,209 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,219 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,228 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,266 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,275 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,285 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,295 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,304 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,342 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,343 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,344 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,353 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,363 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,401 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,402 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,402 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,412 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,421 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,450 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,451 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,451 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,459 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,466 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,497 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,505 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,512 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,520 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,527 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,558 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,558 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,558 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,566 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,575 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,605 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,614 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,624 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,634 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,642 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,672 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,680 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,687 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,695 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,703 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,732 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,740 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,748 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,755 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,763 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,792 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,800 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,807 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,815 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,822 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,856 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,863 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,871 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,878 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,886 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,916 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,916 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,916 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,924 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,931 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,961 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,961 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,962 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,970 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:03,977 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,007 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,014 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,022 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,030 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,038 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,067 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,075 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,082 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,090 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,097 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,127 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,127 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,127 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,127 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,128 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,128 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,128 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,128 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,128 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,128 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,128 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,129 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,129 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,129 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,129 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,129 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,129 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,130 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:04,168 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_7b66de29-24ee-4404-b621-00ebb353df2a/sv-benchmarks/c/ldv-linux-3.14/linux-3.14_linux-alloc-spinlock_drivers-net-wireless-rtlwifi-rtl8188ee-rtl8188ee.cil.i[911729,911742] [2022-11-25 22:31:04,172 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_7b66de29-24ee-4404-b621-00ebb353df2a/sv-benchmarks/c/ldv-linux-3.14/linux-3.14_linux-alloc-spinlock_drivers-net-wireless-rtlwifi-rtl8188ee-rtl8188ee.cil.i[911874,911887] [2022-11-25 22:31:04,283 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 22:31:04,466 INFO L203 MainTranslator]: Completed pre-run [2022-11-25 22:31:04,621 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:31:04,622 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:31:04,623 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:31:04,624 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_bh [2022-11-25 22:31:04,624 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_bh [2022-11-25 22:31:04,625 WARN L623 FunctionHandler]: Unknown extern function lock_acquire [2022-11-25 22:31:04,625 WARN L623 FunctionHandler]: Unknown extern function lock_release [2022-11-25 22:31:04,635 WARN L623 FunctionHandler]: Unknown extern function debug_lockdep_rcu_enabled [2022-11-25 22:31:04,635 WARN L623 FunctionHandler]: Unknown extern function rcu_is_watching [2022-11-25 22:31:04,636 WARN L623 FunctionHandler]: Unknown extern function lockdep_rcu_suspicious [2022-11-25 22:31:04,636 WARN L623 FunctionHandler]: Unknown extern function debug_lockdep_rcu_enabled [2022-11-25 22:31:04,636 WARN L623 FunctionHandler]: Unknown extern function rcu_is_watching [2022-11-25 22:31:04,638 WARN L623 FunctionHandler]: Unknown extern function lockdep_rcu_suspicious [2022-11-25 22:31:04,672 WARN L623 FunctionHandler]: Unknown extern function ieee80211_find_sta [2022-11-25 22:31:04,739 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,741 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,744 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,747 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,753 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,754 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,755 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,757 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,758 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,759 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,760 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,762 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,765 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,766 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,786 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,787 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,789 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,790 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,791 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 22:31:04,792 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,793 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 22:31:04,794 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,798 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,804 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,806 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,808 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,809 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,812 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,813 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,815 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,817 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,820 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,822 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,825 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,826 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,836 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,837 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,838 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,848 WARN L623 FunctionHandler]: Unknown extern function msecs_to_jiffies [2022-11-25 22:31:04,850 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,851 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,853 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,857 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:31:04,858 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:31:04,859 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:31:04,859 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-11-25 22:31:04,884 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,885 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,888 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,889 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,890 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,890 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:04,891 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,893 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,894 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,895 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,899 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,901 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:04,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,906 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:04,906 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,907 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,908 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,914 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,915 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,916 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,918 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,919 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,921 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,923 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,925 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:31:04,927 WARN L623 FunctionHandler]: Unknown extern function kfree_skb [2022-11-25 22:31:04,939 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,940 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:31:04,941 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,943 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:31:04,943 WARN L623 FunctionHandler]: Unknown extern function kmemleak_not_leak [2022-11-25 22:31:04,944 WARN L623 FunctionHandler]: Unknown extern function skb_put [2022-11-25 22:31:04,944 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,945 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,946 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:31:04,947 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,950 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,951 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,954 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,955 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,958 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:31:04,958 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:31:04,959 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:31:04,959 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:31:04,960 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock [2022-11-25 22:31:04,960 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock [2022-11-25 22:31:04,964 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 22:31:04,986 WARN L623 FunctionHandler]: Unknown extern function kfree_skb [2022-11-25 22:31:04,988 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:04,989 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:04,990 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:04,991 WARN L623 FunctionHandler]: Unknown extern function msecs_to_jiffies [2022-11-25 22:31:04,993 WARN L623 FunctionHandler]: Unknown extern function msecs_to_jiffies [2022-11-25 22:31:04,995 WARN L623 FunctionHandler]: Unknown extern function msecs_to_jiffies [2022-11-25 22:31:05,002 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,009 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,011 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,013 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,016 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,020 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,021 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,024 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,026 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,029 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,032 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,037 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,040 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,043 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,044 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,044 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,045 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,047 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,049 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,052 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,053 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,055 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,056 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_reset_all_entry [2022-11-25 22:31:05,058 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,059 WARN L623 FunctionHandler]: Unknown extern function efuse_read_1byte [2022-11-25 22:31:05,060 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,061 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,062 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,063 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,065 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,068 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,069 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,070 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,071 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,072 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,073 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,074 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,077 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,079 WARN L623 FunctionHandler]: Unknown extern function synchronize_irq [2022-11-25 22:31:05,080 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,081 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,084 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,087 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,089 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,098 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,100 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,107 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,109 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,110 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,112 WARN L623 FunctionHandler]: Unknown extern function rtl_efuse_shadow_map_update [2022-11-25 22:31:05,113 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,114 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,116 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:31:05,118 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,119 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,120 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,121 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,122 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,124 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,125 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,126 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,127 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,132 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,135 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,136 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,137 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,138 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,138 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,144 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,150 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,151 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,155 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,156 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,159 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,160 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,160 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_add_one_entry [2022-11-25 22:31:05,161 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,161 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_add_one_entry [2022-11-25 22:31:05,162 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_add_one_entry [2022-11-25 22:31:05,166 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,166 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_mark_invalid [2022-11-25 22:31:05,167 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_empty_entry [2022-11-25 22:31:05,168 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,169 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_get_free_entry [2022-11-25 22:31:05,170 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,171 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,172 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_del_entry [2022-11-25 22:31:05,172 WARN L623 FunctionHandler]: Unknown extern function rtl_cam_delete_one_entry [2022-11-25 22:31:05,185 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,186 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:31:05,186 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:31:05,187 WARN L623 FunctionHandler]: Unknown extern function mod_timer [2022-11-25 22:31:05,189 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,190 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,192 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,194 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,197 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,198 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 22:31:05,201 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,201 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,202 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,202 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,203 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,205 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,208 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,208 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,209 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,209 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,210 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,210 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,211 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,211 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,213 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,215 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,216 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,217 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,221 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,224 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,229 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,231 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,232 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,233 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,234 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,236 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,237 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,239 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,240 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,241 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,242 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,245 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,246 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,249 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,250 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,250 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,251 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,251 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,252 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,252 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,252 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,253 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,253 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,254 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,254 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,255 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,255 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,255 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,256 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,256 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,256 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,258 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,259 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,261 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,266 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,268 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,269 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,270 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,271 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,273 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,274 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,275 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,276 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,278 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,279 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,280 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,281 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,283 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,284 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,285 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,288 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,289 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,292 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,294 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,296 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,305 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,307 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,309 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,310 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,312 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,313 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,315 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,315 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,317 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,318 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,319 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,320 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,321 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,329 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,331 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,349 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,350 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,352 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,353 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,356 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,476 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,477 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,478 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,483 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,484 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,485 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,486 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,495 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,496 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,497 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,501 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,501 WARN L623 FunctionHandler]: Unknown extern function rtl_ps_enable_nic [2022-11-25 22:31:05,502 WARN L623 FunctionHandler]: Unknown extern function jiffies_to_msecs [2022-11-25 22:31:05,502 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,504 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,504 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,505 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,506 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,506 WARN L623 FunctionHandler]: Unknown extern function rtl_ps_disable_nic [2022-11-25 22:31:05,508 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,508 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,509 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,509 WARN L623 FunctionHandler]: Unknown extern function jiffies_to_msecs [2022-11-25 22:31:05,510 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,510 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,513 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:31:05,513 WARN L623 FunctionHandler]: Unknown extern function __ldv_spin_lock [2022-11-25 22:31:05,526 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,528 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,528 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,529 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,530 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,531 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,532 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,532 WARN L623 FunctionHandler]: Unknown extern function __udelay [2022-11-25 22:31:05,533 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,534 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,534 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,536 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,540 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,540 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,541 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,541 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,543 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,544 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,547 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,547 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,548 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,549 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,549 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,551 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,552 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,553 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,556 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,559 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,559 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,559 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,560 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 22:31:05,561 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,562 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,564 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 22:31:05,567 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,567 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,569 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,569 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,569 WARN L623 FunctionHandler]: Unknown extern function request_firmware_nowait [2022-11-25 22:31:05,570 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,571 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:31:05,571 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:31:05,572 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:31:05,572 WARN L623 FunctionHandler]: Unknown extern function init_timer_key [2022-11-25 22:31:05,573 WARN L623 FunctionHandler]: Unknown extern function vfree [2022-11-25 22:31:05,580 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 22:31:05,583 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 22:31:05,584 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 22:31:05,584 WARN L623 FunctionHandler]: Unknown extern function rtnl_lock [2022-11-25 22:31:05,585 WARN L623 FunctionHandler]: Unknown extern function rtnl_unlock [2022-11-25 22:31:05,592 WARN L623 FunctionHandler]: Unknown extern function rtl_phy_scan_operation_backup [2022-11-25 22:31:05,595 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_probe [2022-11-25 22:31:05,595 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_disconnect [2022-11-25 22:31:05,597 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 22:31:05,599 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_suspend [2022-11-25 22:31:05,600 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_suspend [2022-11-25 22:31:05,601 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_resume [2022-11-25 22:31:05,601 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_resume [2022-11-25 22:31:05,602 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_suspend [2022-11-25 22:31:05,603 WARN L623 FunctionHandler]: Unknown extern function rtl_pci_resume [2022-11-25 22:31:05,603 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 22:31:05,625 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_interrupt_context [2022-11-25 22:31:05,626 WARN L623 FunctionHandler]: Unknown extern function ldv_switch_to_process_context [2022-11-25 22:31:05,626 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:31:05,627 WARN L623 FunctionHandler]: Unknown extern function del_timer_sync [2022-11-25 22:31:05,627 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-11-25 22:31:05,628 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-11-25 22:31:05,631 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 22:31:05,632 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 22:31:05,632 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 22:31:05,633 WARN L623 FunctionHandler]: Unknown extern function debug_dma_mapping_error [2022-11-25 22:31:05,641 WARN L623 FunctionHandler]: Unknown extern function rtl_query_rxpwrpercentage [2022-11-25 22:31:05,644 WARN L623 FunctionHandler]: Unknown extern function rtl_query_rxpwrpercentage [2022-11-25 22:31:05,645 WARN L623 FunctionHandler]: Unknown extern function rtl_query_rxpwrpercentage [2022-11-25 22:31:05,645 WARN L623 FunctionHandler]: Unknown extern function rtl_evm_db_to_percentage [2022-11-25 22:31:05,646 WARN L623 FunctionHandler]: Unknown extern function rtl_signal_scale_mapping [2022-11-25 22:31:05,647 WARN L623 FunctionHandler]: Unknown extern function rtl_signal_scale_mapping [2022-11-25 22:31:05,651 WARN L623 FunctionHandler]: Unknown extern function rtl_process_phyinfo [2022-11-25 22:31:05,662 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,664 WARN L623 FunctionHandler]: Unknown extern function rtlwifi_rate_mapping [2022-11-25 22:31:05,667 WARN L623 FunctionHandler]: Unknown extern function rtl_get_tcb_desc [2022-11-25 22:31:05,667 WARN L623 FunctionHandler]: Unknown extern function skb_push [2022-11-25 22:31:05,668 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,669 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,676 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,681 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,683 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,686 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,687 WARN L623 FunctionHandler]: Unknown extern function print_hex_dump [2022-11-25 22:31:05,688 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,689 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,690 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,690 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:31:05,693 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 22:31:05,694 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,700 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,700 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,701 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,701 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,702 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,702 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,702 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,703 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,703 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,704 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,704 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,705 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,705 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,705 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,706 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,706 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,707 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,707 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,708 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,708 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,709 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,709 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,709 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,710 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,711 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,711 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,711 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,712 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,712 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,713 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,713 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,714 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,714 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,714 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,715 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,716 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,716 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,716 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,717 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,717 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,718 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,718 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,718 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,719 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,720 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,720 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,720 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,721 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,721 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,722 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,722 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,722 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,723 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,723 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,724 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,726 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,726 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,727 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,727 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,728 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,728 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,729 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,729 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,729 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,730 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,731 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,731 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,731 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,732 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,732 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,733 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,733 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,734 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,734 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,735 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,735 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,735 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,736 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,736 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,737 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,738 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,738 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,739 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,739 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,740 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,740 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,740 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,741 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,741 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,741 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,741 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,742 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,742 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,742 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,742 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,742 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,743 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,743 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,743 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,743 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,744 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,744 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:31:05,745 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_7b66de29-24ee-4404-b621-00ebb353df2a/sv-benchmarks/c/ldv-linux-3.14/linux-3.14_linux-alloc-spinlock_drivers-net-wireless-rtlwifi-rtl8188ee-rtl8188ee.cil.i[911729,911742] [2022-11-25 22:31:05,746 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_7b66de29-24ee-4404-b621-00ebb353df2a/sv-benchmarks/c/ldv-linux-3.14/linux-3.14_linux-alloc-spinlock_drivers-net-wireless-rtlwifi-rtl8188ee-rtl8188ee.cil.i[911874,911887] [2022-11-25 22:31:05,751 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 22:31:06,113 INFO L208 MainTranslator]: Completed translation [2022-11-25 22:31:06,114 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06 WrapperNode [2022-11-25 22:31:06,114 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-25 22:31:06,115 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2022-11-25 22:31:06,115 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2022-11-25 22:31:06,115 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2022-11-25 22:31:06,122 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:06,450 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:07,217 INFO L138 Inliner]: procedures = 700, calls = 11119, calls flagged for inlining = 356, calls inlined = 335, statements flattened = 24763 [2022-11-25 22:31:07,218 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2022-11-25 22:31:07,219 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2022-11-25 22:31:07,219 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2022-11-25 22:31:07,219 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2022-11-25 22:31:07,230 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:07,231 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:07,446 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:07,462 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:08,077 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:08,161 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:08,344 INFO L185 PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:08,403 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:08,562 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2022-11-25 22:31:08,563 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2022-11-25 22:31:08,563 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2022-11-25 22:31:08,563 INFO L275 PluginConnector]: RCFGBuilder initialized [2022-11-25 22:31:08,564 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (1/1) ... [2022-11-25 22:31:08,571 INFO L173 SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 22:31:08,583 INFO L189 MonitoredProcess]: No working directory specified, using /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/z3 [2022-11-25 22:31:08,597 INFO L229 MonitoredProcess]: Starting monitored process 1 with /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2022-11-25 22:31:08,622 INFO L327 MonitoredProcess]: [MP /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7b66de29-24ee-4404-b621-00ebb353df2a/bin/utaipan-ByfvJB40ur/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process [2022-11-25 22:31:08,642 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_set_check_bssid [2022-11-25 22:31:08,642 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_set_check_bssid [2022-11-25 22:31:08,643 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_query_rf_reg [2022-11-25 22:31:08,644 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_query_rf_reg [2022-11-25 22:31:08,644 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_sw_led_on [2022-11-25 22:31:08,644 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_sw_led_on [2022-11-25 22:31:08,644 INFO L130 BoogieDeclarations]: Found specification of procedure debug_lockdep_rcu_enabled [2022-11-25 22:31:08,644 INFO L138 BoogieDeclarations]: Found implementation of procedure debug_lockdep_rcu_enabled [2022-11-25 22:31:08,645 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_irqrestore_88 [2022-11-25 22:31:08,645 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_irqrestore_88 [2022-11-25 22:31:08,645 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_malloc [2022-11-25 22:31:08,645 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_malloc [2022-11-25 22:31:08,645 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_lc_calibrate [2022-11-25 22:31:08,645 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_lc_calibrate [2022-11-25 22:31:08,645 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl8188e_config_bb_reg [2022-11-25 22:31:08,646 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl8188e_config_bb_reg [2022-11-25 22:31:08,646 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_timer_timer_instance_4 [2022-11-25 22:31:08,646 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_timer_timer_instance_4 [2022-11-25 22:31:08,646 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_read_word [2022-11-25 22:31:08,646 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_read_word [2022-11-25 22:31:08,646 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_fwlps_enter [2022-11-25 22:31:08,646 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_fwlps_enter [2022-11-25 22:31:08,647 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88e_phy_path_adda_on [2022-11-25 22:31:08,647 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88e_phy_path_adda_on [2022-11-25 22:31:08,647 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_signal_scale_mapping [2022-11-25 22:31:08,647 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_signal_scale_mapping [2022-11-25 22:31:08,647 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_write_byte [2022-11-25 22:31:08,648 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_write_byte [2022-11-25 22:31:08,648 INFO L130 BoogieDeclarations]: Found specification of procedure valid_dma_direction [2022-11-25 22:31:08,648 INFO L138 BoogieDeclarations]: Found implementation of procedure valid_dma_direction [2022-11-25 22:31:08,648 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~int~TO~VOID [2022-11-25 22:31:08,648 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~int~TO~VOID [2022-11-25 22:31:08,649 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_query_bb_reg [2022-11-25 22:31:08,649 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_query_bb_reg [2022-11-25 22:31:08,649 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_suspend [2022-11-25 22:31:08,649 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_suspend [2022-11-25 22:31:08,649 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_enable_interrupt [2022-11-25 22:31:08,649 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_enable_interrupt [2022-11-25 22:31:08,649 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_sw_led_off [2022-11-25 22:31:08,650 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_sw_led_off [2022-11-25 22:31:08,650 INFO L130 BoogieDeclarations]: Found specification of procedure memcmp [2022-11-25 22:31:08,650 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_write_dword [2022-11-25 22:31:08,650 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_write_dword [2022-11-25 22:31:08,650 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_xmalloc [2022-11-25 22:31:08,650 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_xmalloc [2022-11-25 22:31:08,650 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_config_rf_with_headerfile [2022-11-25 22:31:08,650 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_config_rf_with_headerfile [2022-11-25 22:31:08,651 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_firmware_selfreset [2022-11-25 22:31:08,651 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_firmware_selfreset [2022-11-25 22:31:08,651 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_is_err [2022-11-25 22:31:08,651 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_is_err [2022-11-25 22:31:08,651 INFO L130 BoogieDeclarations]: Found specification of procedure spin_unlock_irqrestore [2022-11-25 22:31:08,651 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_unlock_irqrestore [2022-11-25 22:31:08,651 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_get_desc [2022-11-25 22:31:08,652 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_get_desc [2022-11-25 22:31:08,652 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_set_beacon_interval [2022-11-25 22:31:08,652 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_set_beacon_interval [2022-11-25 22:31:08,652 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_disable_interrupt [2022-11-25 22:31:08,652 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_disable_interrupt [2022-11-25 22:31:08,652 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2022-11-25 22:31:08,652 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_resume [2022-11-25 22:31:08,652 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_resume [2022-11-25 22:31:08,653 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_rf_lock_of_rtl_locks [2022-11-25 22:31:08,653 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_rf_lock_of_rtl_locks [2022-11-25 22:31:08,653 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_105 [2022-11-25 22:31:08,653 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_105 [2022-11-25 22:31:08,653 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_del_timer_sync [2022-11-25 22:31:08,653 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_del_timer_sync [2022-11-25 22:31:08,653 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mod_timer_103 [2022-11-25 22:31:08,654 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mod_timer_103 [2022-11-25 22:31:08,654 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_update_channel_access_setting [2022-11-25 22:31:08,654 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_update_channel_access_setting [2022-11-25 22:31:08,654 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_dm_update_rx_idle_ant [2022-11-25 22:31:08,654 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_dm_update_rx_idle_ant [2022-11-25 22:31:08,654 INFO L130 BoogieDeclarations]: Found specification of procedure get_rf_type [2022-11-25 22:31:08,654 INFO L138 BoogieDeclarations]: Found implementation of procedure get_rf_type [2022-11-25 22:31:08,655 INFO L130 BoogieDeclarations]: Found specification of procedure spin_unlock_bh [2022-11-25 22:31:08,655 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_unlock_bh [2022-11-25 22:31:08,655 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~int [2022-11-25 22:31:08,655 INFO L130 BoogieDeclarations]: Found specification of procedure ieee80211_has_protected [2022-11-25 22:31:08,655 INFO L138 BoogieDeclarations]: Found implementation of procedure ieee80211_has_protected [2022-11-25 22:31:08,655 INFO L130 BoogieDeclarations]: Found specification of procedure get_dma_ops [2022-11-25 22:31:08,655 INFO L138 BoogieDeclarations]: Found implementation of procedure get_dma_ops [2022-11-25 22:31:08,655 INFO L130 BoogieDeclarations]: Found specification of procedure is_hal_stop [2022-11-25 22:31:08,656 INFO L138 BoogieDeclarations]: Found implementation of procedure is_hal_stop [2022-11-25 22:31:08,656 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~int [2022-11-25 22:31:08,656 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assume [2022-11-25 22:31:08,656 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assume [2022-11-25 22:31:08,656 INFO L130 BoogieDeclarations]: Found specification of procedure rf_serial_read [2022-11-25 22:31:08,656 INFO L138 BoogieDeclarations]: Found implementation of procedure rf_serial_read [2022-11-25 22:31:08,656 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2022-11-25 22:31:08,657 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_update_interrupt_mask [2022-11-25 22:31:08,657 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_update_interrupt_mask [2022-11-25 22:31:08,657 INFO L130 BoogieDeclarations]: Found specification of procedure __phys_addr [2022-11-25 22:31:08,657 INFO L138 BoogieDeclarations]: Found implementation of procedure __phys_addr [2022-11-25 22:31:08,657 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_fw_clk_off_timer_callback [2022-11-25 22:31:08,657 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_fw_clk_off_timer_callback [2022-11-25 22:31:08,657 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memcpy [2022-11-25 22:31:08,657 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memcpy [2022-11-25 22:31:08,658 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_bh_88 [2022-11-25 22:31:08,658 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_bh_88 [2022-11-25 22:31:08,658 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_set_rf_reg [2022-11-25 22:31:08,658 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_set_rf_reg [2022-11-25 22:31:08,658 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_err_code [2022-11-25 22:31:08,658 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_err_code [2022-11-25 22:31:08,658 INFO L130 BoogieDeclarations]: Found specification of procedure rcu_is_watching [2022-11-25 22:31:08,659 INFO L138 BoogieDeclarations]: Found implementation of procedure rcu_is_watching [2022-11-25 22:31:08,659 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_alloc_flags [2022-11-25 22:31:08,659 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_alloc_flags [2022-11-25 22:31:08,659 INFO L130 BoogieDeclarations]: Found specification of procedure print_hex_dump [2022-11-25 22:31:08,659 INFO L138 BoogieDeclarations]: Found implementation of procedure print_hex_dump [2022-11-25 22:31:08,659 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_card_disable [2022-11-25 22:31:08,659 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_card_disable [2022-11-25 22:31:08,659 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88e_check_fw_read_last_h2c [2022-11-25 22:31:08,660 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88e_check_fw_read_last_h2c [2022-11-25 22:31:08,660 INFO L130 BoogieDeclarations]: Found specification of procedure ieee80211_is_beacon [2022-11-25 22:31:08,660 INFO L138 BoogieDeclarations]: Found implementation of procedure ieee80211_is_beacon [2022-11-25 22:31:08,660 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~u32~0~TO~~u16~0 [2022-11-25 22:31:08,660 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~u32~0~TO~~u16~0 [2022-11-25 22:31:08,661 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_led_control [2022-11-25 22:31:08,661 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_led_control [2022-11-25 22:31:08,661 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_bh_87___0 [2022-11-25 22:31:08,661 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_bh_87___0 [2022-11-25 22:31:08,662 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_set_beacon_related_registers [2022-11-25 22:31:08,662 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_set_beacon_related_registers [2022-11-25 22:31:08,662 INFO L130 BoogieDeclarations]: Found specification of procedure save_adda_reg [2022-11-25 22:31:08,662 INFO L138 BoogieDeclarations]: Found implementation of procedure save_adda_reg [2022-11-25 22:31:08,662 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~u32~0~TO~~u8~0 [2022-11-25 22:31:08,662 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~u32~0~TO~~u8~0 [2022-11-25 22:31:08,662 INFO L130 BoogieDeclarations]: Found specification of procedure __skb_dequeue [2022-11-25 22:31:08,663 INFO L138 BoogieDeclarations]: Found implementation of procedure __skb_dequeue [2022-11-25 22:31:08,663 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2022-11-25 22:31:08,663 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_timer_instance_callback_4_2 [2022-11-25 22:31:08,663 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_timer_instance_callback_4_2 [2022-11-25 22:31:08,663 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mod_timer [2022-11-25 22:31:08,663 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mod_timer [2022-11-25 22:31:08,663 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_set_hw_reg [2022-11-25 22:31:08,663 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_set_hw_reg [2022-11-25 22:31:08,664 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit [2022-11-25 22:31:08,664 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_int [2022-11-25 22:31:08,664 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_int [2022-11-25 22:31:08,664 INFO L130 BoogieDeclarations]: Found specification of procedure __const_udelay [2022-11-25 22:31:08,664 INFO L138 BoogieDeclarations]: Found implementation of procedure __const_udelay [2022-11-25 22:31:08,664 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2022-11-25 22:31:08,664 INFO L130 BoogieDeclarations]: Found specification of procedure __bad_percpu_size [2022-11-25 22:31:08,665 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_set_rfpath_switch [2022-11-25 22:31:08,665 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_set_rfpath_switch [2022-11-25 22:31:08,665 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~VOID [2022-11-25 22:31:08,665 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~VOID [2022-11-25 22:31:08,665 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~int [2022-11-25 22:31:08,665 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~int [2022-11-25 22:31:08,665 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_update_hal_rate_tbl [2022-11-25 22:31:08,665 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_update_hal_rate_tbl [2022-11-25 22:31:08,666 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_set_txpower_level [2022-11-25 22:31:08,666 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_set_txpower_level [2022-11-25 22:31:08,666 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mod_timer_97 [2022-11-25 22:31:08,666 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mod_timer_97 [2022-11-25 22:31:08,666 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_exclusive_spin_is_locked [2022-11-25 22:31:08,666 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_exclusive_spin_is_locked [2022-11-25 22:31:08,666 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mod_timer_94 [2022-11-25 22:31:08,667 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mod_timer_94 [2022-11-25 22:31:08,667 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_assert [2022-11-25 22:31:08,667 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_assert [2022-11-25 22:31:08,667 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mod_timer_93 [2022-11-25 22:31:08,667 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mod_timer_93 [2022-11-25 22:31:08,667 INFO L130 BoogieDeclarations]: Found specification of procedure mod_timer [2022-11-25 22:31:08,667 INFO L138 BoogieDeclarations]: Found implementation of procedure mod_timer [2022-11-25 22:31:08,667 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_set_bb_reg [2022-11-25 22:31:08,668 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_set_bb_reg [2022-11-25 22:31:08,668 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_set_qos [2022-11-25 22:31:08,668 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_set_qos [2022-11-25 22:31:08,668 INFO L130 BoogieDeclarations]: Found specification of procedure __ldv_spin_lock [2022-11-25 22:31:08,668 INFO L138 BoogieDeclarations]: Found implementation of procedure __ldv_spin_lock [2022-11-25 22:31:08,668 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_iq_calibrate [2022-11-25 22:31:08,668 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_iq_calibrate [2022-11-25 22:31:08,668 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~int~TO~VOID [2022-11-25 22:31:08,669 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~int~TO~VOID [2022-11-25 22:31:08,669 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_cam_add_one_entry [2022-11-25 22:31:08,669 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_cam_add_one_entry [2022-11-25 22:31:08,669 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_dm_check_txpower_tracking [2022-11-25 22:31:08,669 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_dm_check_txpower_tracking [2022-11-25 22:31:08,669 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_init_led [2022-11-25 22:31:08,669 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_init_led [2022-11-25 22:31:08,670 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_dm_txpower_track_adjust [2022-11-25 22:31:08,670 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_dm_txpower_track_adjust [2022-11-25 22:31:08,670 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_irqrestore_88___0 [2022-11-25 22:31:08,670 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_irqrestore_88___0 [2022-11-25 22:31:08,670 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_poweroff_adapter [2022-11-25 22:31:08,670 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_poweroff_adapter [2022-11-25 22:31:08,670 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_dm_init_edca_turbo [2022-11-25 22:31:08,670 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_dm_init_edca_turbo [2022-11-25 22:31:08,671 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_set_bcn_ctrl_reg [2022-11-25 22:31:08,671 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_set_bcn_ctrl_reg [2022-11-25 22:31:08,671 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_init_sw_leds [2022-11-25 22:31:08,671 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_init_sw_leds [2022-11-25 22:31:08,671 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2022-11-25 22:31:08,671 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2022-11-25 22:31:08,671 INFO L130 BoogieDeclarations]: Found specification of procedure spin_lock_bh [2022-11-25 22:31:08,672 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_lock_bh [2022-11-25 22:31:08,672 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88_hal_pwrseqcmdparsing [2022-11-25 22:31:08,672 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88_hal_pwrseqcmdparsing [2022-11-25 22:31:08,672 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_enable_hw_security_config [2022-11-25 22:31:08,672 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_enable_hw_security_config [2022-11-25 22:31:08,672 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_h2c_lock_of_rtl_locks [2022-11-25 22:31:08,672 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_h2c_lock_of_rtl_locks [2022-11-25 22:31:08,672 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$ [2022-11-25 22:31:08,673 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$ [2022-11-25 22:31:08,673 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_stop [2022-11-25 22:31:08,673 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_stop [2022-11-25 22:31:08,673 INFO L130 BoogieDeclarations]: Found specification of procedure ieee80211_get_DA [2022-11-25 22:31:08,673 INFO L138 BoogieDeclarations]: Found implementation of procedure ieee80211_get_DA [2022-11-25 22:31:08,673 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_set_rfreg [2022-11-25 22:31:08,673 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_set_rfreg [2022-11-25 22:31:08,674 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock_bh_88___0 [2022-11-25 22:31:08,674 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock_bh_88___0 [2022-11-25 22:31:08,674 INFO L130 BoogieDeclarations]: Found specification of procedure get_current [2022-11-25 22:31:08,674 INFO L138 BoogieDeclarations]: Found implementation of procedure get_current [2022-11-25 22:31:08,674 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_dispatch_instance_register_6_2 [2022-11-25 22:31:08,675 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_dispatch_instance_register_6_2 [2022-11-25 22:31:08,675 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~u8~0~X~$Pointer$~TO~VOID [2022-11-25 22:31:08,675 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~u8~0~X~$Pointer$~TO~VOID [2022-11-25 22:31:08,675 INFO L130 BoogieDeclarations]: Found specification of procedure rtnl_unlock [2022-11-25 22:31:08,675 INFO L138 BoogieDeclarations]: Found implementation of procedure rtnl_unlock [2022-11-25 22:31:08,675 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_set_iqk_matrix [2022-11-25 22:31:08,675 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_set_iqk_matrix [2022-11-25 22:31:08,675 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_chk_tx_track [2022-11-25 22:31:08,676 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_chk_tx_track [2022-11-25 22:31:08,676 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_dm_fast_antenna_training_callback [2022-11-25 22:31:08,676 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_dm_fast_antenna_training_callback [2022-11-25 22:31:08,676 INFO L130 BoogieDeclarations]: Found specification of procedure ieee80211_is_data_qos [2022-11-25 22:31:08,676 INFO L138 BoogieDeclarations]: Found implementation of procedure ieee80211_is_data_qos [2022-11-25 22:31:08,676 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_stop_tx_beacon [2022-11-25 22:31:08,676 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_stop_tx_beacon [2022-11-25 22:31:08,676 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_read_byte [2022-11-25 22:31:08,677 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_read_byte [2022-11-25 22:31:08,677 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_write_word [2022-11-25 22:31:08,677 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_write_word [2022-11-25 22:31:08,677 INFO L130 BoogieDeclarations]: Found specification of procedure pci_map_single [2022-11-25 22:31:08,677 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_map_single [2022-11-25 22:31:08,677 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_llt_write [2022-11-25 22:31:08,677 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_llt_write [2022-11-25 22:31:08,678 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memset [2022-11-25 22:31:08,678 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memset [2022-11-25 22:31:08,678 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_pci_suspend [2022-11-25 22:31:08,678 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_pci_suspend [2022-11-25 22:31:08,678 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_dm_watchdog [2022-11-25 22:31:08,678 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_dm_watchdog [2022-11-25 22:31:08,678 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_post_probe [2022-11-25 22:31:08,678 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_post_probe [2022-11-25 22:31:08,679 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_set_bw_mode [2022-11-25 22:31:08,679 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_set_bw_mode [2022-11-25 22:31:08,679 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_dm_fast_ant_training [2022-11-25 22:31:08,679 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_dm_fast_ant_training [2022-11-25 22:31:08,679 INFO L130 BoogieDeclarations]: Found specification of procedure sim_comp [2022-11-25 22:31:08,679 INFO L138 BoogieDeclarations]: Found implementation of procedure sim_comp [2022-11-25 22:31:08,679 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_deinit_sw_vars [2022-11-25 22:31:08,680 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_deinit_sw_vars [2022-11-25 22:31:08,680 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_tx_polling [2022-11-25 22:31:08,680 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_tx_polling [2022-11-25 22:31:08,680 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2022-11-25 22:31:08,680 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2022-11-25 22:31:08,680 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88e_phy_pi_mode_switch [2022-11-25 22:31:08,680 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88e_phy_pi_mode_switch [2022-11-25 22:31:08,680 INFO L130 BoogieDeclarations]: Found specification of procedure cal_bit_shift [2022-11-25 22:31:08,681 INFO L138 BoogieDeclarations]: Found implementation of procedure cal_bit_shift [2022-11-25 22:31:08,681 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88e_enable_fw_download [2022-11-25 22:31:08,681 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88e_enable_fw_download [2022-11-25 22:31:08,681 INFO L130 BoogieDeclarations]: Found specification of procedure ieee80211_is_ctl [2022-11-25 22:31:08,681 INFO L138 BoogieDeclarations]: Found implementation of procedure ieee80211_is_ctl [2022-11-25 22:31:08,681 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~u32~0~X~~u32~0~TO~VOID [2022-11-25 22:31:08,683 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~u32~0~X~~u32~0~TO~VOID [2022-11-25 22:31:08,683 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2022-11-25 22:31:08,683 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~structbegin~int~structend~~TO~int [2022-11-25 22:31:08,683 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~structbegin~int~structend~~TO~int [2022-11-25 22:31:08,683 INFO L130 BoogieDeclarations]: Found specification of procedure kfree_skb [2022-11-25 22:31:08,683 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree_skb [2022-11-25 22:31:08,684 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_pre_probe [2022-11-25 22:31:08,684 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_pre_probe [2022-11-25 22:31:08,684 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_set_fw_ps_rf_on [2022-11-25 22:31:08,684 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_set_fw_ps_rf_on [2022-11-25 22:31:08,684 INFO L130 BoogieDeclarations]: Found specification of procedure preempt_count___3 [2022-11-25 22:31:08,684 INFO L138 BoogieDeclarations]: Found implementation of procedure preempt_count___3 [2022-11-25 22:31:08,684 INFO L130 BoogieDeclarations]: Found specification of procedure preempt_count___0 [2022-11-25 22:31:08,685 INFO L138 BoogieDeclarations]: Found implementation of procedure preempt_count___0 [2022-11-25 22:31:08,685 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_filter_positive_int [2022-11-25 22:31:08,685 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_filter_positive_int [2022-11-25 22:31:08,685 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_hw_init [2022-11-25 22:31:08,685 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_hw_init [2022-11-25 22:31:08,685 INFO L130 BoogieDeclarations]: Found specification of procedure check_cond [2022-11-25 22:31:08,685 INFO L138 BoogieDeclarations]: Found implementation of procedure check_cond [2022-11-25 22:31:08,685 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_get_rfreg [2022-11-25 22:31:08,686 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_get_rfreg [2022-11-25 22:31:08,686 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_dm_initial_gain_min_pwdb [2022-11-25 22:31:08,686 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_dm_initial_gain_min_pwdb [2022-11-25 22:31:08,686 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88e_phy_iq_calibrate [2022-11-25 22:31:08,686 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88e_phy_iq_calibrate [2022-11-25 22:31:08,686 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_set_fw_ps_rf_off_low_power [2022-11-25 22:31:08,686 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_set_fw_ps_rf_off_low_power [2022-11-25 22:31:08,686 INFO L130 BoogieDeclarations]: Found specification of procedure jiffies_to_msecs [2022-11-25 22:31:08,687 INFO L138 BoogieDeclarations]: Found implementation of procedure jiffies_to_msecs [2022-11-25 22:31:08,687 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_pci_resume [2022-11-25 22:31:08,687 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_pci_resume [2022-11-25 22:31:08,687 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~u32~0~TO~~u32~0 [2022-11-25 22:31:08,687 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~u32~0~TO~~u32~0 [2022-11-25 22:31:08,687 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_get_hw_reg [2022-11-25 22:31:08,687 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_get_hw_reg [2022-11-25 22:31:08,688 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_phy_scan_operation_backup [2022-11-25 22:31:08,688 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_phy_scan_operation_backup [2022-11-25 22:31:08,688 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_bh_87 [2022-11-25 22:31:08,688 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_bh_87 [2022-11-25 22:31:08,688 INFO L130 BoogieDeclarations]: Found specification of procedure del_timer_sync [2022-11-25 22:31:08,688 INFO L138 BoogieDeclarations]: Found implementation of procedure del_timer_sync [2022-11-25 22:31:08,688 INFO L130 BoogieDeclarations]: Found specification of procedure pci_dma_mapping_error [2022-11-25 22:31:08,688 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_dma_mapping_error [2022-11-25 22:31:08,689 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_fill_h2c_cmd [2022-11-25 22:31:08,689 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_fill_h2c_cmd [2022-11-25 22:31:08,689 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88e_fw_page_write [2022-11-25 22:31:08,689 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88e_fw_page_write [2022-11-25 22:31:08,689 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_query_rxpwrpercentage [2022-11-25 22:31:08,689 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_query_rxpwrpercentage [2022-11-25 22:31:08,689 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_dm_update_tx_ant [2022-11-25 22:31:08,690 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_dm_update_tx_ant [2022-11-25 22:31:08,690 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2022-11-25 22:31:08,690 INFO L130 BoogieDeclarations]: Found specification of procedure reload_adda [2022-11-25 22:31:08,690 INFO L138 BoogieDeclarations]: Found implementation of procedure reload_adda [2022-11-25 22:31:08,690 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2022-11-25 22:31:08,690 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2022-11-25 22:31:08,690 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_get_bbreg [2022-11-25 22:31:08,690 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_get_bbreg [2022-11-25 22:31:08,691 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_read_eeprom_info [2022-11-25 22:31:08,691 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_read_eeprom_info [2022-11-25 22:31:08,691 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock_104 [2022-11-25 22:31:08,691 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock_104 [2022-11-25 22:31:08,691 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_set_fw_clock_off [2022-11-25 22:31:08,691 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_set_fw_clock_off [2022-11-25 22:31:08,691 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_set_bbreg [2022-11-25 22:31:08,691 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_set_bbreg [2022-11-25 22:31:08,692 INFO L130 BoogieDeclarations]: Found specification of procedure lockdep_rcu_suspicious [2022-11-25 22:31:08,692 INFO L138 BoogieDeclarations]: Found implementation of procedure lockdep_rcu_suspicious [2022-11-25 22:31:08,692 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_resume_tx_beacon [2022-11-25 22:31:08,692 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_resume_tx_beacon [2022-11-25 22:31:08,692 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_init_sw_vars [2022-11-25 22:31:08,692 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_init_sw_vars [2022-11-25 22:31:08,692 INFO L130 BoogieDeclarations]: Found specification of procedure ether_addr_equal [2022-11-25 22:31:08,692 INFO L138 BoogieDeclarations]: Found implementation of procedure ether_addr_equal [2022-11-25 22:31:08,693 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88_config_s [2022-11-25 22:31:08,693 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88_config_s [2022-11-25 22:31:08,693 INFO L130 BoogieDeclarations]: Found specification of procedure rtnl_lock [2022-11-25 22:31:08,693 INFO L138 BoogieDeclarations]: Found implementation of procedure rtnl_lock [2022-11-25 22:31:08,693 INFO L130 BoogieDeclarations]: Found specification of procedure skb_queue_len [2022-11-25 22:31:08,693 INFO L138 BoogieDeclarations]: Found implementation of procedure skb_queue_len [2022-11-25 22:31:08,693 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free [2022-11-25 22:31:08,694 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free [2022-11-25 22:31:08,694 INFO L130 BoogieDeclarations]: Found specification of procedure config_bb_with_header [2022-11-25 22:31:08,694 INFO L138 BoogieDeclarations]: Found implementation of procedure config_bb_with_header [2022-11-25 22:31:08,694 INFO L130 BoogieDeclarations]: Found specification of procedure init_timer_key [2022-11-25 22:31:08,694 INFO L138 BoogieDeclarations]: Found implementation of procedure init_timer_key [2022-11-25 22:31:08,694 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_read_dword [2022-11-25 22:31:08,694 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_read_dword [2022-11-25 22:31:08,694 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_set_media_status [2022-11-25 22:31:08,695 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_set_media_status [2022-11-25 22:31:08,695 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_fwlps_leave [2022-11-25 22:31:08,695 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_fwlps_leave [2022-11-25 22:31:08,695 INFO L130 BoogieDeclarations]: Found specification of procedure msecs_to_jiffies [2022-11-25 22:31:08,695 INFO L138 BoogieDeclarations]: Found implementation of procedure msecs_to_jiffies [2022-11-25 22:31:08,695 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88ee_tx_fill_cmddesc [2022-11-25 22:31:08,695 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88ee_tx_fill_cmddesc [2022-11-25 22:31:08,695 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2022-11-25 22:31:08,696 INFO L130 BoogieDeclarations]: Found specification of procedure rtl_pci_disconnect [2022-11-25 22:31:08,696 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl_pci_disconnect [2022-11-25 22:31:08,696 INFO L130 BoogieDeclarations]: Found specification of procedure rtl88e_phy_set_sw_chnl_cmdarray [2022-11-25 22:31:08,696 INFO L138 BoogieDeclarations]: Found implementation of procedure rtl88e_phy_set_sw_chnl_cmdarray [2022-11-25 22:31:08,696 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2022-11-25 22:31:08,696 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2022-11-25 22:31:08,696 INFO L130 BoogieDeclarations]: Found specification of procedure _rtl88ee_set_fw_clock_on [2022-11-25 22:31:08,696 INFO L138 BoogieDeclarations]: Found implementation of procedure _rtl88ee_set_fw_clock_on [2022-11-25 22:31:08,697 INFO L130 BoogieDeclarations]: Found specification of procedure preempt_count [2022-11-25 22:31:08,697 INFO L138 BoogieDeclarations]: Found implementation of procedure preempt_count [2022-11-25 22:31:10,840 INFO L235 CfgBuilder]: Building ICFG [2022-11-25 22:31:10,844 INFO L261 CfgBuilder]: Building CFG for each procedure with an implementation [2022-11-25 22:31:11,529 INFO L769 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_stopFINAL: assume true; [2022-11-25 22:33:24,217 INFO L276 CfgBuilder]: Performing block encoding [2022-11-25 22:33:35,676 INFO L295 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2022-11-25 22:33:35,676 INFO L300 CfgBuilder]: Removed 20 assume(true) statements. [2022-11-25 22:33:35,688 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.11 10:33:35 BoogieIcfgContainer [2022-11-25 22:33:35,688 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2022-11-25 22:33:35,692 INFO L113 PluginConnector]: ------------------------TraceAbstraction---------------------------- [2022-11-25 22:33:35,692 INFO L271 PluginConnector]: Initializing TraceAbstraction... [2022-11-25 22:33:35,696 INFO L275 PluginConnector]: TraceAbstraction initialized [2022-11-25 22:33:35,696 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 25.11 10:30:55" (1/3) ... [2022-11-25 22:33:35,697 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@29f83378 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 25.11 10:33:35, skipping insertion in model container [2022-11-25 22:33:35,698 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:31:06" (2/3) ... [2022-11-25 22:33:35,698 INFO L205 PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@29f83378 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 25.11 10:33:35, skipping insertion in model container [2022-11-25 22:33:35,698 INFO L185 PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 25.11 10:33:35" (3/3) ... [2022-11-25 22:33:35,699 INFO L112 eAbstractionObserver]: Analyzing ICFG linux-3.14_linux-alloc-spinlock_drivers-net-wireless-rtlwifi-rtl8188ee-rtl8188ee.cil.i [2022-11-25 22:33:35,721 INFO L203 ceAbstractionStarter]: Automizer settings: Hoare:true NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION [2022-11-25 22:33:35,721 INFO L162 ceAbstractionStarter]: Applying trace abstraction to program that has 2 error locations. [2022-11-25 22:33:35,919 INFO L356 AbstractCegarLoop]: ======== Iteration 0 == of CEGAR loop == AllErrorsAtOnce ======== [2022-11-25 22:33:35,925 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;@6993fe1, mLbeIndependenceSettings=[IndependenceType=SEMANTIC, AbstractionType=NONE, UseConditional=false, UseSemiCommutativity=true, Solver=Z3, SolverTimeout=1000ms] [2022-11-25 22:33:35,925 INFO L358 AbstractCegarLoop]: Starting to check reachability of 2 error locations. [2022-11-25 22:33:35,949 INFO L276 IsEmpty]: Start isEmpty. Operand has 5907 states, 3534 states have (on average 1.356819468024901) internal successors, (4795), 3724 states have internal predecessors, (4795), 2199 states have call successors, (2199), 180 states have call predecessors, (2199), 179 states have return successors, (2191), 2110 states have call predecessors, (2191), 2191 states have call successors, (2191) [2022-11-25 22:33:35,965 INFO L282 IsEmpty]: Finished isEmpty. Found accepting run of length 93 [2022-11-25 22:33:35,966 INFO L187 NwaCegarLoop]: Found error trace [2022-11-25 22:33:35,967 INFO L195 NwaCegarLoop]: trace histogram [7, 7, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] [2022-11-25 22:33:35,967 INFO L420 AbstractCegarLoop]: === Iteration 1 === Targeting rtl88e_init_sw_varsErr0ASSERT_VIOLATIONERROR_FUNCTION === [ldv_check_alloc_flagsErr0ASSERT_VIOLATIONERROR_FUNCTION, rtl88e_init_sw_varsErr0ASSERT_VIOLATIONERROR_FUNCTION] === [2022-11-25 22:33:35,972 INFO L144 PredicateUnifier]: Initialized classic predicate unifier [2022-11-25 22:33:35,972 INFO L85 PathProgramCache]: Analyzing trace with hash -1338360200, now seen corresponding path program 1 times [2022-11-25 22:33:35,984 INFO L118 FreeRefinementEngine]: Executing refinement strategy SIFA_TAIPAN [2022-11-25 22:33:35,985 INFO L333 FreeRefinementEngine]: Using trace check IpTcStrategyModuleSmtInterpolCraig [381705387] [2022-11-25 22:33:35,985 INFO L95 rtionOrderModulation]: Keeping assertion order NOT_INCREMENTALLY [2022-11-25 22:33:35,985 INFO L127 SolverBuilder]: Constructing new instance of SMTInterpol with explicit timeout -1 ms and remaining time -1 ms [2022-11-25 22:37:16,318 INFO L136 AnnotateAndAsserter]: Conjunction of SSA is unsat