./Ultimate.py --spec ../../sv-benchmarks/c/properties/valid-memsafety.prp --file ../../sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for memory safety (deref-memtrack) Using default analysis Version 2329fc70 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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/config/AutomizerMemDerefMemtrack.xml -i ../../sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8 --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 Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash a02c189ce0581b68f68f41a2d20ef2bbe40876b43460838f447454076f3bcdf6 --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-2329fc7 [2022-12-13 15:42:01,444 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-12-13 15:42:01,446 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-12-13 15:42:01,465 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-12-13 15:42:01,465 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-12-13 15:42:01,466 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-12-13 15:42:01,467 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-12-13 15:42:01,469 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-12-13 15:42:01,470 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-12-13 15:42:01,471 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-12-13 15:42:01,472 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-12-13 15:42:01,474 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-12-13 15:42:01,474 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-12-13 15:42:01,475 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-12-13 15:42:01,476 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-12-13 15:42:01,477 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-12-13 15:42:01,478 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-12-13 15:42:01,479 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-12-13 15:42:01,481 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-12-13 15:42:01,482 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-12-13 15:42:01,484 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-12-13 15:42:01,485 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-12-13 15:42:01,486 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-12-13 15:42:01,487 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-12-13 15:42:01,491 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-12-13 15:42:01,491 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-12-13 15:42:01,491 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-12-13 15:42:01,492 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-12-13 15:42:01,493 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-12-13 15:42:01,494 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-12-13 15:42:01,494 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-12-13 15:42:01,495 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-12-13 15:42:01,496 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-12-13 15:42:01,496 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-12-13 15:42:01,497 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-12-13 15:42:01,498 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-12-13 15:42:01,498 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-12-13 15:42:01,498 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-12-13 15:42:01,499 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-12-13 15:42:01,500 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-12-13 15:42:01,500 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-12-13 15:42:01,501 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Default.epf [2022-12-13 15:42:01,521 INFO L113 SettingsManager]: Loading preferences was successful [2022-12-13 15:42:01,521 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-12-13 15:42:01,522 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-12-13 15:42:01,522 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-12-13 15:42:01,523 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-12-13 15:42:01,523 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-12-13 15:42:01,524 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-12-13 15:42:01,524 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-12-13 15:42:01,524 INFO L138 SettingsManager]: * Use SBE=true [2022-12-13 15:42:01,524 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-12-13 15:42:01,524 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-12-13 15:42:01,525 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-12-13 15:42:01,525 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-12-13 15:42:01,525 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-12-13 15:42:01,525 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-12-13 15:42:01,525 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-12-13 15:42:01,525 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-12-13 15:42:01,526 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-12-13 15:42:01,526 INFO L138 SettingsManager]: * Use constant arrays=true [2022-12-13 15:42:01,526 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-12-13 15:42:01,526 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-12-13 15:42:01,526 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-12-13 15:42:01,527 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-12-13 15:42:01,527 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-12-13 15:42:01,527 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-12-13 15:42:01,527 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2022-12-13 15:42:01,527 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-12-13 15:42:01,528 INFO L138 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2022-12-13 15:42:01,528 INFO L138 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2022-12-13 15:42:01,528 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-12-13 15:42:01,528 INFO L138 SettingsManager]: * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC [2022-12-13 15:42:01,528 INFO L138 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC 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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8 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 -> Automizer 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 -> a02c189ce0581b68f68f41a2d20ef2bbe40876b43460838f447454076f3bcdf6 [2022-12-13 15:42:01,727 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-12-13 15:42:01,743 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-12-13 15:42:01,745 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-12-13 15:42:01,747 INFO L271 PluginConnector]: Initializing CDTParser... [2022-12-13 15:42:01,747 INFO L275 PluginConnector]: CDTParser initialized [2022-12-13 15:42:01,748 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/../../sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i [2022-12-13 15:42:04,332 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-12-13 15:42:04,808 INFO L351 CDTParser]: Found 1 translation units. [2022-12-13 15:42:04,809 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i [2022-12-13 15:42:04,843 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/data/74b98deaa/53b6d02c74f0494c84e6c678792df821/FLAG317291e6d [2022-12-13 15:42:04,905 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/data/74b98deaa/53b6d02c74f0494c84e6c678792df821 [2022-12-13 15:42:04,908 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-12-13 15:42:04,909 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-12-13 15:42:04,910 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-12-13 15:42:04,910 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-12-13 15:42:04,913 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-12-13 15:42:04,913 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.12 03:42:04" (1/1) ... [2022-12-13 15:42:04,914 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@7cbc8fc3 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.12 03:42:04, skipping insertion in model container [2022-12-13 15:42:04,914 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.12 03:42:04" (1/1) ... [2022-12-13 15:42:04,920 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-12-13 15:42:05,070 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-12-13 15:42:05,639 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:05,698 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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i[201875,201888] [2022-12-13 15:42:05,766 WARN L623 FunctionHandler]: Unknown extern function dev_get_drvdata [2022-12-13 15:42:05,822 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,822 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,823 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:05,828 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,833 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,835 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,836 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:05,837 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,838 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,838 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,839 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,839 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,840 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,842 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:05,843 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,843 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,844 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,845 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,846 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,846 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,847 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,853 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,853 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,854 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,855 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,855 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,866 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,869 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:05,870 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,870 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,871 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,872 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,872 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,873 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,873 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,876 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,876 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,878 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,878 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:05,879 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,879 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,880 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,886 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,887 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,887 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,888 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,891 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,892 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,893 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,904 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:05,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,906 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:05,911 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,911 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,914 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,915 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,915 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,917 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,919 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,927 WARN L623 FunctionHandler]: Unknown extern function usb_bulk_msg [2022-12-13 15:42:05,927 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,928 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,928 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:05,930 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,932 WARN L623 FunctionHandler]: Unknown extern function usb_bulk_msg [2022-12-13 15:42:05,933 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,933 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_get_hexline [2022-12-13 15:42:05,934 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,934 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:05,935 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:05,940 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:05,942 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,943 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-12-13 15:42:05,944 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,945 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,949 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,950 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,951 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:05,951 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,953 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,954 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:05,959 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,960 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:05,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,961 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:05,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,962 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,964 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,965 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,965 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,966 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,967 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:05,968 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,969 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,970 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:05,970 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:05,975 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-12-13 15:42:05,976 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,036 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-12-13 15:42:06,038 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_exit [2022-12-13 15:42:06,042 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-12-13 15:42:06,043 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-12-13 15:42:06,213 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,218 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,223 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,232 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,236 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,241 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,246 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,250 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,255 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,259 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,264 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,322 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,323 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,323 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,324 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,324 WARN L623 FunctionHandler]: Unknown extern function dib3000mc_i2c_enumeration [2022-12-13 15:42:06,325 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,325 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,326 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,327 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,331 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,332 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,340 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:06,346 WARN L623 FunctionHandler]: Unknown extern function dib3000mc_get_tuner_i2c_master [2022-12-13 15:42:06,348 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,348 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,349 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,350 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,350 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,358 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,359 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,359 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,359 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,360 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,360 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,361 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,361 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,362 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,362 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,367 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,368 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,369 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,369 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,369 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,370 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,370 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,371 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,372 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,372 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,378 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:06,378 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,379 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,379 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,380 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,381 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,386 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,387 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,387 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,387 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,393 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,393 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,394 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,394 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,394 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,394 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,395 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,395 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,396 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,397 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,397 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,404 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:06,404 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,405 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,405 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,406 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,406 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,411 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,414 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:06,415 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:06,422 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,422 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,423 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,423 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,423 WARN L623 FunctionHandler]: Unknown extern function dib7000pc_detection [2022-12-13 15:42:06,424 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,424 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,424 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,425 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,426 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,426 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,426 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,426 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,427 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,427 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,434 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:06,434 WARN L623 FunctionHandler]: Unknown extern function dib7000m_get_i2c_master [2022-12-13 15:42:06,434 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,435 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,435 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,436 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,436 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,443 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,443 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,449 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,450 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,458 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:06,458 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,459 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:06,459 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:06,466 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,467 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,468 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:06,468 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,468 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:06,469 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:06,476 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:06,476 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,477 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,477 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,478 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,478 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,485 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:06,486 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,487 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,487 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,488 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,489 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,489 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,490 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,490 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,491 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,492 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,497 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter [2022-12-13 15:42:06,498 WARN L623 FunctionHandler]: Unknown extern function dib7000m_pid_filter [2022-12-13 15:42:06,503 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter_ctrl [2022-12-13 15:42:06,503 WARN L623 FunctionHandler]: Unknown extern function dib7000m_pid_filter_ctrl [2022-12-13 15:42:06,509 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter [2022-12-13 15:42:06,516 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter_ctrl [2022-12-13 15:42:06,523 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,524 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,524 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,525 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,525 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,525 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,526 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,526 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,527 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,527 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,534 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,535 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,535 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,535 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,535 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,536 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,536 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,536 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,537 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,537 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,543 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:06,547 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:06,553 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:06,554 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,554 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:06,559 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:06,559 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,560 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,560 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,561 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,561 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,561 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,561 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,562 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,562 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,563 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,568 WARN L623 FunctionHandler]: Unknown extern function dib8000_pid_filter [2022-12-13 15:42:06,573 WARN L623 FunctionHandler]: Unknown extern function dib8000_pid_filter_ctrl [2022-12-13 15:42:06,578 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,578 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,578 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,579 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:06,579 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,579 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,579 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,580 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,580 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,586 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,586 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,587 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,587 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,587 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:06,588 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,588 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,588 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,589 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,589 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,594 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:06,594 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,595 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,595 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,596 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,596 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,604 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_adc_power [2022-12-13 15:42:06,609 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,609 WARN L623 FunctionHandler]: Unknown extern function dib0090_dcc_freq [2022-12-13 15:42:06,609 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_dc_servo [2022-12-13 15:42:06,615 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,616 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,621 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,622 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:06,622 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:06,623 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,623 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:06,624 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:06,624 WARN L623 FunctionHandler]: Unknown extern function dib8000_ctrl_timf [2022-12-13 15:42:06,624 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:06,624 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:06,625 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,625 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_tune_state [2022-12-13 15:42:06,625 WARN L623 FunctionHandler]: Unknown extern function dib0090_gain_control [2022-12-13 15:42:06,626 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,626 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_tune_state [2022-12-13 15:42:06,626 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:06,626 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_current_gain [2022-12-13 15:42:06,627 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:06,627 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,627 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:06,628 WARN L623 FunctionHandler]: Unknown extern function dib8000_pwm_agc_reset [2022-12-13 15:42:06,628 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_tune_state [2022-12-13 15:42:06,628 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,628 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:06,634 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:06,634 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,635 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,635 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,636 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,636 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,641 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,642 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,642 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,642 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:06,642 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,643 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,643 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,644 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,644 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,649 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_slave_frontend [2022-12-13 15:42:06,649 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:06,650 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,650 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,650 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,651 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,651 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,652 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:06,652 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,652 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,652 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,653 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,653 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,658 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,659 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,659 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,659 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,659 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:06,660 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,660 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,660 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,661 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,661 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,661 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,662 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,662 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,663 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,663 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,663 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_slave_frontend [2022-12-13 15:42:06,669 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,670 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,672 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,677 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:06,678 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:06,678 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:06,678 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:06,679 WARN L623 FunctionHandler]: Unknown extern function dib8000_ctrl_timf [2022-12-13 15:42:06,684 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,685 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,685 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,685 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:06,686 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,686 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,686 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,687 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,687 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,692 WARN L623 FunctionHandler]: Unknown extern function dib8096p_get_i2c_tuner [2022-12-13 15:42:06,692 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,692 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,693 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,693 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,693 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,694 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:06,724 WARN L623 FunctionHandler]: Unknown extern function dibx000_i2c_set_speed [2022-12-13 15:42:06,725 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:06,725 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,726 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,726 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,726 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,727 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:06,728 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:06,736 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,736 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,737 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,737 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-13 15:42:06,737 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,738 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,738 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,738 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,739 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,739 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,739 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,747 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,747 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,748 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,748 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,749 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,749 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-13 15:42:06,757 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,758 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,758 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,758 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-13 15:42:06,758 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,759 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,760 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,760 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,760 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,761 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,761 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,762 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,762 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,762 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,763 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,763 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,769 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,769 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,769 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,770 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,770 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,771 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,772 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,772 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,772 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,772 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,773 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-13 15:42:06,778 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,779 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,781 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,786 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:06,787 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:06,787 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:06,787 WARN L623 FunctionHandler]: Unknown extern function dib7000p_update_pll [2022-12-13 15:42:06,787 WARN L623 FunctionHandler]: Unknown extern function dib7000p_ctrl_timf [2022-12-13 15:42:06,792 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,792 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_dc_servo [2022-12-13 15:42:06,797 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,797 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,797 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:06,797 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,798 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:06,803 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,803 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,803 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:06,803 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,803 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:06,809 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,810 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,810 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,810 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,810 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,811 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,811 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,811 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,812 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,812 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,817 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:06,818 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,818 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,818 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,819 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,819 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,819 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,824 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,825 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,825 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,825 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,825 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,826 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,826 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,826 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,827 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,827 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,827 WARN L623 FunctionHandler]: Unknown extern function dib7090_slave_reset [2022-12-13 15:42:06,832 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,832 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:06,833 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,833 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,833 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,833 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,833 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,834 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,839 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:06,840 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,840 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,840 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,841 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,841 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,841 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,846 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:06,846 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,847 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,847 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,847 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,848 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,848 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,853 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,854 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,854 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,854 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,854 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,855 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,855 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,855 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,856 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,856 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,861 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:06,862 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,862 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,862 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,885 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,885 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,886 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,891 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,891 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,896 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,896 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,896 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,896 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,897 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,897 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,897 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,898 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,902 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,903 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,903 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,904 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,919 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:06,919 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,919 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,920 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,920 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,920 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,921 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,926 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,927 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,927 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,927 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,927 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,928 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,928 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,928 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,928 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,933 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,934 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,934 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,939 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,939 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,939 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,940 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,940 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,945 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,945 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,945 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:06,945 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,951 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,951 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,951 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,952 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,952 WARN L623 FunctionHandler]: Unknown extern function dib7000pc_detection [2022-12-13 15:42:06,952 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,952 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,953 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,953 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,953 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,958 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:06,959 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,959 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,959 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,959 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,960 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,960 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,965 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,966 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,966 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,966 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,966 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:06,966 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,966 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,967 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,967 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,967 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,972 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,973 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:06,973 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:06,973 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:06,974 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:06,995 WARN L623 FunctionHandler]: Unknown extern function dib8096p_tuner_sleep [2022-12-13 15:42:06,995 WARN L623 FunctionHandler]: Unknown extern function dib8096p_tuner_sleep [2022-12-13 15:42:06,996 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:06,996 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_adc_power [2022-12-13 15:42:06,996 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:06,997 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u16 [2022-12-13 15:42:06,997 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u8 [2022-12-13 15:42:06,998 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:06,998 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_adc_power [2022-12-13 15:42:06,998 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:06,999 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u16 [2022-12-13 15:42:06,999 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u8 [2022-12-13 15:42:07,018 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,029 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,057 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,058 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,063 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,063 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,068 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,069 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,069 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,070 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,071 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:07,077 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-13 15:42:07,227 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-12-13 15:42:07,227 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@f2ddcee and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.12 03:42:07, skipping insertion in model container [2022-12-13 15:42:07,227 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-12-13 15:42:07,227 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2022-12-13 15:42:07,229 INFO L158 Benchmark]: Toolchain (without parser) took 2319.30ms. Allocated memory was 146.8MB in the beginning and 218.1MB in the end (delta: 71.3MB). Free memory was 90.9MB in the beginning and 116.8MB in the end (delta: -25.9MB). Peak memory consumption was 85.9MB. Max. memory is 16.1GB. [2022-12-13 15:42:07,229 INFO L158 Benchmark]: CDTParser took 0.17ms. Allocated memory is still 146.8MB. Free memory is still 92.8MB. There was no memory consumed. Max. memory is 16.1GB. [2022-12-13 15:42:07,230 INFO L158 Benchmark]: CACSL2BoogieTranslator took 2317.54ms. Allocated memory was 146.8MB in the beginning and 218.1MB in the end (delta: 71.3MB). Free memory was 90.9MB in the beginning and 116.8MB in the end (delta: -25.9MB). Peak memory consumption was 85.9MB. Max. memory is 16.1GB. [2022-12-13 15:42:07,231 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.17ms. Allocated memory is still 146.8MB. Free memory is still 92.8MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 2317.54ms. Allocated memory was 146.8MB in the beginning and 218.1MB in the end (delta: 71.3MB). Free memory was 90.9MB in the beginning and 116.8MB in the end (delta: -25.9MB). Peak memory consumption was 85.9MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 7217]: 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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/config/AutomizerMemDerefMemtrack.xml -i ../../sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8 --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 Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash a02c189ce0581b68f68f41a2d20ef2bbe40876b43460838f447454076f3bcdf6 --- Real Ultimate output --- [0.002s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-2329fc7 [2022-12-13 15:42:08,688 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-12-13 15:42:08,690 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-12-13 15:42:08,710 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-12-13 15:42:08,710 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-12-13 15:42:08,711 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-12-13 15:42:08,712 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-12-13 15:42:08,714 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-12-13 15:42:08,716 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-12-13 15:42:08,717 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-12-13 15:42:08,718 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-12-13 15:42:08,719 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-12-13 15:42:08,719 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-12-13 15:42:08,720 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-12-13 15:42:08,721 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-12-13 15:42:08,722 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-12-13 15:42:08,723 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-12-13 15:42:08,724 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-12-13 15:42:08,726 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-12-13 15:42:08,728 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-12-13 15:42:08,729 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-12-13 15:42:08,730 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-12-13 15:42:08,732 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-12-13 15:42:08,732 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-12-13 15:42:08,736 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-12-13 15:42:08,736 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-12-13 15:42:08,737 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-12-13 15:42:08,737 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-12-13 15:42:08,738 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-12-13 15:42:08,739 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-12-13 15:42:08,739 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-12-13 15:42:08,740 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-12-13 15:42:08,741 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-12-13 15:42:08,741 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-12-13 15:42:08,742 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-12-13 15:42:08,743 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-12-13 15:42:08,743 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-12-13 15:42:08,743 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-12-13 15:42:08,744 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-12-13 15:42:08,744 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-12-13 15:42:08,745 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-12-13 15:42:08,746 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Bitvector.epf [2022-12-13 15:42:08,768 INFO L113 SettingsManager]: Loading preferences was successful [2022-12-13 15:42:08,768 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-12-13 15:42:08,769 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-12-13 15:42:08,769 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-12-13 15:42:08,770 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-12-13 15:42:08,770 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-12-13 15:42:08,771 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-12-13 15:42:08,771 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-12-13 15:42:08,771 INFO L138 SettingsManager]: * Use SBE=true [2022-12-13 15:42:08,771 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-12-13 15:42:08,771 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-12-13 15:42:08,772 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-12-13 15:42:08,772 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-12-13 15:42:08,772 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-12-13 15:42:08,772 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-12-13 15:42:08,772 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-12-13 15:42:08,772 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-12-13 15:42:08,773 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-12-13 15:42:08,773 INFO L138 SettingsManager]: * Use bitvectors instead of ints=true [2022-12-13 15:42:08,773 INFO L138 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2022-12-13 15:42:08,773 INFO L138 SettingsManager]: * Use constant arrays=true [2022-12-13 15:42:08,773 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-12-13 15:42:08,774 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-12-13 15:42:08,774 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-12-13 15:42:08,774 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-12-13 15:42:08,774 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-12-13 15:42:08,774 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-12-13 15:42:08,775 INFO L138 SettingsManager]: * Trace refinement strategy=WOLF [2022-12-13 15:42:08,775 INFO L138 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2022-12-13 15:42:08,780 INFO L138 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2022-12-13 15:42:08,781 INFO L138 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2022-12-13 15:42:08,781 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-12-13 15:42:08,781 INFO L138 SettingsManager]: * Logic for external solver=AUFBV [2022-12-13 15:42:08,781 INFO L138 SettingsManager]: * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC [2022-12-13 15:42:08,781 INFO L138 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC 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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8 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 -> Automizer 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 -> a02c189ce0581b68f68f41a2d20ef2bbe40876b43460838f447454076f3bcdf6 [2022-12-13 15:42:08,998 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-12-13 15:42:09,013 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-12-13 15:42:09,015 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-12-13 15:42:09,015 INFO L271 PluginConnector]: Initializing CDTParser... [2022-12-13 15:42:09,016 INFO L275 PluginConnector]: CDTParser initialized [2022-12-13 15:42:09,017 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/../../sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i [2022-12-13 15:42:11,588 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-12-13 15:42:12,099 INFO L351 CDTParser]: Found 1 translation units. [2022-12-13 15:42:12,099 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i [2022-12-13 15:42:12,158 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/data/6ffdea680/d1e9dc0b81b24049b6c60619bcba4851/FLAG3f0127892 [2022-12-13 15:42:12,174 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_4f4c3e4d-2a43-4731-918e-f36b54cf428b/bin/uautomizer-uyxdKDjOR8/data/6ffdea680/d1e9dc0b81b24049b6c60619bcba4851 [2022-12-13 15:42:12,176 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-12-13 15:42:12,177 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-12-13 15:42:12,178 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-12-13 15:42:12,178 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-12-13 15:42:12,181 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-12-13 15:42:12,182 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.12 03:42:12" (1/1) ... [2022-12-13 15:42:12,183 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@32c7e6b6 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.12 03:42:12, skipping insertion in model container [2022-12-13 15:42:12,183 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.12 03:42:12" (1/1) ... [2022-12-13 15:42:12,190 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-12-13 15:42:12,315 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-12-13 15:42:12,989 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:13,042 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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i[201875,201888] [2022-12-13 15:42:13,103 WARN L623 FunctionHandler]: Unknown extern function dev_get_drvdata [2022-12-13 15:42:13,157 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,157 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,158 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:13,164 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,169 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,170 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,171 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,171 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:13,172 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,173 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,174 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,175 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,175 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,176 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,178 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:13,179 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,179 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,180 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,181 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,182 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,182 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,184 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,189 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,189 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,190 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,191 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,191 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,202 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,205 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:13,206 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,206 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,207 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,208 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,209 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,209 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,209 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,213 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,213 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,215 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,215 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:13,216 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,217 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,217 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,223 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,223 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,224 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,224 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,229 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,229 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,241 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:13,241 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,242 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,242 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:13,248 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,249 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,252 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,253 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,260 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,263 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,265 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,274 WARN L623 FunctionHandler]: Unknown extern function usb_bulk_msg [2022-12-13 15:42:13,275 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,276 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,276 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:13,278 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,280 WARN L623 FunctionHandler]: Unknown extern function usb_bulk_msg [2022-12-13 15:42:13,281 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,281 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_get_hexline [2022-12-13 15:42:13,282 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,283 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,284 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:13,291 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:13,293 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,293 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-12-13 15:42:13,295 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,297 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,300 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,302 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,303 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:13,304 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,306 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,307 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:13,314 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,315 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:13,316 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,317 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:13,317 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,318 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,321 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,322 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,323 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,324 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,325 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:13,327 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,327 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,329 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,330 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:13,336 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-12-13 15:42:13,337 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,408 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-12-13 15:42:13,410 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_exit [2022-12-13 15:42:13,416 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-12-13 15:42:13,417 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-12-13 15:42:13,563 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,568 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,573 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,577 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,581 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,585 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,589 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,593 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,600 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,605 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,611 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,615 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,657 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,657 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,657 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,657 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,658 WARN L623 FunctionHandler]: Unknown extern function dib3000mc_i2c_enumeration [2022-12-13 15:42:13,658 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,659 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,659 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,660 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,663 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,664 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,674 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:13,679 WARN L623 FunctionHandler]: Unknown extern function dib3000mc_get_tuner_i2c_master [2022-12-13 15:42:13,680 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,680 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,681 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,682 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,682 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,691 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,691 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,692 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,692 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:13,692 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,693 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,693 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,694 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,695 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,695 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,700 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,701 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,702 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,702 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:13,703 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,703 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,704 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,704 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,705 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,705 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,716 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:13,716 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,716 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,717 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,717 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,718 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,723 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:13,724 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,724 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:13,724 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,732 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,732 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,733 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,733 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,733 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:13,733 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,734 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,735 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,735 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,736 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,736 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,742 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:13,742 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,742 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,743 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,743 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,744 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,749 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,752 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:13,752 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:13,759 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,760 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,760 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,761 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,761 WARN L623 FunctionHandler]: Unknown extern function dib7000pc_detection [2022-12-13 15:42:13,762 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,762 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,762 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,763 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,763 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,764 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,764 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,764 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,765 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,765 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,772 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:13,772 WARN L623 FunctionHandler]: Unknown extern function dib7000m_get_i2c_master [2022-12-13 15:42:13,773 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,773 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,773 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,774 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,781 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,781 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:13,787 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,788 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:13,796 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:13,796 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,797 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:13,797 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:13,804 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:13,804 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:13,805 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:13,805 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,806 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:13,806 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:13,811 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:13,812 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,812 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,812 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,813 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,813 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,819 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:13,819 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,820 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,820 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,820 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,821 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,821 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,822 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,822 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,827 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,827 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,834 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter [2022-12-13 15:42:13,835 WARN L623 FunctionHandler]: Unknown extern function dib7000m_pid_filter [2022-12-13 15:42:13,841 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter_ctrl [2022-12-13 15:42:13,841 WARN L623 FunctionHandler]: Unknown extern function dib7000m_pid_filter_ctrl [2022-12-13 15:42:13,847 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter [2022-12-13 15:42:13,853 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter_ctrl [2022-12-13 15:42:13,859 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,859 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,859 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,860 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:13,860 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,860 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,861 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,861 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,861 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,862 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,867 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,868 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,868 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,868 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:13,869 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,869 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,870 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,870 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,871 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,871 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,878 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:13,884 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:13,891 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:13,892 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,892 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:13,898 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:13,898 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,899 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,899 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,900 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,900 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,901 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,901 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,902 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,907 WARN L623 FunctionHandler]: Unknown extern function dib8000_pid_filter [2022-12-13 15:42:13,911 WARN L623 FunctionHandler]: Unknown extern function dib8000_pid_filter_ctrl [2022-12-13 15:42:13,917 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,918 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,918 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,919 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:13,919 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,920 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,920 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,921 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,921 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,927 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,928 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,929 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,929 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,929 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:13,929 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,930 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,930 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,931 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,931 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,938 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:13,938 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,939 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,939 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,940 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,940 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,947 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_adc_power [2022-12-13 15:42:13,953 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,954 WARN L623 FunctionHandler]: Unknown extern function dib0090_dcc_freq [2022-12-13 15:42:13,954 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_dc_servo [2022-12-13 15:42:13,962 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,962 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,970 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,970 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:13,971 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:13,971 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,972 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:13,972 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:13,973 WARN L623 FunctionHandler]: Unknown extern function dib8000_ctrl_timf [2022-12-13 15:42:13,973 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:13,973 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:13,973 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,974 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_tune_state [2022-12-13 15:42:13,974 WARN L623 FunctionHandler]: Unknown extern function dib0090_gain_control [2022-12-13 15:42:13,974 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,974 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_tune_state [2022-12-13 15:42:13,975 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:13,975 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_current_gain [2022-12-13 15:42:13,975 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:13,976 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,976 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:13,976 WARN L623 FunctionHandler]: Unknown extern function dib8000_pwm_agc_reset [2022-12-13 15:42:13,976 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_tune_state [2022-12-13 15:42:13,976 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,980 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:13,986 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:13,986 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,987 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,987 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,988 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,988 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:13,994 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,994 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,994 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:13,995 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:13,995 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,995 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:13,996 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:13,996 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:13,997 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,003 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_slave_frontend [2022-12-13 15:42:14,004 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:14,004 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,005 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,005 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,006 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,006 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,007 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:14,007 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,008 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,008 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,009 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,009 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,016 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,016 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,017 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,017 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,017 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:14,018 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,018 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,018 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,019 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,020 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,020 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,021 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,021 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,022 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,022 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_slave_frontend [2022-12-13 15:42:14,033 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,034 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,036 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,044 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:14,044 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:14,044 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:14,045 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:14,045 WARN L623 FunctionHandler]: Unknown extern function dib8000_ctrl_timf [2022-12-13 15:42:14,052 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,052 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,052 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,053 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:14,053 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,053 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,053 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,054 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,054 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,061 WARN L623 FunctionHandler]: Unknown extern function dib8096p_get_i2c_tuner [2022-12-13 15:42:14,061 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,062 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,062 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,062 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,062 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,063 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:14,091 WARN L623 FunctionHandler]: Unknown extern function dibx000_i2c_set_speed [2022-12-13 15:42:14,091 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:14,091 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,092 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,092 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,092 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,094 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:14,095 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:14,103 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,104 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,104 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,105 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-13 15:42:14,105 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,105 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,106 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,106 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,107 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,107 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,108 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,120 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,121 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,121 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,122 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,122 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,123 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-13 15:42:14,129 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,130 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,130 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,130 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-13 15:42:14,130 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,131 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,132 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,132 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,132 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,133 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,133 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,134 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,134 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,135 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,135 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,136 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,143 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,143 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,143 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,144 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,144 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,146 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,146 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,146 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,147 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,147 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,148 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-13 15:42:14,154 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,155 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,157 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,164 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:14,165 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:14,165 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:14,165 WARN L623 FunctionHandler]: Unknown extern function dib7000p_update_pll [2022-12-13 15:42:14,165 WARN L623 FunctionHandler]: Unknown extern function dib7000p_ctrl_timf [2022-12-13 15:42:14,171 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,171 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_dc_servo [2022-12-13 15:42:14,177 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,177 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,177 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:14,178 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,178 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:14,184 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,185 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,185 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:14,185 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,185 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:14,193 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,193 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,194 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,194 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:14,194 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,194 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,195 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,195 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,196 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,196 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,202 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:14,202 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,203 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,203 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,204 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,204 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,204 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,210 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,211 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,211 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,211 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:14,212 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,212 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,212 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,219 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,220 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,220 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,221 WARN L623 FunctionHandler]: Unknown extern function dib7090_slave_reset [2022-12-13 15:42:14,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,228 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:14,228 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:14,229 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,229 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,230 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,230 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,231 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,231 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,238 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:14,238 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,239 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,239 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,240 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,240 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,241 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,247 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:14,248 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,248 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,248 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,249 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,250 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,250 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,257 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,258 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,258 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,258 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:14,259 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,259 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,260 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,260 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,261 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,261 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,268 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:14,268 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,269 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,269 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,270 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,270 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,270 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,289 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,290 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,295 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,295 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:14,296 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,296 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,297 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,297 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,298 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,298 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,304 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,305 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,305 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,306 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,306 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,324 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:14,324 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,325 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,325 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,326 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,327 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,327 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,334 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,335 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,335 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,335 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,336 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,336 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,336 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,337 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,338 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,344 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,344 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,344 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,350 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,351 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,351 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,352 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,352 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,358 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,359 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,359 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:14,359 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,366 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,367 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,367 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,368 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,368 WARN L623 FunctionHandler]: Unknown extern function dib7000pc_detection [2022-12-13 15:42:14,368 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,369 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,369 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,370 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,370 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,376 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:14,377 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,377 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,378 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,378 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,379 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,379 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,386 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,386 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,386 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,387 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,387 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:14,387 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,388 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,388 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,389 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,389 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,395 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,396 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:14,396 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:14,397 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:14,397 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,425 WARN L623 FunctionHandler]: Unknown extern function dib8096p_tuner_sleep [2022-12-13 15:42:14,426 WARN L623 FunctionHandler]: Unknown extern function dib8096p_tuner_sleep [2022-12-13 15:42:14,426 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:14,427 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_adc_power [2022-12-13 15:42:14,427 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:14,428 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u16 [2022-12-13 15:42:14,428 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u8 [2022-12-13 15:42:14,429 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:14,430 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_adc_power [2022-12-13 15:42:14,430 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:14,430 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u16 [2022-12-13 15:42:14,430 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u8 [2022-12-13 15:42:14,453 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,467 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,501 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,508 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,509 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,515 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,516 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,517 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,517 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,518 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,534 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-13 15:42:14,763 INFO L200 MainTranslator]: Restarting translation with changed settings: SettingsChange [mNewPreferredMemoryModel=HoenickeLindenmann_1ByteResolution] [2022-12-13 15:42:14,848 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-12-13 15:42:14,986 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:14,989 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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i[201875,201888] [2022-12-13 15:42:14,990 WARN L623 FunctionHandler]: Unknown extern function dev_get_drvdata [2022-12-13 15:42:14,992 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:14,993 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,993 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:14,996 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:14,997 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,998 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,999 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:14,999 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,000 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,001 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,002 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,002 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,003 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,003 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,005 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,005 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,006 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,006 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,007 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,008 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,008 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,010 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,010 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,011 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,012 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,012 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,012 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,014 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,016 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,017 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,017 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,018 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,019 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,019 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,020 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,020 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,023 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,024 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,024 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,025 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,025 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,026 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,027 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,027 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,027 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,030 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,031 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,031 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,033 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,034 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,034 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,034 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,035 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,035 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,037 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,038 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,038 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,040 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,041 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,043 WARN L623 FunctionHandler]: Unknown extern function usb_bulk_msg [2022-12-13 15:42:15,044 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,044 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,045 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,046 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,047 WARN L623 FunctionHandler]: Unknown extern function usb_bulk_msg [2022-12-13 15:42:15,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,048 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_get_hexline [2022-12-13 15:42:15,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,049 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,049 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,052 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,053 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,054 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-12-13 15:42:15,055 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,055 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,057 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,058 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,059 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,059 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,061 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,061 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,062 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,063 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,063 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,063 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,064 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,064 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,066 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,066 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,067 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,068 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,068 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:15,069 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,070 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,071 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,071 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,087 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-12-13 15:42:15,088 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,090 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-12-13 15:42:15,092 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_exit [2022-12-13 15:42:15,094 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-12-13 15:42:15,102 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-12-13 15:42:15,103 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,103 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,104 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,104 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,104 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,104 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,105 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,105 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,105 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,105 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,106 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,106 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,108 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,108 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,108 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,108 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,109 WARN L623 FunctionHandler]: Unknown extern function dib3000mc_i2c_enumeration [2022-12-13 15:42:15,109 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,110 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,110 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,110 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,111 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,111 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,113 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:15,113 WARN L623 FunctionHandler]: Unknown extern function dib3000mc_get_tuner_i2c_master [2022-12-13 15:42:15,114 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,115 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,115 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,116 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,116 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,118 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,118 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,118 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,119 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,119 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,119 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,120 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,120 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,121 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,121 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,129 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,129 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,129 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,129 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,130 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,130 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,130 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,131 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,131 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,132 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,132 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,133 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,133 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,133 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,134 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,134 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,135 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,136 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,136 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,136 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,137 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,137 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,138 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,138 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,138 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,138 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,138 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,139 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,139 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,140 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,140 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,141 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,141 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,141 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,142 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,142 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,142 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,143 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,145 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:15,145 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:15,147 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,148 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,148 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,148 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,148 WARN L623 FunctionHandler]: Unknown extern function dib7000pc_detection [2022-12-13 15:42:15,149 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,149 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,149 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,150 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,150 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,151 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,151 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,151 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,152 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,152 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,153 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,154 WARN L623 FunctionHandler]: Unknown extern function dib7000m_get_i2c_master [2022-12-13 15:42:15,154 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,154 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,155 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,155 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,155 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,156 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,156 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,157 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,157 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,159 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,159 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,159 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,159 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:15,160 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,161 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,161 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,161 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,161 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,162 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:15,162 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,162 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,163 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,163 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,164 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,164 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,165 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,165 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,165 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,166 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,166 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,167 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,167 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,167 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,167 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,168 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,168 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,169 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter [2022-12-13 15:42:15,169 WARN L623 FunctionHandler]: Unknown extern function dib7000m_pid_filter [2022-12-13 15:42:15,170 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter_ctrl [2022-12-13 15:42:15,170 WARN L623 FunctionHandler]: Unknown extern function dib7000m_pid_filter_ctrl [2022-12-13 15:42:15,171 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter [2022-12-13 15:42:15,171 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter_ctrl [2022-12-13 15:42:15,172 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,173 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,173 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,173 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,173 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,174 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,174 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,174 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,175 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,175 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,176 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,177 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,177 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,177 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,177 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,178 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,178 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,178 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,179 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,179 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,180 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:15,181 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:15,182 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,183 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,183 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:15,184 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:15,184 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,184 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,185 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,185 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,185 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,186 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,186 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,186 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,187 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,187 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,188 WARN L623 FunctionHandler]: Unknown extern function dib8000_pid_filter [2022-12-13 15:42:15,188 WARN L623 FunctionHandler]: Unknown extern function dib8000_pid_filter_ctrl [2022-12-13 15:42:15,189 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,189 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,190 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,190 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:15,190 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,190 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,190 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,191 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,191 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,192 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,192 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,193 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,193 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,193 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:15,193 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,194 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,194 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,194 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,195 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,195 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:15,195 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,196 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,196 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,197 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,197 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,198 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_adc_power [2022-12-13 15:42:15,198 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,198 WARN L623 FunctionHandler]: Unknown extern function dib0090_dcc_freq [2022-12-13 15:42:15,199 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_dc_servo [2022-12-13 15:42:15,201 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,201 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,203 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,203 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:15,203 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:15,204 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,204 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:15,205 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:15,205 WARN L623 FunctionHandler]: Unknown extern function dib8000_ctrl_timf [2022-12-13 15:42:15,205 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:15,205 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:15,206 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,206 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_tune_state [2022-12-13 15:42:15,206 WARN L623 FunctionHandler]: Unknown extern function dib0090_gain_control [2022-12-13 15:42:15,206 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,206 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_tune_state [2022-12-13 15:42:15,207 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:15,207 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_current_gain [2022-12-13 15:42:15,207 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:15,207 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,208 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:15,208 WARN L623 FunctionHandler]: Unknown extern function dib8000_pwm_agc_reset [2022-12-13 15:42:15,208 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_tune_state [2022-12-13 15:42:15,208 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,208 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:15,209 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:15,209 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,210 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,210 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,210 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,211 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,211 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,212 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,212 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,212 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:15,213 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,213 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,213 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,214 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,214 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,215 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_slave_frontend [2022-12-13 15:42:15,215 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:15,215 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,216 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,216 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,216 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,217 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,217 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:15,217 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,218 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,218 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,218 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,219 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,220 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,220 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,220 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,220 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,221 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:15,221 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,221 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,221 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,222 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,222 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,223 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,223 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,223 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,224 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,224 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,224 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_slave_frontend [2022-12-13 15:42:15,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,229 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,231 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:15,231 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:15,232 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:15,232 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:15,232 WARN L623 FunctionHandler]: Unknown extern function dib8000_ctrl_timf [2022-12-13 15:42:15,233 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,234 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,234 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,234 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:15,234 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,235 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,235 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,236 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,236 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,237 WARN L623 FunctionHandler]: Unknown extern function dib8096p_get_i2c_tuner [2022-12-13 15:42:15,237 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,237 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,237 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,238 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,238 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,238 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:15,241 WARN L623 FunctionHandler]: Unknown extern function dibx000_i2c_set_speed [2022-12-13 15:42:15,241 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:15,241 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,242 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,242 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,242 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,243 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:15,245 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:15,247 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,248 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,248 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,248 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-13 15:42:15,249 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,249 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,250 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,250 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,250 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,251 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,251 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,252 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,252 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,252 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,253 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,253 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,254 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-13 15:42:15,255 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,255 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,255 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,255 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-13 15:42:15,256 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,256 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,257 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,257 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,258 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,258 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,259 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,259 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,259 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,260 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,260 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,270 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,272 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,272 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,272 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,273 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,273 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,274 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,274 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,275 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,275 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,275 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,276 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-13 15:42:15,277 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,278 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,279 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,281 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:15,281 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:15,281 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:15,281 WARN L623 FunctionHandler]: Unknown extern function dib7000p_update_pll [2022-12-13 15:42:15,281 WARN L623 FunctionHandler]: Unknown extern function dib7000p_ctrl_timf [2022-12-13 15:42:15,282 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,282 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_dc_servo [2022-12-13 15:42:15,282 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,282 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,283 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:15,283 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,283 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:15,284 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,284 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,284 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:15,285 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,285 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:15,287 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,287 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,287 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,287 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,288 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,288 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,288 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,288 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,289 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,289 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,290 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:15,290 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,290 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,290 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,291 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,291 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,291 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,292 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,293 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,293 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,293 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,293 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,294 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,294 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,294 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,295 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,295 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,295 WARN L623 FunctionHandler]: Unknown extern function dib7090_slave_reset [2022-12-13 15:42:15,296 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,296 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,296 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,296 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,297 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,297 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,297 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,298 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,298 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,299 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:15,299 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,299 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,299 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,300 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,300 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,300 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,301 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:15,301 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,302 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,302 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,302 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,302 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,303 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,304 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,304 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,304 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,304 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,305 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,305 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,305 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,305 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,306 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,306 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,307 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:15,307 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,307 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,307 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,308 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,308 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,308 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,309 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,310 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,310 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,310 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,311 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,311 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,311 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,311 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,312 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,312 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,313 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,313 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,313 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,314 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,314 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,316 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,316 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,316 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,317 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,317 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,317 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,318 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,319 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,319 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,319 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,320 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,320 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,320 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,320 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,321 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,321 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,322 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,322 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,322 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,323 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,323 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,323 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,324 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,324 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,324 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,324 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,325 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,325 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,326 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,326 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,326 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,327 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,327 WARN L623 FunctionHandler]: Unknown extern function dib7000pc_detection [2022-12-13 15:42:15,327 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,327 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,327 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,328 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,328 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,329 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,329 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,330 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,330 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,330 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,330 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,331 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,331 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,332 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,332 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,332 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,332 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,332 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,333 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,333 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,333 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,333 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,334 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,334 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,335 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,335 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,335 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,359 WARN L623 FunctionHandler]: Unknown extern function dib8096p_tuner_sleep [2022-12-13 15:42:15,360 WARN L623 FunctionHandler]: Unknown extern function dib8096p_tuner_sleep [2022-12-13 15:42:15,360 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:15,361 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_adc_power [2022-12-13 15:42:15,361 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:15,362 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u16 [2022-12-13 15:42:15,362 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u8 [2022-12-13 15:42:15,363 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:15,363 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_adc_power [2022-12-13 15:42:15,363 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:15,364 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u16 [2022-12-13 15:42:15,364 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u8 [2022-12-13 15:42:15,365 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,366 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,368 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,368 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,369 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,369 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,370 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,370 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,371 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,371 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,372 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,374 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-13 15:42:15,498 INFO L203 MainTranslator]: Completed pre-run [2022-12-13 15:42:15,570 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:15,571 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_4f4c3e4d-2a43-4731-918e-f36b54cf428b/sv-benchmarks/c/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point.cil.out.i[201875,201888] [2022-12-13 15:42:15,572 WARN L623 FunctionHandler]: Unknown extern function dev_get_drvdata [2022-12-13 15:42:15,573 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,573 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,573 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,575 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,575 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,575 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,576 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,576 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,576 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,577 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,577 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,577 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,577 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,578 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,578 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,578 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,579 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,579 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,579 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,579 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,580 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,580 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,580 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,581 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,581 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,581 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,581 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,582 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,583 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,583 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,584 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,584 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,584 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,584 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,585 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,585 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,586 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,586 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,586 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,587 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,587 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,587 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,588 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,588 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,588 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,588 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,589 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,590 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,590 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,591 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,591 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,591 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,591 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,592 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,592 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,593 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,593 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,593 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,594 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,594 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,596 WARN L623 FunctionHandler]: Unknown extern function usb_bulk_msg [2022-12-13 15:42:15,596 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,596 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,596 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,598 WARN L623 FunctionHandler]: Unknown extern function usb_bulk_msg [2022-12-13 15:42:15,598 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,598 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_get_hexline [2022-12-13 15:42:15,598 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,598 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,599 WARN L623 FunctionHandler]: Unknown extern function usb_control_msg [2022-12-13 15:42:15,600 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,608 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,608 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-12-13 15:42:15,609 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,609 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,610 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,615 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,616 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible_nested [2022-12-13 15:42:15,616 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,617 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,617 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-12-13 15:42:15,618 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,618 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,618 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,619 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,619 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,619 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,620 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,620 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,621 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,621 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,621 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:15,622 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,622 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,622 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,623 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-12-13 15:42:15,623 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_init [2022-12-13 15:42:15,623 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,625 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-12-13 15:42:15,626 WARN L623 FunctionHandler]: Unknown extern function dvb_usb_device_exit [2022-12-13 15:42:15,627 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-12-13 15:42:15,628 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-12-13 15:42:15,628 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,629 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,629 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,629 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,629 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,629 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,636 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,641 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,645 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,649 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,660 WARN L623 FunctionHandler]: Unknown extern function dib3000mc_i2c_enumeration [2022-12-13 15:42:15,667 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,668 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,668 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,668 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,670 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,670 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,672 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:15,673 WARN L623 FunctionHandler]: Unknown extern function dib3000mc_get_tuner_i2c_master [2022-12-13 15:42:15,674 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,675 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,675 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,676 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,676 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,683 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,719 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,722 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,723 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,723 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,724 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,724 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,724 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,725 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,725 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,729 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,743 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,747 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,751 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,752 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,752 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,752 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,752 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,753 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,753 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,754 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,754 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,754 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,754 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,755 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,755 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,756 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,756 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,756 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,764 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,778 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,782 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,785 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,785 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,786 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,786 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,787 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,787 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,788 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,788 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,788 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,789 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,789 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,789 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,789 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,789 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,790 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,791 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:15,791 WARN L623 FunctionHandler]: Unknown extern function rc_keydown [2022-12-13 15:42:15,799 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,803 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,810 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,817 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,820 WARN L623 FunctionHandler]: Unknown extern function dib7000pc_detection [2022-12-13 15:42:15,821 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,821 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,822 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,822 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,823 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,823 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,823 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,823 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,824 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,824 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,826 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,826 WARN L623 FunctionHandler]: Unknown extern function dib7000m_get_i2c_master [2022-12-13 15:42:15,826 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,826 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,827 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,827 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,827 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,828 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,828 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,828 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,828 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,829 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,829 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,829 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,829 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:15,830 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,830 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:15,831 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,831 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,831 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,831 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:15,831 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,832 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,832 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,832 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,832 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,832 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,836 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:15,837 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,837 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,837 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,837 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,838 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,838 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,838 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,838 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,839 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,839 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,843 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter [2022-12-13 15:42:15,843 WARN L623 FunctionHandler]: Unknown extern function dib7000m_pid_filter [2022-12-13 15:42:15,844 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter_ctrl [2022-12-13 15:42:15,844 WARN L623 FunctionHandler]: Unknown extern function dib7000m_pid_filter_ctrl [2022-12-13 15:42:15,844 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter [2022-12-13 15:42:15,844 WARN L623 FunctionHandler]: Unknown extern function dib7000p_pid_filter_ctrl [2022-12-13 15:42:15,861 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,879 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,883 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,886 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,887 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,887 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,888 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,888 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,889 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,889 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,896 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,914 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,918 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,922 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:15,922 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,923 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,923 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,923 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,924 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,924 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,925 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:15,925 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:15,926 WARN L623 FunctionHandler]: Unknown extern function dib0070_wbd_offset [2022-12-13 15:42:15,926 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,926 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:15,927 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:15,927 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,927 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,927 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,928 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,928 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,928 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,928 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,928 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,929 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,929 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,934 WARN L623 FunctionHandler]: Unknown extern function dib8000_pid_filter [2022-12-13 15:42:15,934 WARN L623 FunctionHandler]: Unknown extern function dib8000_pid_filter_ctrl [2022-12-13 15:42:15,941 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,958 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,962 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,965 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:15,966 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,966 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:15,966 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:15,967 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:15,967 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:15,971 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,975 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,992 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,996 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:15,999 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:16,000 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,000 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,000 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,001 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,001 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,002 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:16,003 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,003 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,003 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,004 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,004 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,004 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_adc_power [2022-12-13 15:42:16,005 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,005 WARN L623 FunctionHandler]: Unknown extern function dib0090_dcc_freq [2022-12-13 15:42:16,005 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_dc_servo [2022-12-13 15:42:16,006 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,006 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,007 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,008 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:16,008 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:16,008 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,008 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:16,009 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:16,009 WARN L623 FunctionHandler]: Unknown extern function dib8000_ctrl_timf [2022-12-13 15:42:16,009 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:16,009 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:16,009 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,009 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_tune_state [2022-12-13 15:42:16,010 WARN L623 FunctionHandler]: Unknown extern function dib0090_gain_control [2022-12-13 15:42:16,010 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,010 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_tune_state [2022-12-13 15:42:16,010 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:16,010 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_current_gain [2022-12-13 15:42:16,010 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:16,010 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,011 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:16,011 WARN L623 FunctionHandler]: Unknown extern function dib8000_pwm_agc_reset [2022-12-13 15:42:16,011 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_tune_state [2022-12-13 15:42:16,011 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,011 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:16,011 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:16,012 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,012 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,012 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,031 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,031 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,042 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,063 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,067 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,071 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:16,071 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,072 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,072 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,073 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,073 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,074 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_slave_frontend [2022-12-13 15:42:16,074 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:16,075 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,075 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,075 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,075 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,076 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,078 WARN L623 FunctionHandler]: Unknown extern function dib8000_get_i2c_master [2022-12-13 15:42:16,078 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,078 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,079 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,079 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,079 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,088 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,092 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,110 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,113 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,117 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:16,117 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,118 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,118 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,119 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,119 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,120 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,120 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,120 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,121 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,122 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,122 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_slave_frontend [2022-12-13 15:42:16,124 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,124 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,126 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,127 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:16,128 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:16,128 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_wbd_ref [2022-12-13 15:42:16,131 WARN L623 FunctionHandler]: Unknown extern function dib8000_update_pll [2022-12-13 15:42:16,132 WARN L623 FunctionHandler]: Unknown extern function dib8000_ctrl_timf [2022-12-13 15:42:16,142 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,158 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,161 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,165 WARN L623 FunctionHandler]: Unknown extern function dib8000_i2c_enumeration [2022-12-13 15:42:16,166 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,166 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,166 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,167 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,167 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,168 WARN L623 FunctionHandler]: Unknown extern function dib8096p_get_i2c_tuner [2022-12-13 15:42:16,168 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,169 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,169 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,169 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,169 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,170 WARN L623 FunctionHandler]: Unknown extern function dib8000_set_gpio [2022-12-13 15:42:16,175 WARN L623 FunctionHandler]: Unknown extern function dibx000_i2c_set_speed [2022-12-13 15:42:16,175 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:16,175 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,176 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,176 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,176 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,177 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:16,178 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-13 15:42:16,190 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,208 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,211 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,215 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-13 15:42:16,216 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,216 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,217 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,217 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,217 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,218 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,218 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,220 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,220 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,220 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,221 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,221 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,225 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-13 15:42:16,235 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,251 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,254 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,258 WARN L623 FunctionHandler]: Unknown extern function request_firmware [2022-12-13 15:42:16,258 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,259 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,260 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,260 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,261 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,262 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,262 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,262 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,263 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,263 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,263 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,263 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,265 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,265 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,265 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,266 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,266 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,270 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,270 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,270 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,271 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,271 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,272 WARN L623 FunctionHandler]: Unknown extern function release_firmware [2022-12-13 15:42:16,273 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,273 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,275 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,276 WARN L623 FunctionHandler]: Unknown extern function dib0090_pwm_gain_reset [2022-12-13 15:42:16,276 WARN L623 FunctionHandler]: Unknown extern function dib0090_get_wbd_target [2022-12-13 15:42:16,277 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_wbd_ref [2022-12-13 15:42:16,277 WARN L623 FunctionHandler]: Unknown extern function dib7000p_update_pll [2022-12-13 15:42:16,277 WARN L623 FunctionHandler]: Unknown extern function dib7000p_ctrl_timf [2022-12-13 15:42:16,277 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,278 WARN L623 FunctionHandler]: Unknown extern function dib0090_set_dc_servo [2022-12-13 15:42:16,278 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,278 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,278 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:16,278 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,279 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:16,279 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,280 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,280 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:16,280 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,280 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_agc1_min [2022-12-13 15:42:16,285 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,297 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,300 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,304 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:16,305 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,305 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,305 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,305 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,306 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,307 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,307 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:16,307 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,308 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,308 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,308 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,309 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,309 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,316 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,328 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,331 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,335 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:16,336 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,339 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,339 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,340 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,341 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,341 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,341 WARN L623 FunctionHandler]: Unknown extern function dib7090_slave_reset [2022-12-13 15:42:16,342 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,342 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:16,344 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:16,344 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,344 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,345 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,345 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,345 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,346 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,350 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:16,350 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,350 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,350 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,351 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,351 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,351 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,355 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:16,355 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,356 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,356 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,356 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,357 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,357 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,364 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,377 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,385 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,387 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:16,387 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,388 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,388 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,388 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,389 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,389 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,389 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_i2c_tuner [2022-12-13 15:42:16,390 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,390 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,390 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,390 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,390 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,391 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,393 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,393 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,395 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,396 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:16,397 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,397 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,397 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,397 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,398 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,398 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,398 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,399 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,399 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,399 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,399 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,405 WARN L623 FunctionHandler]: Unknown extern function dib7000p_i2c_enumeration [2022-12-13 15:42:16,406 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,406 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,406 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,406 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,407 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,407 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,414 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,416 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,418 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,429 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,432 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,433 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,433 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,434 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,434 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,437 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,440 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,440 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,441 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,441 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,441 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,442 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,442 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,443 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,443 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,443 WARN L623 FunctionHandler]: Unknown extern function dib7000p_set_gpio [2022-12-13 15:42:16,443 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,447 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,449 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,452 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,462 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,462 WARN L623 FunctionHandler]: Unknown extern function dib7000pc_detection [2022-12-13 15:42:16,463 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,463 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,463 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,464 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,464 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,465 WARN L623 FunctionHandler]: Unknown extern function dib7000p_get_i2c_master [2022-12-13 15:42:16,465 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,465 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,466 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,466 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,466 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,467 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,470 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,472 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,475 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,477 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,479 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-13 15:42:16,480 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,480 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,480 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,481 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,481 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,482 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,482 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-13 15:42:16,482 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-13 15:42:16,483 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-13 15:42:16,483 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-13 15:42:16,498 WARN L623 FunctionHandler]: Unknown extern function dib8096p_tuner_sleep [2022-12-13 15:42:16,498 WARN L623 FunctionHandler]: Unknown extern function dib8096p_tuner_sleep [2022-12-13 15:42:16,499 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:16,499 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_adc_power [2022-12-13 15:42:16,499 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:16,500 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u16 [2022-12-13 15:42:16,500 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u8 [2022-12-13 15:42:16,501 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:16,501 WARN L623 FunctionHandler]: Unknown extern function dib7090_get_adc_power [2022-12-13 15:42:16,501 WARN L623 FunctionHandler]: Unknown extern function dib7090_tuner_sleep [2022-12-13 15:42:16,501 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u16 [2022-12-13 15:42:16,501 WARN L623 FunctionHandler]: Unknown extern function __VERIFIER_nondet_u8 [2022-12-13 15:42:16,502 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,503 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,505 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,505 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,505 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,506 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,506 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,506 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,507 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,507 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,507 WARN L623 FunctionHandler]: Unknown extern function ldv_malloc [2022-12-13 15:42:16,509 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-13 15:42:16,511 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-12-13 15:42:16,514 INFO L158 Benchmark]: Toolchain (without parser) took 4336.64ms. Allocated memory was 69.2MB in the beginning and 780.1MB in the end (delta: 710.9MB). Free memory was 38.4MB in the beginning and 527.3MB in the end (delta: -488.9MB). Peak memory consumption was 374.9MB. Max. memory is 16.1GB. [2022-12-13 15:42:16,515 INFO L158 Benchmark]: CDTParser took 0.15ms. Allocated memory is still 52.4MB. Free memory is still 31.0MB. There was no memory consumed. Max. memory is 16.1GB. [2022-12-13 15:42:16,515 INFO L158 Benchmark]: CACSL2BoogieTranslator took 4334.92ms. Allocated memory was 69.2MB in the beginning and 780.1MB in the end (delta: 710.9MB). Free memory was 38.2MB in the beginning and 527.3MB in the end (delta: -489.2MB). Peak memory consumption was 374.9MB. Max. memory is 16.1GB. [2022-12-13 15:42:16,516 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.15ms. Allocated memory is still 52.4MB. Free memory is still 31.0MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 4334.92ms. Allocated memory was 69.2MB in the beginning and 780.1MB in the end (delta: 710.9MB). Free memory was 38.2MB in the beginning and 527.3MB in the end (delta: -489.2MB). Peak memory consumption was 374.9MB. 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