./Ultimate.py --spec ../../sv-benchmarks/c/properties/valid-memsafety.prp --file ../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for memory safety (deref-memtrack) Using default analysis Version 2329fc70 Calling Ultimate with: /usr/lib/jvm/java-1.11.0-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/config/KojakMemDerefMemtrack.xml -i ../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/config/svcomp-DerefFreeMemtrack-64bit-Kojak_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4 --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 Kojak --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash dc9e8bb6b40f5555d57e381f2a097a5016cb2e1f56429745ab057291759776aa --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-2329fc7 [2022-12-14 19:25:43,241 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-12-14 19:25:43,242 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-12-14 19:25:43,263 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-12-14 19:25:43,263 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-12-14 19:25:43,264 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-12-14 19:25:43,266 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-12-14 19:25:43,267 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-12-14 19:25:43,269 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-12-14 19:25:43,270 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-12-14 19:25:43,271 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-12-14 19:25:43,272 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-12-14 19:25:43,272 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-12-14 19:25:43,273 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-12-14 19:25:43,275 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-12-14 19:25:43,276 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-12-14 19:25:43,277 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-12-14 19:25:43,277 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-12-14 19:25:43,279 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-12-14 19:25:43,281 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-12-14 19:25:43,283 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-12-14 19:25:43,284 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-12-14 19:25:43,285 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-12-14 19:25:43,286 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-12-14 19:25:43,290 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-12-14 19:25:43,290 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-12-14 19:25:43,290 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-12-14 19:25:43,291 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-12-14 19:25:43,292 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-12-14 19:25:43,293 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-12-14 19:25:43,293 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-12-14 19:25:43,294 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-12-14 19:25:43,295 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-12-14 19:25:43,296 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-12-14 19:25:43,296 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-12-14 19:25:43,297 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-12-14 19:25:43,297 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-12-14 19:25:43,298 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-12-14 19:25:43,298 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-12-14 19:25:43,299 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-12-14 19:25:43,300 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-12-14 19:25:43,300 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/config/svcomp-DerefFreeMemtrack-64bit-Kojak_Default.epf [2022-12-14 19:25:43,321 INFO L113 SettingsManager]: Loading preferences was successful [2022-12-14 19:25:43,321 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-12-14 19:25:43,323 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-12-14 19:25:43,323 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-12-14 19:25:43,323 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-12-14 19:25:43,323 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-12-14 19:25:43,324 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-12-14 19:25:43,324 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-12-14 19:25:43,324 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-12-14 19:25:43,324 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-12-14 19:25:43,324 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-12-14 19:25:43,324 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-12-14 19:25:43,324 INFO L138 SettingsManager]: * Use constant arrays=true [2022-12-14 19:25:43,325 INFO L136 SettingsManager]: Preferences of CodeCheck differ from their defaults: [2022-12-14 19:25:43,325 INFO L138 SettingsManager]: * Timeout in seconds=1000000 [2022-12-14 19:25:43,325 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-12-14 19:25:43,325 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:10000 [2022-12-14 19:25:43,325 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-12-14 19:25:43,325 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-12-14 19:25:43,326 INFO L138 SettingsManager]: * Trace refinement strategy=PENGUIN [2022-12-14 19:25:43,326 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-12-14 19:25:43,326 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4 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 -> Kojak 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 -> dc9e8bb6b40f5555d57e381f2a097a5016cb2e1f56429745ab057291759776aa [2022-12-14 19:25:43,499 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-12-14 19:25:43,516 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-12-14 19:25:43,518 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-12-14 19:25:43,518 INFO L271 PluginConnector]: Initializing CDTParser... [2022-12-14 19:25:43,519 INFO L275 PluginConnector]: CDTParser initialized [2022-12-14 19:25:43,519 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i [2022-12-14 19:25:46,052 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-12-14 19:25:46,522 INFO L351 CDTParser]: Found 1 translation units. [2022-12-14 19:25:46,522 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i [2022-12-14 19:25:46,568 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/data/1b5f133f4/96d4ce7b583d4a29baa83a610505f7ae/FLAG67c164215 [2022-12-14 19:25:46,627 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/data/1b5f133f4/96d4ce7b583d4a29baa83a610505f7ae [2022-12-14 19:25:46,630 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-12-14 19:25:46,631 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-12-14 19:25:46,633 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-12-14 19:25:46,633 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-12-14 19:25:46,636 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-12-14 19:25:46,637 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.12 07:25:46" (1/1) ... [2022-12-14 19:25:46,638 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@7aab6c7f and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 07:25:46, skipping insertion in model container [2022-12-14 19:25:46,638 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.12 07:25:46" (1/1) ... [2022-12-14 19:25:46,645 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-12-14 19:25:46,804 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-12-14 19:25:47,666 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,671 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,674 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_write [2022-12-14 19:25:47,675 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_rw [2022-12-14 19:25:47,675 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,678 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,679 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,681 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,683 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,685 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,686 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,686 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,688 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,688 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,689 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,690 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,692 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,693 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,701 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,701 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,706 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,715 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,716 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,717 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:47,717 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,718 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,719 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,719 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,720 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,721 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,722 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,722 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,723 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,723 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:47,734 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,735 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,744 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,745 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,746 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,754 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,755 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,755 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,757 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,765 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,766 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,773 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,774 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:47,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,776 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,777 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,777 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,778 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,779 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,779 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,780 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,780 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:47,781 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,782 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:47,782 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,791 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,791 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:47,792 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,793 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,793 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,794 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,795 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,795 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,796 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,796 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,797 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,797 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,798 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,798 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,798 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,799 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,799 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,800 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:47,800 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,801 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:47,801 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,810 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,810 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:47,811 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,811 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,812 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,813 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,813 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,814 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,814 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,815 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,815 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,817 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,817 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,818 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,818 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:47,818 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,819 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:47,819 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,828 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,829 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:47,829 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,830 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,830 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,831 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,831 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,832 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,832 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,833 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,835 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,835 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,835 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,836 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,836 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:47,836 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,837 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:47,837 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,846 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,846 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:47,847 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,847 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,848 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,848 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,849 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,849 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,850 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,850 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:47,850 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,851 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:47,851 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,864 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:47,865 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:47,865 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:47,866 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,866 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,873 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,873 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,874 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:47,874 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:47,875 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:47,875 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,886 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,887 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,887 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,888 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,888 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,888 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,888 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,889 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-12-14 19:25:47,890 WARN L623 FunctionHandler]: Unknown extern function tveeprom_read [2022-12-14 19:25:47,890 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:47,891 WARN L623 FunctionHandler]: Unknown extern function tveeprom_hauppauge_analog [2022-12-14 19:25:47,911 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,918 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,924 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,930 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,937 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,945 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,952 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,959 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,966 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,973 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,982 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,989 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:47,997 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:48,004 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:48,412 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_probe [2022-12-14 19:25:48,413 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-12-14 19:25:48,413 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_resume [2022-12-14 19:25:48,414 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_suspend [2022-12-14 19:25:48,417 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-12-14 19:25:48,418 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-12-14 19:25:48,418 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-12-14 19:25:48,427 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,428 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,429 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,429 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,430 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,430 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,431 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,431 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,432 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,432 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,432 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,433 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,433 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,434 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,434 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,435 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,436 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,437 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,438 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,438 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,439 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,440 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,440 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,441 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,441 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,442 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,442 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,442 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,443 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,443 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,444 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,445 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,445 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,479 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,479 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,480 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,481 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,481 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,482 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,482 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,482 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,483 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,488 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,489 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,489 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,489 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,490 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,495 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,496 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,496 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,496 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,501 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,502 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,502 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,503 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,503 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,508 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,509 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,509 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,509 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,510 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,515 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,515 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,516 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,521 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,522 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,522 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,523 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,523 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,524 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,524 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,524 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,530 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,536 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,541 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,547 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,548 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,553 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,555 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,555 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,561 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,563 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,564 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,565 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,566 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,567 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,568 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,568 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,569 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,570 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,571 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,572 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,573 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,573 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,574 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,576 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,576 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,580 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,580 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,596 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,598 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,598 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,604 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,605 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,605 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,606 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,611 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,612 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,613 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,613 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,614 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,615 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,615 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,616 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,621 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,622 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,623 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,623 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,623 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,624 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,624 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,625 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,625 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,625 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,631 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,631 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,632 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,632 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,632 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,633 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,633 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,633 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,644 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,644 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,650 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,650 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:48,651 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:48,656 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,657 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:48,657 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:48,657 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,658 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,663 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,664 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:48,664 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,664 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:48,665 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,665 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,665 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,666 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,666 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:48,666 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:48,667 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:48,667 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:48,667 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:48,667 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:48,667 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:49,232 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-12-14 19:25:49,466 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 19:25:50,115 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[558734,558747] [2022-12-14 19:25:50,116 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[558879,558892] [2022-12-14 19:25:50,117 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559025,559038] [2022-12-14 19:25:50,117 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559190,559203] [2022-12-14 19:25:50,117 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559348,559361] [2022-12-14 19:25:50,118 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559506,559519] [2022-12-14 19:25:50,118 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559664,559677] [2022-12-14 19:25:50,118 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559824,559837] [2022-12-14 19:25:50,118 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559983,559996] [2022-12-14 19:25:50,119 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560122,560135] [2022-12-14 19:25:50,119 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560264,560277] [2022-12-14 19:25:50,119 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560413,560426] [2022-12-14 19:25:50,119 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560552,560565] [2022-12-14 19:25:50,120 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560707,560720] [2022-12-14 19:25:50,120 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560867,560880] [2022-12-14 19:25:50,120 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561018,561031] [2022-12-14 19:25:50,120 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561169,561182] [2022-12-14 19:25:50,121 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561321,561334] [2022-12-14 19:25:50,121 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561470,561483] [2022-12-14 19:25:50,121 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561618,561631] [2022-12-14 19:25:50,121 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561775,561788] [2022-12-14 19:25:50,122 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561924,561937] [2022-12-14 19:25:50,122 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562080,562093] [2022-12-14 19:25:50,122 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562233,562246] [2022-12-14 19:25:50,122 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562379,562392] [2022-12-14 19:25:50,123 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562522,562535] [2022-12-14 19:25:50,123 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562674,562687] [2022-12-14 19:25:50,123 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562820,562833] [2022-12-14 19:25:50,123 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562965,562978] [2022-12-14 19:25:50,124 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563119,563132] [2022-12-14 19:25:50,124 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563270,563283] [2022-12-14 19:25:50,124 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563425,563438] [2022-12-14 19:25:50,124 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563577,563590] [2022-12-14 19:25:50,125 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563732,563745] [2022-12-14 19:25:50,125 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563896,563909] [2022-12-14 19:25:50,125 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564052,564065] [2022-12-14 19:25:50,125 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564216,564229] [2022-12-14 19:25:50,126 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564358,564371] [2022-12-14 19:25:50,126 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564516,564529] [2022-12-14 19:25:50,126 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564683,564696] [2022-12-14 19:25:50,126 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564842,564855] [2022-12-14 19:25:50,126 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565001,565014] [2022-12-14 19:25:50,127 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565150,565163] [2022-12-14 19:25:50,127 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565297,565310] [2022-12-14 19:25:50,127 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565436,565449] [2022-12-14 19:25:50,127 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565599,565612] [2022-12-14 19:25:50,128 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565765,565778] [2022-12-14 19:25:50,128 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565929,565942] [2022-12-14 19:25:50,128 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566094,566107] [2022-12-14 19:25:50,128 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566259,566272] [2022-12-14 19:25:50,129 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566425,566438] [2022-12-14 19:25:50,129 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566590,566603] [2022-12-14 19:25:50,129 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566757,566770] [2022-12-14 19:25:50,129 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566917,566930] [2022-12-14 19:25:50,130 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567079,567092] [2022-12-14 19:25:50,130 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567238,567251] [2022-12-14 19:25:50,130 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567384,567397] [2022-12-14 19:25:50,130 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567527,567540] [2022-12-14 19:25:50,131 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567671,567684] [2022-12-14 19:25:50,131 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567814,567827] [2022-12-14 19:25:50,131 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567958,567971] [2022-12-14 19:25:50,131 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568099,568112] [2022-12-14 19:25:50,132 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568237,568250] [2022-12-14 19:25:50,132 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568395,568408] [2022-12-14 19:25:50,132 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568554,568567] [2022-12-14 19:25:50,132 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568710,568723] [2022-12-14 19:25:50,132 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568859,568872] [2022-12-14 19:25:50,133 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569011,569024] [2022-12-14 19:25:50,133 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569162,569175] [2022-12-14 19:25:50,133 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569311,569324] [2022-12-14 19:25:50,133 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569463,569476] [2022-12-14 19:25:50,134 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569611,569624] [2022-12-14 19:25:50,134 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569764,569777] [2022-12-14 19:25:50,134 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569915,569928] [2022-12-14 19:25:50,134 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570065,570078] [2022-12-14 19:25:50,135 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570212,570225] [2022-12-14 19:25:50,135 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570363,570376] [2022-12-14 19:25:50,135 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570514,570527] [2022-12-14 19:25:50,135 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570662,570675] [2022-12-14 19:25:50,136 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570828,570841] [2022-12-14 19:25:50,136 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570997,571010] [2022-12-14 19:25:50,136 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571164,571177] [2022-12-14 19:25:50,136 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571332,571345] [2022-12-14 19:25:50,137 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571482,571495] [2022-12-14 19:25:50,137 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571629,571642] [2022-12-14 19:25:50,137 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571790,571803] [2022-12-14 19:25:50,137 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571960,571973] [2022-12-14 19:25:50,137 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[572122,572135] [2022-12-14 19:25:50,144 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-14 19:25:50,173 INFO L203 MainTranslator]: Completed pre-run [2022-12-14 19:25:50,255 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:50,256 FATAL L? ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator has thrown an exception: java.lang.UnsupportedOperationException: Bitfield reference at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.StructHandler.handleFieldReference(StructHandler.java:140) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1457) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:364) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:727) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:372) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1420) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:326) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1094) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:334) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1094) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:334) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1094) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:334) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleFunctionDefinition(FunctionHandler.java:371) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1496) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:289) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.processTUchild(CHandler.java:3320) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:2395) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:600) 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-14 19:25:50,260 INFO L158 Benchmark]: Toolchain (without parser) took 3627.71ms. Allocated memory was 134.2MB in the beginning and 201.3MB in the end (delta: 67.1MB). Free memory was 77.7MB in the beginning and 98.6MB in the end (delta: -20.9MB). Peak memory consumption was 86.0MB. Max. memory is 16.1GB. [2022-12-14 19:25:50,260 INFO L158 Benchmark]: CDTParser took 0.11ms. Allocated memory is still 134.2MB. Free memory is still 77.6MB. There was no memory consumed. Max. memory is 16.1GB. [2022-12-14 19:25:50,260 INFO L158 Benchmark]: CACSL2BoogieTranslator took 3625.53ms. Allocated memory was 134.2MB in the beginning and 201.3MB in the end (delta: 67.1MB). Free memory was 77.1MB in the beginning and 98.6MB in the end (delta: -21.5MB). Peak memory consumption was 83.9MB. Max. memory is 16.1GB. [2022-12-14 19:25:50,261 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.11ms. Allocated memory is still 134.2MB. Free memory is still 77.6MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 3625.53ms. Allocated memory was 134.2MB in the beginning and 201.3MB in the end (delta: 67.1MB). Free memory was 77.1MB in the beginning and 98.6MB in the end (delta: -21.5MB). Peak memory consumption was 83.9MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - ExceptionOrErrorResult: UnsupportedOperationException: Bitfield reference de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Bitfield reference: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.StructHandler.handleFieldReference(StructHandler.java:140) 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-1.11.0-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/config/KojakMemDerefMemtrack.xml -i ../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/config/svcomp-DerefFreeMemtrack-64bit-Kojak_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4 --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 Kojak --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash dc9e8bb6b40f5555d57e381f2a097a5016cb2e1f56429745ab057291759776aa --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-2329fc7 [2022-12-14 19:25:51,655 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-12-14 19:25:51,657 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-12-14 19:25:51,678 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-12-14 19:25:51,678 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-12-14 19:25:51,679 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-12-14 19:25:51,681 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-12-14 19:25:51,683 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-12-14 19:25:51,684 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-12-14 19:25:51,685 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-12-14 19:25:51,686 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-12-14 19:25:51,687 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-12-14 19:25:51,688 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-12-14 19:25:51,689 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-12-14 19:25:51,690 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-12-14 19:25:51,691 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-12-14 19:25:51,692 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-12-14 19:25:51,693 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-12-14 19:25:51,695 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-12-14 19:25:51,696 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-12-14 19:25:51,698 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-12-14 19:25:51,699 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-12-14 19:25:51,700 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-12-14 19:25:51,701 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-12-14 19:25:51,705 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-12-14 19:25:51,705 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-12-14 19:25:51,706 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-12-14 19:25:51,707 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-12-14 19:25:51,707 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-12-14 19:25:51,708 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-12-14 19:25:51,708 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-12-14 19:25:51,709 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-12-14 19:25:51,710 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-12-14 19:25:51,710 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-12-14 19:25:51,712 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-12-14 19:25:51,712 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-12-14 19:25:51,713 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-12-14 19:25:51,713 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-12-14 19:25:51,713 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-12-14 19:25:51,714 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-12-14 19:25:51,714 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-12-14 19:25:51,715 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/config/svcomp-DerefFreeMemtrack-64bit-Kojak_Bitvector.epf [2022-12-14 19:25:51,737 INFO L113 SettingsManager]: Loading preferences was successful [2022-12-14 19:25:51,737 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-12-14 19:25:51,738 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-12-14 19:25:51,738 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-12-14 19:25:51,738 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-12-14 19:25:51,739 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-12-14 19:25:51,739 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-12-14 19:25:51,739 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-12-14 19:25:51,739 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-12-14 19:25:51,739 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-12-14 19:25:51,739 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-12-14 19:25:51,740 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-12-14 19:25:51,740 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-12-14 19:25:51,740 INFO L138 SettingsManager]: * Use bitvectors instead of ints=true [2022-12-14 19:25:51,740 INFO L138 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2022-12-14 19:25:51,740 INFO L138 SettingsManager]: * Use constant arrays=true [2022-12-14 19:25:51,740 INFO L136 SettingsManager]: Preferences of CodeCheck differ from their defaults: [2022-12-14 19:25:51,741 INFO L138 SettingsManager]: * Timeout in seconds=1000000 [2022-12-14 19:25:51,741 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-12-14 19:25:51,741 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:10000 [2022-12-14 19:25:51,741 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-12-14 19:25:51,741 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-12-14 19:25:51,741 INFO L138 SettingsManager]: * Trace refinement strategy=WALRUS [2022-12-14 19:25:51,741 INFO L138 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2022-12-14 19:25:51,742 INFO L138 SettingsManager]: * Use separate solver for trace checks=false [2022-12-14 19:25:51,742 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-12-14 19:25:51,742 INFO L138 SettingsManager]: * Logic for external solver=AUFBV WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4 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 -> Kojak 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 -> dc9e8bb6b40f5555d57e381f2a097a5016cb2e1f56429745ab057291759776aa [2022-12-14 19:25:51,974 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-12-14 19:25:51,988 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-12-14 19:25:51,990 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-12-14 19:25:51,991 INFO L271 PluginConnector]: Initializing CDTParser... [2022-12-14 19:25:51,992 INFO L275 PluginConnector]: CDTParser initialized [2022-12-14 19:25:51,993 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i [2022-12-14 19:25:54,615 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-12-14 19:25:54,999 INFO L351 CDTParser]: Found 1 translation units. [2022-12-14 19:25:54,999 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i [2022-12-14 19:25:55,030 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/data/f722eb1bd/df94f5748a1e4eefa880f6a7ac57c0a5/FLAG16d6c3ad0 [2022-12-14 19:25:55,041 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/bin/ukojak-rkRKPMF4O4/data/f722eb1bd/df94f5748a1e4eefa880f6a7ac57c0a5 [2022-12-14 19:25:55,043 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-12-14 19:25:55,044 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-12-14 19:25:55,045 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-12-14 19:25:55,045 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-12-14 19:25:55,047 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-12-14 19:25:55,048 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.12 07:25:55" (1/1) ... [2022-12-14 19:25:55,048 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@2dcb572a and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.12 07:25:55, skipping insertion in model container [2022-12-14 19:25:55,049 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.12 07:25:55" (1/1) ... [2022-12-14 19:25:55,054 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-12-14 19:25:55,170 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-12-14 19:25:56,099 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,104 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,108 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_write [2022-12-14 19:25:56,108 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_rw [2022-12-14 19:25:56,109 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,112 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,113 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,115 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,117 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,119 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,120 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,120 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,122 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,123 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,123 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,125 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,127 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,127 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,135 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,136 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,141 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,150 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,152 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,153 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:56,153 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,154 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,154 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,155 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,162 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,162 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,164 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,164 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,165 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,166 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:56,177 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,178 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,188 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,189 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,190 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,197 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,199 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,199 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,200 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,201 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,202 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,214 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,215 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,225 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,227 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:56,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,228 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,229 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,230 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,231 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,232 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,233 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,234 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,235 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,236 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:56,236 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,237 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:56,238 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,249 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,250 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:56,250 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,251 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,252 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,252 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,253 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,253 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,254 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,255 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,255 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,256 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,256 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,256 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,257 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,257 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,258 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,258 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:56,258 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,259 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:56,259 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,269 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,270 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:56,270 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,271 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,272 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,272 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,273 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,273 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,274 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,275 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,275 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,276 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,276 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,276 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,281 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,282 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,282 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,283 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:56,283 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,284 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:56,285 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,294 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,295 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:56,296 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,297 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,297 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,298 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,299 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,300 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,300 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,301 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,302 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,302 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,303 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,303 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,303 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,304 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,304 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,305 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:56,305 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,306 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:56,307 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,316 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,317 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:56,318 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,318 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,319 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,320 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,320 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,321 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,321 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,322 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:56,322 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,323 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:56,323 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,339 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:56,339 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:56,340 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:56,340 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,341 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,348 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,349 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,350 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:56,350 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:56,351 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:56,351 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,364 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,364 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,365 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,365 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,365 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,366 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,366 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,367 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-12-14 19:25:56,368 WARN L623 FunctionHandler]: Unknown extern function tveeprom_read [2022-12-14 19:25:56,369 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,370 WARN L623 FunctionHandler]: Unknown extern function tveeprom_hauppauge_analog [2022-12-14 19:25:56,392 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,399 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,406 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,413 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,419 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,426 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,433 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,440 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,446 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,459 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,468 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,477 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,487 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,496 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:56,897 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_probe [2022-12-14 19:25:56,897 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-12-14 19:25:56,897 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_resume [2022-12-14 19:25:56,898 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_suspend [2022-12-14 19:25:56,901 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-12-14 19:25:56,901 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-12-14 19:25:56,902 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-12-14 19:25:56,911 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,913 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,913 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,914 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,914 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,914 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,915 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,915 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,916 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,916 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,917 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,917 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,917 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,918 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,919 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,920 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,921 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,921 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,922 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,922 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,923 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,923 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,924 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,924 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,924 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,925 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,925 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,926 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,926 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,927 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,927 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,962 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,962 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,963 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,963 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,964 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,964 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,964 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,965 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,970 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,970 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,971 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,971 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,972 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,977 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,977 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,978 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,978 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,983 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,984 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,984 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,984 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,985 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,990 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,990 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,991 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,991 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,991 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,997 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,997 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:56,997 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,003 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,003 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,004 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,004 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,005 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,005 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,005 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,006 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,012 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,017 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,023 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,028 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,038 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,045 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,056 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,059 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,060 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,061 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,063 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,065 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,066 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,067 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,068 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,069 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,071 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,072 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,073 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,074 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,075 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,078 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,079 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,089 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,090 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,110 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,111 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,112 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,112 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,113 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,120 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,121 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,122 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,122 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,128 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,129 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,130 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,130 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,131 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,131 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,132 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,133 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,138 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,139 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,139 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,140 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,140 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,140 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,140 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,141 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,141 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,142 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,148 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,149 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,149 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,149 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,150 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,150 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,150 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,151 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,162 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,163 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,169 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,169 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:57,170 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:57,175 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,175 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:57,176 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:57,176 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,182 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,188 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,188 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:57,189 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,189 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:57,190 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,190 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,191 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,191 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,192 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:57,192 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:57,192 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:57,192 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:57,193 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:57,193 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:57,193 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:57,740 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-12-14 19:25:57,984 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 19:25:58,621 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[558734,558747] [2022-12-14 19:25:58,622 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[558879,558892] [2022-12-14 19:25:58,623 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559025,559038] [2022-12-14 19:25:58,623 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559190,559203] [2022-12-14 19:25:58,623 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559348,559361] [2022-12-14 19:25:58,624 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559506,559519] [2022-12-14 19:25:58,624 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559664,559677] [2022-12-14 19:25:58,624 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559824,559837] [2022-12-14 19:25:58,624 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559983,559996] [2022-12-14 19:25:58,625 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560122,560135] [2022-12-14 19:25:58,625 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560264,560277] [2022-12-14 19:25:58,625 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560413,560426] [2022-12-14 19:25:58,625 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560552,560565] [2022-12-14 19:25:58,625 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560707,560720] [2022-12-14 19:25:58,626 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560867,560880] [2022-12-14 19:25:58,626 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561018,561031] [2022-12-14 19:25:58,626 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561169,561182] [2022-12-14 19:25:58,626 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561321,561334] [2022-12-14 19:25:58,627 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561470,561483] [2022-12-14 19:25:58,627 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561618,561631] [2022-12-14 19:25:58,627 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561775,561788] [2022-12-14 19:25:58,627 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561924,561937] [2022-12-14 19:25:58,628 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562080,562093] [2022-12-14 19:25:58,628 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562233,562246] [2022-12-14 19:25:58,628 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562379,562392] [2022-12-14 19:25:58,628 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562522,562535] [2022-12-14 19:25:58,629 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562674,562687] [2022-12-14 19:25:58,629 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562820,562833] [2022-12-14 19:25:58,629 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562965,562978] [2022-12-14 19:25:58,629 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563119,563132] [2022-12-14 19:25:58,630 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563270,563283] [2022-12-14 19:25:58,630 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563425,563438] [2022-12-14 19:25:58,630 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563577,563590] [2022-12-14 19:25:58,630 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563732,563745] [2022-12-14 19:25:58,630 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563896,563909] [2022-12-14 19:25:58,631 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564052,564065] [2022-12-14 19:25:58,631 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564216,564229] [2022-12-14 19:25:58,631 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564358,564371] [2022-12-14 19:25:58,631 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564516,564529] [2022-12-14 19:25:58,632 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564683,564696] [2022-12-14 19:25:58,632 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564842,564855] [2022-12-14 19:25:58,632 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565001,565014] [2022-12-14 19:25:58,632 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565150,565163] [2022-12-14 19:25:58,633 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565297,565310] [2022-12-14 19:25:58,633 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565436,565449] [2022-12-14 19:25:58,633 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565599,565612] [2022-12-14 19:25:58,633 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565765,565778] [2022-12-14 19:25:58,634 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565929,565942] [2022-12-14 19:25:58,634 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566094,566107] [2022-12-14 19:25:58,634 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566259,566272] [2022-12-14 19:25:58,634 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566425,566438] [2022-12-14 19:25:58,635 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566590,566603] [2022-12-14 19:25:58,635 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566757,566770] [2022-12-14 19:25:58,635 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566917,566930] [2022-12-14 19:25:58,635 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567079,567092] [2022-12-14 19:25:58,635 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567238,567251] [2022-12-14 19:25:58,636 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567384,567397] [2022-12-14 19:25:58,636 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567527,567540] [2022-12-14 19:25:58,636 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567671,567684] [2022-12-14 19:25:58,636 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567814,567827] [2022-12-14 19:25:58,637 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567958,567971] [2022-12-14 19:25:58,637 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568099,568112] [2022-12-14 19:25:58,637 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568237,568250] [2022-12-14 19:25:58,637 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568395,568408] [2022-12-14 19:25:58,638 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568554,568567] [2022-12-14 19:25:58,638 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568710,568723] [2022-12-14 19:25:58,638 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568859,568872] [2022-12-14 19:25:58,639 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569011,569024] [2022-12-14 19:25:58,639 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569162,569175] [2022-12-14 19:25:58,639 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569311,569324] [2022-12-14 19:25:58,639 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569463,569476] [2022-12-14 19:25:58,640 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569611,569624] [2022-12-14 19:25:58,640 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569764,569777] [2022-12-14 19:25:58,640 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569915,569928] [2022-12-14 19:25:58,641 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570065,570078] [2022-12-14 19:25:58,641 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570212,570225] [2022-12-14 19:25:58,641 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570363,570376] [2022-12-14 19:25:58,641 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570514,570527] [2022-12-14 19:25:58,642 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570662,570675] [2022-12-14 19:25:58,642 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570828,570841] [2022-12-14 19:25:58,642 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570997,571010] [2022-12-14 19:25:58,643 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571164,571177] [2022-12-14 19:25:58,643 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571332,571345] [2022-12-14 19:25:58,643 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571482,571495] [2022-12-14 19:25:58,643 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571629,571642] [2022-12-14 19:25:58,644 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571790,571803] [2022-12-14 19:25:58,644 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571960,571973] [2022-12-14 19:25:58,644 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[572122,572135] [2022-12-14 19:25:58,651 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-14 19:25:58,689 INFO L200 MainTranslator]: Restarting translation with changed settings: SettingsChange [mNewPreferredMemoryModel=HoenickeLindenmann_1ByteResolution] [2022-12-14 19:25:58,778 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-12-14 19:25:58,893 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,894 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,895 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_write [2022-12-14 19:25:58,895 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_rw [2022-12-14 19:25:58,896 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,897 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,897 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,898 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,898 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,900 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,903 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,903 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,907 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,908 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,909 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,910 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:58,910 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,910 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,911 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,911 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,911 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,913 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,913 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:58,914 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,915 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,917 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,918 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,918 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,920 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,921 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,921 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,921 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,922 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,922 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,924 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,924 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,926 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,926 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:58,927 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,927 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,927 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,928 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,928 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,928 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,928 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,929 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,929 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,929 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:58,929 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,930 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:58,930 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,932 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,933 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:58,933 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,933 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,933 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,934 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,934 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,934 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,935 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,935 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,935 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,935 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,936 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,936 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,936 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,936 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,936 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,937 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:58,937 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,937 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:58,937 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,940 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,940 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:58,940 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,941 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,941 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,941 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,941 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,942 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,942 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,942 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,942 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,943 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,943 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,943 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,943 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,943 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,944 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,944 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:58,944 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,945 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:58,945 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,947 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,947 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:58,948 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,948 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,948 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,949 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,949 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,949 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,949 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,950 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,950 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,960 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,960 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,961 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,962 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:58,962 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,962 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:58,962 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,964 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,965 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-12-14 19:25:58,965 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,965 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,966 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,966 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,966 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,967 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,967 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,967 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:58,967 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,968 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:58,968 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,970 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:58,970 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:58,971 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:58,971 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,971 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,972 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,973 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,973 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-12-14 19:25:58,973 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-12-14 19:25:58,974 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-12-14 19:25:58,974 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,975 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,975 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,975 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,975 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,975 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,976 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,976 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,976 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-12-14 19:25:58,976 WARN L623 FunctionHandler]: Unknown extern function tveeprom_read [2022-12-14 19:25:58,977 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:58,977 WARN L623 FunctionHandler]: Unknown extern function tveeprom_hauppauge_analog [2022-12-14 19:25:58,978 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,979 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,980 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,981 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,981 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,982 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,983 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,984 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,985 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,986 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,987 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,988 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,990 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:58,991 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-12-14 19:25:59,008 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_probe [2022-12-14 19:25:59,009 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-12-14 19:25:59,009 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_resume [2022-12-14 19:25:59,009 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_suspend [2022-12-14 19:25:59,011 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-12-14 19:25:59,011 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-12-14 19:25:59,012 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-12-14 19:25:59,014 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,015 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,015 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,016 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,016 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,016 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,016 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,017 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,017 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,017 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,018 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,018 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,018 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,019 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,019 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,019 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,020 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,021 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,021 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,023 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,023 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,023 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,024 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,024 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,024 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,025 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,025 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,025 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,025 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,026 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,026 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,027 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,027 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,028 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,028 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,028 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,029 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,029 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,029 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,029 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,030 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,030 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,030 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,031 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,031 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,031 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,032 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,032 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,032 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,032 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,033 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,043 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,043 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,044 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,044 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,045 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,045 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,045 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,046 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,046 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,047 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,047 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,047 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,049 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,049 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,050 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,050 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,051 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,051 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,052 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,053 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,054 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,055 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,056 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,056 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,058 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,058 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,060 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,062 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,063 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,063 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,065 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,066 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,067 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,068 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,069 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,070 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,071 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,071 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,073 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,073 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,074 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,076 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,077 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,080 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,081 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,083 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,083 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,098 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,098 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,099 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,100 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,101 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,101 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,102 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,103 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,104 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,105 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,105 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,106 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,106 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,107 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,108 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,108 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,109 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,109 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,110 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,110 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,111 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,111 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,111 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,112 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,112 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,120 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,121 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,121 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,121 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,122 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,122 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,123 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,123 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,124 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,124 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,125 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,126 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:59,126 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:59,127 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,127 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:59,127 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:59,128 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,128 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,129 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,129 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:59,130 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,130 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-12-14 19:25:59,131 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,131 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,131 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,132 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,132 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,133 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:59,133 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:59,133 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:59,133 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:59,133 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:59,133 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-12-14 19:25:59,145 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-12-14 19:25:59,150 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-12-14 19:25:59,172 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[558734,558747] [2022-12-14 19:25:59,173 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[558879,558892] [2022-12-14 19:25:59,173 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559025,559038] [2022-12-14 19:25:59,174 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559190,559203] [2022-12-14 19:25:59,174 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559348,559361] [2022-12-14 19:25:59,174 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559506,559519] [2022-12-14 19:25:59,174 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559664,559677] [2022-12-14 19:25:59,174 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559824,559837] [2022-12-14 19:25:59,175 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[559983,559996] [2022-12-14 19:25:59,175 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560122,560135] [2022-12-14 19:25:59,175 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560264,560277] [2022-12-14 19:25:59,175 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560413,560426] [2022-12-14 19:25:59,175 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560552,560565] [2022-12-14 19:25:59,176 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560707,560720] [2022-12-14 19:25:59,176 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[560867,560880] [2022-12-14 19:25:59,176 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561018,561031] [2022-12-14 19:25:59,183 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561169,561182] [2022-12-14 19:25:59,183 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561321,561334] [2022-12-14 19:25:59,184 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561470,561483] [2022-12-14 19:25:59,184 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561618,561631] [2022-12-14 19:25:59,184 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561775,561788] [2022-12-14 19:25:59,185 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[561924,561937] [2022-12-14 19:25:59,185 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562080,562093] [2022-12-14 19:25:59,186 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562233,562246] [2022-12-14 19:25:59,186 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562379,562392] [2022-12-14 19:25:59,186 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562522,562535] [2022-12-14 19:25:59,187 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562674,562687] [2022-12-14 19:25:59,187 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562820,562833] [2022-12-14 19:25:59,187 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[562965,562978] [2022-12-14 19:25:59,188 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563119,563132] [2022-12-14 19:25:59,188 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563270,563283] [2022-12-14 19:25:59,189 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563425,563438] [2022-12-14 19:25:59,189 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563577,563590] [2022-12-14 19:25:59,189 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563732,563745] [2022-12-14 19:25:59,189 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[563896,563909] [2022-12-14 19:25:59,190 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564052,564065] [2022-12-14 19:25:59,190 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564216,564229] [2022-12-14 19:25:59,190 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564358,564371] [2022-12-14 19:25:59,191 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564516,564529] [2022-12-14 19:25:59,191 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564683,564696] [2022-12-14 19:25:59,191 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[564842,564855] [2022-12-14 19:25:59,192 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565001,565014] [2022-12-14 19:25:59,192 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565150,565163] [2022-12-14 19:25:59,192 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565297,565310] [2022-12-14 19:25:59,193 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565436,565449] [2022-12-14 19:25:59,193 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565599,565612] [2022-12-14 19:25:59,193 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565765,565778] [2022-12-14 19:25:59,193 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[565929,565942] [2022-12-14 19:25:59,194 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566094,566107] [2022-12-14 19:25:59,194 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566259,566272] [2022-12-14 19:25:59,194 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566425,566438] [2022-12-14 19:25:59,195 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566590,566603] [2022-12-14 19:25:59,195 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566757,566770] [2022-12-14 19:25:59,195 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[566917,566930] [2022-12-14 19:25:59,195 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567079,567092] [2022-12-14 19:25:59,196 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567238,567251] [2022-12-14 19:25:59,196 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567384,567397] [2022-12-14 19:25:59,196 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567527,567540] [2022-12-14 19:25:59,196 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567671,567684] [2022-12-14 19:25:59,197 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567814,567827] [2022-12-14 19:25:59,197 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[567958,567971] [2022-12-14 19:25:59,197 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568099,568112] [2022-12-14 19:25:59,198 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568237,568250] [2022-12-14 19:25:59,198 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568395,568408] [2022-12-14 19:25:59,198 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568554,568567] [2022-12-14 19:25:59,199 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568710,568723] [2022-12-14 19:25:59,199 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[568859,568872] [2022-12-14 19:25:59,199 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569011,569024] [2022-12-14 19:25:59,199 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569162,569175] [2022-12-14 19:25:59,200 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569311,569324] [2022-12-14 19:25:59,200 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569463,569476] [2022-12-14 19:25:59,200 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569611,569624] [2022-12-14 19:25:59,200 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569764,569777] [2022-12-14 19:25:59,201 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[569915,569928] [2022-12-14 19:25:59,201 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570065,570078] [2022-12-14 19:25:59,201 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570212,570225] [2022-12-14 19:25:59,202 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570363,570376] [2022-12-14 19:25:59,202 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570514,570527] [2022-12-14 19:25:59,203 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570662,570675] [2022-12-14 19:25:59,203 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570828,570841] [2022-12-14 19:25:59,203 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[570997,571010] [2022-12-14 19:25:59,204 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571164,571177] [2022-12-14 19:25:59,204 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571332,571345] [2022-12-14 19:25:59,204 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571482,571495] [2022-12-14 19:25:59,204 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571629,571642] [2022-12-14 19:25:59,205 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571790,571803] [2022-12-14 19:25:59,205 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[571960,571973] [2022-12-14 19:25:59,205 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_b0a3dfdb-7337-4060-aa4f-62b635ac90c1/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko.cil.i[572122,572135] [2022-12-14 19:25:59,214 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-12-14 19:25:59,239 INFO L203 MainTranslator]: Completed pre-run [2022-12-14 19:25:59,347 WARN L623 FunctionHandler]: Unknown extern function printk [2022-12-14 19:25:59,348 FATAL L? ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator has thrown an exception: java.lang.UnsupportedOperationException: Bitfield reference at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.StructHandler.handleFieldReference(StructHandler.java:140) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1457) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:364) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:727) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:372) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1420) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:326) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1094) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:334) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1094) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:334) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1094) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:334) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleFunctionDefinition(FunctionHandler.java:371) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1496) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:289) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.processTUchild(CHandler.java:3320) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:2395) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:600) 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-14 19:25:59,351 INFO L158 Benchmark]: Toolchain (without parser) took 4306.26ms. Allocated memory was 67.1MB in the beginning and 192.9MB in the end (delta: 125.8MB). Free memory was 33.0MB in the beginning and 107.1MB in the end (delta: -74.1MB). Peak memory consumption was 101.8MB. Max. memory is 16.1GB. [2022-12-14 19:25:59,351 INFO L158 Benchmark]: CDTParser took 0.11ms. Allocated memory is still 54.5MB. Free memory is still 33.4MB. There was no memory consumed. Max. memory is 16.1GB. [2022-12-14 19:25:59,351 INFO L158 Benchmark]: CACSL2BoogieTranslator took 4304.74ms. Allocated memory was 67.1MB in the beginning and 192.9MB in the end (delta: 125.8MB). Free memory was 32.8MB in the beginning and 108.1MB in the end (delta: -75.2MB). Peak memory consumption was 101.8MB. Max. memory is 16.1GB. [2022-12-14 19:25:59,352 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.11ms. Allocated memory is still 54.5MB. Free memory is still 33.4MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 4304.74ms. Allocated memory was 67.1MB in the beginning and 192.9MB in the end (delta: 125.8MB). Free memory was 32.8MB in the beginning and 108.1MB in the end (delta: -75.2MB). Peak memory consumption was 101.8MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - ExceptionOrErrorResult: UnsupportedOperationException: Bitfield reference de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Bitfield reference: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.StructHandler.handleFieldReference(StructHandler.java:140) 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 reference