./Ultimate.py --spec ../../sv-benchmarks/c/properties/valid-memsafety.prp --file ../../sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for memory safety (deref-memtrack) 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_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/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_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/config/TaipanMemDerefMemtrack.xml -i ../../sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/config/svcomp-DerefFreeMemtrack-64bit-Taipan_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 57970899ca10de02cc3a4434b3e2b7041d723fc550c3fb62d1c86f37c18186c5 --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-38b53e6 [2022-11-25 23:22:07,836 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 23:22:07,838 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 23:22:07,878 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 23:22:07,878 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 23:22:07,882 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 23:22:07,884 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 23:22:07,887 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 23:22:07,889 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 23:22:07,895 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 23:22:07,896 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 23:22:07,897 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 23:22:07,897 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 23:22:07,898 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 23:22:07,899 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 23:22:07,900 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 23:22:07,900 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 23:22:07,901 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 23:22:07,903 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 23:22:07,904 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 23:22:07,905 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 23:22:07,907 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 23:22:07,908 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 23:22:07,909 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 23:22:07,912 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 23:22:07,912 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 23:22:07,913 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 23:22:07,914 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 23:22:07,914 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 23:22:07,915 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 23:22:07,915 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 23:22:07,916 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 23:22:07,917 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 23:22:07,918 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 23:22:07,919 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 23:22:07,919 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 23:22:07,920 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 23:22:07,920 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 23:22:07,920 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 23:22:07,921 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 23:22:07,922 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 23:22:07,923 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/config/svcomp-DerefFreeMemtrack-64bit-Taipan_Default.epf [2022-11-25 23:22:07,973 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 23:22:07,973 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 23:22:07,974 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 23:22:07,974 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 23:22:07,974 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 23:22:07,975 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 23:22:07,975 INFO L138 SettingsManager]: * User list type=DISABLED [2022-11-25 23:22:07,975 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-11-25 23:22:07,975 INFO L138 SettingsManager]: * Explicit value domain=true [2022-11-25 23:22:07,975 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2022-11-25 23:22:07,976 INFO L138 SettingsManager]: * Octagon Domain=false [2022-11-25 23:22:07,976 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2022-11-25 23:22:07,976 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2022-11-25 23:22:07,976 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2022-11-25 23:22:07,976 INFO L138 SettingsManager]: * Interval Domain=false [2022-11-25 23:22:07,977 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2022-11-25 23:22:07,977 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2022-11-25 23:22:07,977 INFO L138 SettingsManager]: * Simplification Technique=POLY_PAC [2022-11-25 23:22:07,978 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-25 23:22:07,978 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-25 23:22:07,978 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 23:22:07,978 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-11-25 23:22:07,978 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 23:22:07,979 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 23:22:07,979 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-11-25 23:22:07,979 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-11-25 23:22:07,979 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-11-25 23:22:07,979 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 23:22:07,979 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-11-25 23:22:07,980 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 23:22:07,980 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 23:22:07,980 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 23:22:07,980 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 23:22:07,980 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 23:22:07,981 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2022-11-25 23:22:07,981 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 23:22:07,981 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2022-11-25 23:22:07,981 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-11-25 23:22:07,981 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2022-11-25 23:22:07,981 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_1f5c500d-7f69-47bf-a274-e121e5249455/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_1f5c500d-7f69-47bf-a274-e121e5249455/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 valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) 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 -> 57970899ca10de02cc3a4434b3e2b7041d723fc550c3fb62d1c86f37c18186c5 [2022-11-25 23:22:08,206 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 23:22:08,227 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 23:22:08,230 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 23:22:08,231 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 23:22:08,232 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 23:22:08,233 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/../../sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i [2022-11-25 23:22:11,431 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 23:22:12,128 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 23:22:12,129 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i [2022-11-25 23:22:12,204 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/data/5f091ba7f/bca224ac134545a3a951b35a3dd1f406/FLAG8a2eb1153 [2022-11-25 23:22:12,222 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/data/5f091ba7f/bca224ac134545a3a951b35a3dd1f406 [2022-11-25 23:22:12,225 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 23:22:12,226 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 23:22:12,230 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 23:22:12,230 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 23:22:12,234 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 23:22:12,235 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 11:22:12" (1/1) ... [2022-11-25 23:22:12,236 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@1e643e4a and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:22:12, skipping insertion in model container [2022-11-25 23:22:12,236 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 11:22:12" (1/1) ... [2022-11-25 23:22:12,244 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 23:22:12,436 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 23:22:13,582 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:13,685 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,705 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,721 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,741 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,762 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-11-25 23:22:13,766 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:13,824 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,832 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,836 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,878 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,885 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:22:13,894 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,916 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,928 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,932 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,936 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,938 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,960 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,977 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:13,988 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,002 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,003 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,004 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,006 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,013 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,015 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,016 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,017 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,019 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,034 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,036 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,037 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,038 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,051 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,052 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,054 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,055 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,065 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:14,072 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,074 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,089 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:14,091 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,092 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,099 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,110 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:14,129 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:14,141 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,142 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,143 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,144 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,145 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,145 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,146 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,147 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,148 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,149 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,150 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,151 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,152 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,152 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,153 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,153 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,154 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,155 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,155 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,156 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,156 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,157 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,158 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,158 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,159 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,160 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,160 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,161 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,162 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,162 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,163 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,164 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,164 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,165 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,165 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,165 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,166 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,167 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,167 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,176 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,177 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,178 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,179 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,179 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,180 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,181 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,182 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,182 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,183 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,184 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,185 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,185 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,186 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,187 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,187 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,188 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,189 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,190 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,190 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,191 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,192 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,193 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,200 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,201 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,201 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,202 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,203 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,203 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,211 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,212 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,212 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,213 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,214 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,215 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,216 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,217 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,219 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,219 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,220 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,228 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,229 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,229 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,230 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,231 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,232 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,232 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,235 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,239 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,239 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,240 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,248 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,249 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,249 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,250 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,251 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,252 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,253 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,254 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,259 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,260 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,261 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,269 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,270 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,272 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,274 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,283 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,284 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,297 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,298 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,298 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,299 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,299 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:14,300 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,301 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,301 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,302 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,303 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,303 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,304 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,304 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,305 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,306 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,306 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,307 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,307 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,307 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,309 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,310 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,310 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,311 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,319 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,320 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,321 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,321 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,322 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:14,322 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,323 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,323 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,324 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,324 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,325 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,325 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,326 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,329 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,329 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,330 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,330 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,332 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,333 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,333 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,333 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,341 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:14,342 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,343 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,344 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,344 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,345 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,345 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,346 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,346 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,347 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,348 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,348 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,349 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,349 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,356 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,356 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,357 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,358 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,358 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,365 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,366 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:14,366 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:14,367 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:14,368 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,380 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,381 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:14,389 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,390 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:14,398 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,399 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:14,410 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-11-25 23:22:14,411 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,411 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,412 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,413 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,413 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,414 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,414 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:14,422 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:14,422 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:14,449 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:14,455 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:14,456 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:14,461 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:14,461 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:14,462 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:14,469 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:14,469 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:14,470 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:14,470 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:14,475 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:14,475 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:14,477 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:14,477 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:14,478 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:14,479 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:14,479 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:14,480 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:14,481 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:14,482 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:15,437 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,438 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,438 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,439 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,439 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,439 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,439 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,440 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,440 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,445 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,446 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,446 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,446 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,447 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,451 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,451 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,452 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,452 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,452 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,453 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,453 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,453 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,453 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,454 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,457 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,457 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,457 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,458 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,458 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,458 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,459 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,459 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,459 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,463 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,464 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,464 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,464 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,465 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,465 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,466 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,466 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,466 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,466 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,467 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,467 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,467 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,467 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,468 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,468 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,468 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,468 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,468 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,469 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,469 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,469 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,470 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,470 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,470 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,470 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,471 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,471 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,471 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,471 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,472 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,472 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,472 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,473 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,473 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,473 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,473 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,474 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,477 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,478 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,478 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,478 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,479 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,479 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,479 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,479 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,480 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,480 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,480 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,480 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,481 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,481 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,481 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,481 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,482 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,482 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,482 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,482 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,483 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,483 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,483 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,483 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,484 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,484 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,484 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,484 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,485 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,485 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,485 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,485 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,485 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,583 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_exit [2022-11-25 23:22:15,584 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_usb_register_driver [2022-11-25 23:22:15,588 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 23:22:15,592 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 23:22:15,593 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 23:22:15,671 WARN L623 FunctionHandler]: Unknown extern function ldv_check_alloc_flags [2022-11-25 23:22:15,671 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 23:22:15,688 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:22:15,926 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539011,539024] [2022-11-25 23:22:15,930 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539177,539190] [2022-11-25 23:22:15,930 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539341,539354] [2022-11-25 23:22:15,931 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539506,539519] [2022-11-25 23:22:15,931 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,932 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:15,935 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 23:22:16,035 ERROR L326 MainTranslator]: Unsupported Syntax: Found a cast between two array/pointer types of different sizes while using memory model HoenickeLindenmann_Original (while Not using bitvector translation) [2022-11-25 23:22:16,036 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@32fc16ef and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:22:16, skipping insertion in model container [2022-11-25 23:22:16,036 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-25 23:22:16,036 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2022-11-25 23:22:16,038 INFO L158 Benchmark]: Toolchain (without parser) took 3811.08ms. Allocated memory was 163.6MB in the beginning and 228.6MB in the end (delta: 65.0MB). Free memory was 97.6MB in the beginning and 127.4MB in the end (delta: -29.8MB). Peak memory consumption was 87.1MB. Max. memory is 16.1GB. [2022-11-25 23:22:16,039 INFO L158 Benchmark]: CDTParser took 0.24ms. Allocated memory is still 163.6MB. Free memory was 128.0MB in the beginning and 127.9MB in the end (delta: 140.1kB). There was no memory consumed. Max. memory is 16.1GB. [2022-11-25 23:22:16,039 INFO L158 Benchmark]: CACSL2BoogieTranslator took 3806.36ms. Allocated memory was 163.6MB in the beginning and 228.6MB in the end (delta: 65.0MB). Free memory was 97.6MB in the beginning and 127.4MB in the end (delta: -29.8MB). Peak memory consumption was 87.1MB. Max. memory is 16.1GB. [2022-11-25 23:22:16,041 INFO L339 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.24ms. Allocated memory is still 163.6MB. Free memory was 128.0MB in the beginning and 127.9MB in the end (delta: 140.1kB). There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 3806.36ms. Allocated memory was 163.6MB in the beginning and 228.6MB in the end (delta: 65.0MB). Free memory was 97.6MB in the beginning and 127.4MB in the end (delta: -29.8MB). Peak memory consumption was 87.1MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 7273]: Unsupported Syntax Found a cast between two array/pointer types of different sizes while using memory model HoenickeLindenmann_Original (while Not using bitvector translation) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Using bit-precise analysis Retrying with bit-precise analysis ### Bit-precise run ### 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_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/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_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/config/TaipanMemDerefMemtrack.xml -i ../../sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/config/svcomp-DerefFreeMemtrack-64bit-Taipan_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 57970899ca10de02cc3a4434b3e2b7041d723fc550c3fb62d1c86f37c18186c5 --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-38b53e6 [2022-11-25 23:22:18,291 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 23:22:18,293 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 23:22:18,323 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 23:22:18,323 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 23:22:18,324 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 23:22:18,326 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 23:22:18,334 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 23:22:18,336 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 23:22:18,342 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 23:22:18,344 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 23:22:18,346 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 23:22:18,346 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 23:22:18,349 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 23:22:18,353 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 23:22:18,358 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 23:22:18,359 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 23:22:18,360 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 23:22:18,363 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 23:22:18,369 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 23:22:18,371 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 23:22:18,374 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 23:22:18,377 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 23:22:18,379 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 23:22:18,382 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 23:22:18,385 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 23:22:18,386 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 23:22:18,388 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 23:22:18,388 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 23:22:18,390 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 23:22:18,391 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 23:22:18,392 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 23:22:18,394 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 23:22:18,395 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 23:22:18,408 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 23:22:18,409 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 23:22:18,409 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 23:22:18,410 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 23:22:18,410 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 23:22:18,411 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 23:22:18,411 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 23:22:18,414 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/config/svcomp-DerefFreeMemtrack-64bit-Taipan_Bitvector.epf [2022-11-25 23:22:18,438 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 23:22:18,438 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 23:22:18,438 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 23:22:18,438 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 23:22:18,439 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 23:22:18,439 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 23:22:18,439 INFO L138 SettingsManager]: * User list type=DISABLED [2022-11-25 23:22:18,440 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-11-25 23:22:18,440 INFO L138 SettingsManager]: * Explicit value domain=true [2022-11-25 23:22:18,440 INFO L138 SettingsManager]: * Octagon Domain=false [2022-11-25 23:22:18,440 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2022-11-25 23:22:18,440 INFO L138 SettingsManager]: * Interval Domain=false [2022-11-25 23:22:18,441 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-25 23:22:18,441 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-25 23:22:18,441 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 23:22:18,441 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-11-25 23:22:18,442 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 23:22:18,442 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 23:22:18,442 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-11-25 23:22:18,442 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-11-25 23:22:18,442 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-11-25 23:22:18,443 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 23:22:18,443 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-11-25 23:22:18,443 INFO L138 SettingsManager]: * Use bitvectors instead of ints=true [2022-11-25 23:22:18,443 INFO L138 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2022-11-25 23:22:18,443 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 23:22:18,443 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 23:22:18,444 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-11-25 23:22:18,444 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 23:22:18,444 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 23:22:18,444 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 23:22:18,444 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 23:22:18,445 INFO L138 SettingsManager]: * Trace refinement strategy=WALRUS [2022-11-25 23:22:18,445 INFO L138 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2022-11-25 23:22:18,445 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2022-11-25 23:22:18,445 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-11-25 23:22:18,445 INFO L138 SettingsManager]: * Logic for external solver=AUFBV 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_1f5c500d-7f69-47bf-a274-e121e5249455/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_1f5c500d-7f69-47bf-a274-e121e5249455/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 valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) 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 -> 57970899ca10de02cc3a4434b3e2b7041d723fc550c3fb62d1c86f37c18186c5 [2022-11-25 23:22:18,827 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 23:22:18,851 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 23:22:18,855 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 23:22:18,856 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 23:22:18,857 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 23:22:18,859 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/../../sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i [2022-11-25 23:22:21,917 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 23:22:22,713 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 23:22:22,714 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i [2022-11-25 23:22:22,781 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/data/817d904be/96afb3c781bd477cbe5398ee7bd6548f/FLAG659263cde [2022-11-25 23:22:22,804 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_1f5c500d-7f69-47bf-a274-e121e5249455/bin/utaipan-ByfvJB40ur/data/817d904be/96afb3c781bd477cbe5398ee7bd6548f [2022-11-25 23:22:22,807 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 23:22:22,808 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 23:22:22,809 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 23:22:22,809 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 23:22:22,813 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 23:22:22,814 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 11:22:22" (1/1) ... [2022-11-25 23:22:22,815 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@317623c8 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 11:22:22, skipping insertion in model container [2022-11-25 23:22:22,815 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 11:22:22" (1/1) ... [2022-11-25 23:22:22,822 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 23:22:23,006 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 23:22:24,156 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:24,255 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,279 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,297 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,314 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,332 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-11-25 23:22:24,336 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:24,424 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,431 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,434 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,476 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,480 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:22:24,495 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,511 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,526 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,530 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,534 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,579 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,615 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,626 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,640 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:24,640 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,641 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:24,643 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,651 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:24,653 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,655 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:24,657 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,658 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,676 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,677 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,679 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,681 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,695 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,696 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,697 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,699 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,708 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:24,716 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,718 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:24,735 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:24,737 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,738 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,746 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,765 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:24,788 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:24,801 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,803 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,803 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,804 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,805 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,806 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,806 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,807 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,808 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,809 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,810 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,811 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,812 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,812 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,813 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,814 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,815 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,816 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,818 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,819 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,820 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,821 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,823 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,826 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,828 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,829 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,829 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,833 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,834 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,835 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,835 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,837 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,837 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,838 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,838 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,839 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,840 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,841 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,841 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,853 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,855 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,855 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,856 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,857 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,858 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,858 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,859 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,859 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,861 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,861 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,863 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,863 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,864 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,867 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,867 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,868 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,869 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,869 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,870 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,871 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,871 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,872 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,880 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,881 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,881 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,882 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,883 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,887 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,895 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,896 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,897 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,899 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,901 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,902 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,902 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,903 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,913 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,914 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,915 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,917 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,917 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,918 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,919 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,922 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,924 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,924 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,926 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,935 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,936 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,936 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,937 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,938 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,939 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,940 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,940 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,941 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,942 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,944 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,954 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,955 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:24,956 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:24,957 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:24,967 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,969 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,978 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:24,978 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,979 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:24,986 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,986 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:24,987 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:24,987 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:24,992 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:25,012 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,013 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:25,013 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,014 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,014 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:25,015 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,016 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:25,016 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,017 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,018 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:25,018 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,020 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:25,020 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,021 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,021 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,032 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:25,032 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,034 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:25,034 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,035 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:25,039 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:25,039 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,040 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:25,041 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,041 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,042 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:25,042 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,043 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:25,046 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,047 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,047 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:25,048 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,050 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:25,051 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,052 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,053 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,061 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:25,063 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,064 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,065 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:25,065 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,066 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:25,067 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,068 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,068 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:25,069 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,070 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:25,071 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,071 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,072 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,079 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,080 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:25,080 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,082 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:25,082 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,089 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,090 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:25,090 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:25,092 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:25,092 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,100 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,101 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:25,109 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,110 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:25,118 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,119 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:25,131 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-11-25 23:22:25,131 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,132 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,134 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,134 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,135 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,135 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,136 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:25,141 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:25,141 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:25,170 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:25,176 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:25,176 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:25,183 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:25,185 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:25,186 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:25,194 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:25,194 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:25,195 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:25,195 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:25,203 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:25,204 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:25,205 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:25,210 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:25,211 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:25,212 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:25,213 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:25,214 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:25,215 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:25,216 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:26,225 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,226 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,226 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,226 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,227 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,227 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,227 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,228 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,228 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,229 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,229 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,229 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,229 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,230 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,230 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,230 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,231 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,231 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,232 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,232 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,232 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,232 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,233 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,233 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,233 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,234 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,234 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,235 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,235 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,235 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,235 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,236 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,236 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,236 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,237 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,237 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,238 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,238 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,238 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,239 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,239 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,239 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,240 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,240 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,240 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,241 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,241 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,241 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,242 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,242 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,242 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,257 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,257 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,257 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,258 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,258 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,258 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,259 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,259 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,259 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,259 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,260 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,260 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,260 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,261 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,261 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,261 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,261 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,262 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,262 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,262 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,262 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,263 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,263 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,263 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,264 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,264 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,264 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,264 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,265 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,265 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,265 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,266 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,266 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,266 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,266 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,267 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,267 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,267 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,267 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,268 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,268 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,268 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,269 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,269 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,269 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,269 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,270 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,270 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,270 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,270 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,271 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,271 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,271 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,328 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_exit [2022-11-25 23:22:26,329 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_usb_register_driver [2022-11-25 23:22:26,332 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 23:22:26,335 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 23:22:26,335 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 23:22:26,411 WARN L623 FunctionHandler]: Unknown extern function ldv_check_alloc_flags [2022-11-25 23:22:26,411 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 23:22:26,427 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:22:26,659 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539011,539024] [2022-11-25 23:22:26,661 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539177,539190] [2022-11-25 23:22:26,662 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539341,539354] [2022-11-25 23:22:26,662 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539506,539519] [2022-11-25 23:22:26,663 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,664 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:26,666 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 23:22:26,760 INFO L200 MainTranslator]: Restarting translation with changed settings: SettingsChange [mNewPreferredMemoryModel=HoenickeLindenmann_1ByteResolution] [2022-11-25 23:22:26,871 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 23:22:27,017 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,023 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,025 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,027 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,028 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,030 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-11-25 23:22:27,031 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:27,044 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,050 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,054 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,056 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:22:27,060 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,064 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,075 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,076 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,077 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,079 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,083 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,088 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,089 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,092 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,093 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,094 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,098 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,099 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,099 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,100 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,101 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,136 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,138 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,139 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,140 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,141 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,146 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,147 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,148 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,149 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,150 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:27,151 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,152 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,154 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:27,155 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,156 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,157 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,158 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:27,160 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:27,165 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,166 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,166 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,167 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,167 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,168 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,169 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,169 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,170 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,170 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,171 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,172 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,173 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,173 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,174 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,174 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,175 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,175 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,176 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,177 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,177 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,178 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,179 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,179 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,180 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,181 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,181 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,182 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,182 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,183 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,183 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,184 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,185 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,185 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,186 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,186 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,187 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,187 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,188 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,190 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,191 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,191 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,192 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,192 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,193 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,194 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,194 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,195 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,196 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,196 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,197 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,197 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,198 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,199 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,199 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,200 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,200 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,201 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,201 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,202 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,203 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,203 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,204 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,205 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,205 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,206 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,207 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,207 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,208 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,209 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,209 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,210 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,210 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,211 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,211 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,212 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,213 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,213 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,214 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,215 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,216 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,216 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,217 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,217 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,218 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,219 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,219 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,220 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,220 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,221 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,222 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,223 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,223 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,224 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,224 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,225 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,226 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,226 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,227 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,228 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,229 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,230 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,230 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,231 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,232 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,233 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,234 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,234 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,235 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,235 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,236 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:27,236 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,237 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,237 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,238 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,238 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,239 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,239 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,240 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,240 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,241 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,241 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,242 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,242 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,243 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,243 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,244 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,244 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,245 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,246 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,247 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,247 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,248 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,248 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:27,248 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,249 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,249 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,250 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,250 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,251 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,251 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,252 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,252 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,253 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,253 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,254 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,255 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,255 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,255 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,256 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,257 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,257 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,258 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,258 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,259 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,259 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,260 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,260 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,261 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,261 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,262 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,262 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,263 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,263 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,264 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,265 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,265 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,266 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,266 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,267 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,268 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,268 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,269 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,269 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,271 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,271 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:27,273 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,273 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:27,275 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,275 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:27,280 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-11-25 23:22:27,281 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,281 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,282 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,283 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,284 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,284 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,285 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,288 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:27,289 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:27,297 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:27,298 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:27,299 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:27,301 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:27,301 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:27,302 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:27,303 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:27,303 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:27,304 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:27,304 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:27,305 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,306 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,306 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,307 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,307 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,308 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,309 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,309 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,310 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,310 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:27,332 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,332 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,332 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,333 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,333 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,333 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,333 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,334 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,334 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,334 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,334 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,335 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,335 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,335 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,335 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,336 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,336 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,336 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,336 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,337 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,337 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,337 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,337 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,338 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,338 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,338 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,338 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,339 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,339 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,339 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,339 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,340 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,340 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,340 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,340 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,340 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,341 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,341 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,341 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,361 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,361 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,361 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,361 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,362 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,362 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,362 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,362 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,363 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,363 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,363 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,363 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,363 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,364 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,364 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,364 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,365 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,365 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,365 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,365 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,365 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,366 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,366 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,366 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,367 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,367 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,367 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,367 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,367 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,368 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,368 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,368 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,368 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,369 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,369 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,369 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,369 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,370 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,370 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,370 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,370 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,371 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,371 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,371 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,371 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,372 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,372 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,372 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,372 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,373 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,373 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,373 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,373 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,374 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,374 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,374 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,374 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,375 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,375 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,375 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,375 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,376 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,376 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,376 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,376 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,417 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_exit [2022-11-25 23:22:27,417 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_usb_register_driver [2022-11-25 23:22:27,420 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 23:22:27,422 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 23:22:27,422 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 23:22:27,425 WARN L623 FunctionHandler]: Unknown extern function ldv_check_alloc_flags [2022-11-25 23:22:27,425 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 23:22:27,426 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:22:27,434 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539011,539024] [2022-11-25 23:22:27,435 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539177,539190] [2022-11-25 23:22:27,435 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539341,539354] [2022-11-25 23:22:27,436 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539506,539519] [2022-11-25 23:22:27,436 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,436 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,438 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 23:22:27,483 INFO L203 MainTranslator]: Completed pre-run [2022-11-25 23:22:27,613 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:27,623 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,629 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,635 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,679 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,683 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-11-25 23:22:27,683 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:27,707 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,709 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,710 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,715 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,716 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 23:22:27,729 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,732 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,734 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,735 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,736 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,737 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,740 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,744 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,746 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,750 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,750 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,751 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,751 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,752 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,752 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,754 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,755 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,757 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,758 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,758 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,759 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,761 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,762 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,762 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,765 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,766 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:27,772 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,772 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,774 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:27,774 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,776 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:27,779 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 23:22:27,784 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,785 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,785 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,787 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,787 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,787 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,788 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,788 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,790 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,790 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,797 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,798 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,798 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,798 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,800 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,800 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,801 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,801 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,802 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,803 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,803 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,805 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,806 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,806 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,806 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,808 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,808 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,810 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,810 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,811 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,811 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,813 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,813 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,813 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,814 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,814 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,816 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,817 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,848 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,850 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,851 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,851 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,853 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,854 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,856 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,857 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,858 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,858 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,860 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,860 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,861 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,862 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,862 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,864 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,865 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,867 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,868 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,868 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,869 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,871 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,871 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,874 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,875 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,876 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,877 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,879 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,879 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,880 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,881 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,882 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,882 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,884 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,885 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,885 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,886 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,886 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,889 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,889 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,892 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,893 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,894 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,894 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,896 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,896 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,897 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,898 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,898 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,900 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,906 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,907 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,907 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,909 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,910 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,910 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,911 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,911 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,913 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,914 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,920 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,921 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,922 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,922 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,924 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:27,924 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,929 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,930 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,937 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,938 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,945 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,946 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:27,946 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,953 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,954 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,975 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,978 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:27,985 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:27,998 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:27,999 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:27,999 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,002 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:28,002 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,003 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,003 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:28,003 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,005 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:28,006 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,006 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,007 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,008 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:28,016 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,016 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:28,021 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,021 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:28,021 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:28,026 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,026 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:28,047 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,047 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,048 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:28,048 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,050 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:28,050 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,051 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,051 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:28,051 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,053 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:28,053 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,054 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,054 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,055 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_generic_rw [2022-11-25 23:22:28,060 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,060 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,061 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:28,061 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,079 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:28,079 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,080 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,080 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:28,080 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,082 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:28,082 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,083 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,083 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,084 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,084 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:28,084 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,086 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:28,086 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,087 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,088 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 23:22:28,088 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 23:22:28,089 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 23:22:28,090 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,107 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,108 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:28,109 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,110 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:28,111 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,111 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-11-25 23:22:28,115 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-11-25 23:22:28,116 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,116 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,117 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,117 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,118 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,118 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,118 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 23:22:28,142 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 23:22:28,142 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:28,149 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:28,173 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:28,173 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:28,180 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:28,181 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:28,181 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:28,189 WARN L623 FunctionHandler]: Unknown extern function kmemdup [2022-11-25 23:22:28,189 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:28,190 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:28,190 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 23:22:28,196 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,197 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,197 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,197 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,198 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,198 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,199 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,199 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,200 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,200 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-11-25 23:22:28,215 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,215 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,215 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,215 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,215 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,216 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,216 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,216 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,216 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,217 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,217 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,217 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,217 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,217 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,218 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,218 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,218 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,218 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,218 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,219 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,219 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,219 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,219 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,219 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,220 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,220 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,221 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,222 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,222 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,222 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,222 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,223 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,223 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,223 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,223 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,223 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,224 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,224 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,224 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,224 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,224 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,225 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,225 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,225 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,225 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,225 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,226 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,226 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,229 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,229 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,229 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,230 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,230 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,230 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,230 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,230 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,231 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,231 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,231 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,231 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,231 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,232 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,232 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,232 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,232 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,232 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,233 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,233 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,233 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,233 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,233 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,234 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,234 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,234 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,234 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,234 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,235 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,235 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,235 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,235 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,235 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,236 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,236 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,236 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,236 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,236 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,237 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,237 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,237 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,237 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,238 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,238 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,238 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,238 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,238 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,238 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,239 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,239 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,239 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,239 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,239 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,240 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,240 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,240 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,283 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_exit [2022-11-25 23:22:28,284 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_usb_register_driver [2022-11-25 23:22:28,287 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 23:22:28,289 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 23:22:28,289 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 23:22:28,292 WARN L623 FunctionHandler]: Unknown extern function ldv_check_alloc_flags [2022-11-25 23:22:28,292 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 23:22:28,292 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 23:22:28,305 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539011,539024] [2022-11-25 23:22:28,306 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539177,539190] [2022-11-25 23:22:28,306 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539341,539354] [2022-11-25 23:22:28,306 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_1f5c500d-7f69-47bf-a274-e121e5249455/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-dvb-usb-dvb-usb-dw2102.cil.i[539506,539519] [2022-11-25 23:22:28,307 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,307 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-11-25 23:22:28,310 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 23:22:28,331 FATAL L? ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator has thrown an exception: java.lang.UnsupportedOperationException: Bitfield initialization at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.InitializationHandler.constructAddressForStructField(InitializationHandler.java:1130) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.InitializationHandler.initCStruct(InitializationHandler.java:426) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.InitializationHandler.initRec(InitializationHandler.java:339) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.InitializationHandler.initialize(InitializationHandler.java:272) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.InitializationHandler.initialize(InitializationHandler.java:207) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.PostProcessor.createUltimateInitProcedure(PostProcessor.java:805) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.PostProcessor.postProcess(PostProcessor.java:212) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:627) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:270) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.performMainRun(MainTranslator.java:244) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.translate(MainTranslator.java:206) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.run(MainTranslator.java:115) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.(MainTranslator.java:93) at de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver.finish(CACSL2BoogieTranslatorObserver.java:128) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:168) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:151) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.run(PluginConnector.java:128) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.executePluginConnector(ToolchainWalker.java:232) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.processPlugin(ToolchainWalker.java:226) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walkUnprotected(ToolchainWalker.java:142) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walk(ToolchainWalker.java:104) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainManager$Toolchain.processToolchain(ToolchainManager.java:320) at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) [2022-11-25 23:22:28,336 INFO L158 Benchmark]: Toolchain (without parser) took 5527.49ms. Allocated memory was 73.4MB in the beginning and 287.3MB in the end (delta: 213.9MB). Free memory was 41.8MB in the beginning and 109.9MB in the end (delta: -68.1MB). Peak memory consumption was 146.4MB. Max. memory is 16.1GB. [2022-11-25 23:22:28,337 INFO L158 Benchmark]: CDTParser took 0.67ms. Allocated memory is still 73.4MB. Free memory is still 50.8MB. There was no memory consumed. Max. memory is 16.1GB. [2022-11-25 23:22:28,338 INFO L158 Benchmark]: CACSL2BoogieTranslator took 5525.61ms. Allocated memory was 73.4MB in the beginning and 287.3MB in the end (delta: 213.9MB). Free memory was 41.6MB in the beginning and 109.9MB in the end (delta: -68.3MB). Peak memory consumption was 146.4MB. Max. memory is 16.1GB. [2022-11-25 23:22:28,339 INFO L339 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.67ms. Allocated memory is still 73.4MB. Free memory is still 50.8MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 5525.61ms. Allocated memory was 73.4MB in the beginning and 287.3MB in the end (delta: 213.9MB). Free memory was 41.6MB in the beginning and 109.9MB in the end (delta: -68.3MB). Peak memory consumption was 146.4MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - ExceptionOrErrorResult: UnsupportedOperationException: Bitfield initialization de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Bitfield initialization: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.InitializationHandler.constructAddressForStructField(InitializationHandler.java:1130) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Writing output log to file Ultimate.log Result: ERROR: ExceptionOrErrorResult: UnsupportedOperationException: Bitfield initialization