./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 38b53e6a Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/config/TaipanMemDerefMemtrack.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_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/config/svcomp-DerefFreeMemtrack-64bit-Taipan_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 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-38b53e6 [2022-11-25 22:41:55,263 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 22:41:55,266 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 22:41:55,292 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 22:41:55,293 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 22:41:55,294 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 22:41:55,297 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 22:41:55,299 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 22:41:55,302 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 22:41:55,303 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 22:41:55,304 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 22:41:55,305 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 22:41:55,306 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 22:41:55,307 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 22:41:55,308 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 22:41:55,309 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 22:41:55,310 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 22:41:55,310 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 22:41:55,312 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 22:41:55,314 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 22:41:55,315 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 22:41:55,318 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 22:41:55,319 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 22:41:55,320 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 22:41:55,324 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 22:41:55,324 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 22:41:55,324 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 22:41:55,325 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 22:41:55,326 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 22:41:55,327 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 22:41:55,327 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 22:41:55,328 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 22:41:55,329 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 22:41:55,330 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 22:41:55,331 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 22:41:55,332 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 22:41:55,333 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 22:41:55,345 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 22:41:55,346 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 22:41:55,347 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 22:41:55,348 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 22:41:55,350 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/config/svcomp-DerefFreeMemtrack-64bit-Taipan_Default.epf [2022-11-25 22:41:55,391 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 22:41:55,392 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 22:41:55,392 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 22:41:55,392 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 22:41:55,393 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 22:41:55,393 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 22:41:55,393 INFO L138 SettingsManager]: * User list type=DISABLED [2022-11-25 22:41:55,394 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-11-25 22:41:55,394 INFO L138 SettingsManager]: * Explicit value domain=true [2022-11-25 22:41:55,394 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2022-11-25 22:41:55,394 INFO L138 SettingsManager]: * Octagon Domain=false [2022-11-25 22:41:55,394 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2022-11-25 22:41:55,394 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2022-11-25 22:41:55,395 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2022-11-25 22:41:55,395 INFO L138 SettingsManager]: * Interval Domain=false [2022-11-25 22:41:55,395 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2022-11-25 22:41:55,395 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2022-11-25 22:41:55,396 INFO L138 SettingsManager]: * Simplification Technique=POLY_PAC [2022-11-25 22:41:55,396 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-25 22:41:55,396 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-25 22:41:55,397 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 22:41:55,397 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-11-25 22:41:55,403 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 22:41:55,403 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 22:41:55,404 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-11-25 22:41:55,404 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-11-25 22:41:55,404 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-11-25 22:41:55,405 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 22:41:55,405 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-11-25 22:41:55,406 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 22:41:55,406 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 22:41:55,406 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 22:41:55,406 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 22:41:55,407 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 22:41:55,407 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2022-11-25 22:41:55,407 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 22:41:55,408 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2022-11-25 22:41:55,408 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-11-25 22:41:55,409 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2022-11-25 22:41:55,409 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_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Taipan Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> dc9e8bb6b40f5555d57e381f2a097a5016cb2e1f56429745ab057291759776aa [2022-11-25 22:41:55,695 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 22:41:55,729 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 22:41:55,732 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 22:41:55,733 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 22:41:55,733 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 22:41:55,735 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/../../sv-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-11-25 22:41:58,764 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 22:41:59,574 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 22:41:59,574 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:41:59,656 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/data/428ae8d8c/95da3b43cbb84d7dab86e2d4841ead21/FLAG1eaf11e7f [2022-11-25 22:41:59,674 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/data/428ae8d8c/95da3b43cbb84d7dab86e2d4841ead21 [2022-11-25 22:41:59,676 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 22:41:59,678 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 22:41:59,680 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 22:41:59,680 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 22:41:59,683 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 22:41:59,684 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 10:41:59" (1/1) ... [2022-11-25 22:41:59,685 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@aa06acf and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:41:59, skipping insertion in model container [2022-11-25 22:41:59,685 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 10:41:59" (1/1) ... [2022-11-25 22:41:59,692 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 22:41:59,928 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 22:42:01,353 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,360 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,365 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_write [2022-11-25 22:42:01,366 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_rw [2022-11-25 22:42:01,367 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,372 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,373 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,376 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,378 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,382 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,383 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,384 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,386 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,387 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,388 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,390 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,394 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,394 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,405 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,407 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,413 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,423 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,425 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,427 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,429 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,430 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:01,431 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,432 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,433 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,434 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,434 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,435 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,437 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,438 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,439 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,440 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:01,452 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,454 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,456 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,465 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,469 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,470 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,471 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,479 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,481 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,483 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,484 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,485 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,486 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,487 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,494 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,497 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,498 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,507 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,509 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,511 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:01,511 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,512 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,517 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,518 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,524 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,525 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,525 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,526 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,530 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,531 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:01,532 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,533 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:01,535 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,548 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,552 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,554 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:01,555 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,556 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,557 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,558 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,560 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,564 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,566 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,568 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,569 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,570 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,570 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,572 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,574 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,579 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,580 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,581 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:01,582 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,586 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:01,588 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,600 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,607 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,609 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:01,611 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,612 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,616 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,617 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,624 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,625 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,627 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,628 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,631 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,631 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,632 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,632 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,633 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,633 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,638 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:01,639 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,641 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:01,642 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,656 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,665 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,667 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:01,668 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,669 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,676 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,677 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,678 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,679 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,680 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,680 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,681 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,682 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,682 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,683 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,683 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,684 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,684 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,685 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:01,685 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,687 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:01,687 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,696 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,698 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,699 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:01,699 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,700 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,701 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,702 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,702 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,703 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,704 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,704 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:01,704 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,705 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:01,706 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,721 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,723 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:01,723 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:01,724 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:01,725 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,725 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,733 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 22:42:01,742 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,751 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,752 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:01,753 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:01,754 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:01,754 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,770 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,771 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,771 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,772 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,772 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,772 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,773 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,773 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-11-25 22:42:01,775 WARN L623 FunctionHandler]: Unknown extern function tveeprom_read [2022-11-25 22:42:01,776 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:01,777 WARN L623 FunctionHandler]: Unknown extern function tveeprom_hauppauge_analog [2022-11-25 22:42:01,806 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,815 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,825 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,834 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,842 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,851 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,860 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,868 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,876 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,886 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,895 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,908 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,924 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:01,937 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:02,446 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_probe [2022-11-25 22:42:02,447 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-11-25 22:42:02,447 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_resume [2022-11-25 22:42:02,448 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_suspend [2022-11-25 22:42:02,454 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 22:42:02,454 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 22:42:02,456 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 22:42:02,469 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,471 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,471 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,472 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,473 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,474 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,475 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,476 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,476 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,477 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,478 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,479 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,480 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,480 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,482 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,482 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,484 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,487 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,488 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,489 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,490 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,491 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,492 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,493 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,493 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,494 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,495 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,496 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,497 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,497 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,498 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,500 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,500 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,544 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,545 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,546 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,547 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,547 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,548 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,549 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,550 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,551 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,558 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,558 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,559 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,560 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,561 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,568 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,568 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,569 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,570 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,576 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,577 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,578 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,578 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,579 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,586 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,588 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,588 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,595 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,596 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,604 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,605 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,606 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,606 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,608 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,608 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,609 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,610 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,618 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,626 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,633 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,641 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,643 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,650 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,652 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,653 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,661 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,664 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,665 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,667 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,668 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,670 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,671 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,673 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,675 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,676 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,679 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,685 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,687 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,688 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,689 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,692 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,694 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,708 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,709 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,729 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,730 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,731 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,732 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,733 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,741 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,742 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,746 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,748 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,757 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,759 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,760 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,761 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,761 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,764 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,765 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,774 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,777 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,777 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,778 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,778 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,779 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,779 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,780 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,793 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,794 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,797 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,798 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,798 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,800 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,801 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,802 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,817 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,825 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,826 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:02,827 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:02,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,835 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:02,835 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:02,836 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,836 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,846 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,847 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:02,848 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,849 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:02,849 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,849 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,850 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,851 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,851 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:02,852 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:02,852 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:02,852 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:02,853 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:02,853 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:02,853 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:03,569 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 22:42:03,856 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:42:04,787 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,789 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,790 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,790 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,791 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,791 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,792 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,792 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,792 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,793 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,793 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,794 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,794 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,794 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,795 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,795 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,796 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,796 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,797 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,797 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,797 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,798 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,798 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,799 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,799 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,799 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,800 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,800 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,801 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,801 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,801 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,802 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,802 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,803 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,803 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,803 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,804 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,804 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,805 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,805 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,805 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,806 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,806 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,807 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,807 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,807 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,808 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,808 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,809 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,809 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,809 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,810 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,810 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,811 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,811 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,812 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,812 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,812 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,813 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,813 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,814 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,814 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,815 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,815 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,815 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,816 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,816 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,816 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,817 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,817 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,818 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,818 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,819 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,819 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,820 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,820 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,820 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,821 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,821 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,822 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,822 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,823 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,823 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,823 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,824 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,824 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,825 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,825 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:04,834 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 22:42:04,884 ERROR L326 MainTranslator]: Unsupported Syntax: Found a cast between two array/pointer types of different sizes while using memory model HoenickeLindenmann_Original (while Not using bitvector translation) [2022-11-25 22:42:04,884 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@19abfd3 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:42:04, skipping insertion in model container [2022-11-25 22:42:04,885 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-25 22:42:04,885 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2022-11-25 22:42:04,887 INFO L158 Benchmark]: Toolchain (without parser) took 5208.21ms. Allocated memory was 176.2MB in the beginning and 222.3MB in the end (delta: 46.1MB). Free memory was 113.9MB in the beginning and 126.8MB in the end (delta: -13.0MB). Peak memory consumption was 88.7MB. Max. memory is 16.1GB. [2022-11-25 22:42:04,887 INFO L158 Benchmark]: CDTParser took 0.22ms. Allocated memory is still 134.2MB. Free memory is still 75.6MB. There was no memory consumed. Max. memory is 16.1GB. [2022-11-25 22:42:04,888 INFO L158 Benchmark]: CACSL2BoogieTranslator took 5205.30ms. Allocated memory was 176.2MB in the beginning and 222.3MB in the end (delta: 46.1MB). Free memory was 113.4MB in the beginning and 126.8MB in the end (delta: -13.5MB). Peak memory consumption was 86.6MB. Max. memory is 16.1GB. [2022-11-25 22:42:04,890 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.22ms. Allocated memory is still 134.2MB. Free memory is still 75.6MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 5205.30ms. Allocated memory was 176.2MB in the beginning and 222.3MB in the end (delta: 46.1MB). Free memory was 113.4MB in the beginning and 126.8MB in the end (delta: -13.5MB). Peak memory consumption was 86.6MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 8176]: Unsupported Syntax Found a cast between two array/pointer types of different sizes while using memory model HoenickeLindenmann_Original (while Not using bitvector translation) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Using bit-precise analysis Retrying with bit-precise analysis ### Bit-precise run ### Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/config/TaipanMemDerefMemtrack.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_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/config/svcomp-DerefFreeMemtrack-64bit-Taipan_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 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-38b53e6 [2022-11-25 22:42:07,186 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 22:42:07,188 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 22:42:07,226 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 22:42:07,227 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 22:42:07,231 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 22:42:07,233 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 22:42:07,234 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 22:42:07,236 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 22:42:07,242 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 22:42:07,243 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 22:42:07,244 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 22:42:07,244 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 22:42:07,245 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 22:42:07,245 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 22:42:07,246 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 22:42:07,247 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 22:42:07,248 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 22:42:07,250 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 22:42:07,251 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 22:42:07,253 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 22:42:07,259 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 22:42:07,260 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 22:42:07,261 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 22:42:07,268 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 22:42:07,268 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 22:42:07,268 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 22:42:07,269 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 22:42:07,270 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 22:42:07,271 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 22:42:07,271 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 22:42:07,272 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 22:42:07,272 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 22:42:07,291 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 22:42:07,298 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 22:42:07,298 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 22:42:07,299 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 22:42:07,299 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 22:42:07,299 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 22:42:07,300 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 22:42:07,301 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 22:42:07,303 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/config/svcomp-DerefFreeMemtrack-64bit-Taipan_Bitvector.epf [2022-11-25 22:42:07,349 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 22:42:07,349 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 22:42:07,350 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 22:42:07,350 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 22:42:07,351 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 22:42:07,352 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 22:42:07,352 INFO L138 SettingsManager]: * User list type=DISABLED [2022-11-25 22:42:07,352 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2022-11-25 22:42:07,353 INFO L138 SettingsManager]: * Explicit value domain=true [2022-11-25 22:42:07,353 INFO L138 SettingsManager]: * Octagon Domain=false [2022-11-25 22:42:07,354 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2022-11-25 22:42:07,354 INFO L138 SettingsManager]: * Interval Domain=false [2022-11-25 22:42:07,355 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-25 22:42:07,355 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-25 22:42:07,355 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 22:42:07,355 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-11-25 22:42:07,356 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 22:42:07,356 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 22:42:07,356 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-11-25 22:42:07,356 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-11-25 22:42:07,356 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-11-25 22:42:07,357 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 22:42:07,357 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-11-25 22:42:07,357 INFO L138 SettingsManager]: * Use bitvectors instead of ints=true [2022-11-25 22:42:07,357 INFO L138 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2022-11-25 22:42:07,357 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 22:42:07,358 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 22:42:07,358 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-11-25 22:42:07,358 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 22:42:07,358 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 22:42:07,358 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 22:42:07,359 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 22:42:07,359 INFO L138 SettingsManager]: * Trace refinement strategy=WALRUS [2022-11-25 22:42:07,359 INFO L138 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2022-11-25 22:42:07,359 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2022-11-25 22:42:07,359 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-11-25 22:42:07,360 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_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Taipan Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> dc9e8bb6b40f5555d57e381f2a097a5016cb2e1f56429745ab057291759776aa [2022-11-25 22:42:07,703 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 22:42:07,732 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 22:42:07,737 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 22:42:07,738 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 22:42:07,739 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 22:42:07,740 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/../../sv-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-11-25 22:42:10,990 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 22:42:11,772 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 22:42:11,773 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:11,851 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/data/87cf1a026/c54ae84642cf4af08b53ac795bb888e0/FLAG9538e0b4f [2022-11-25 22:42:11,899 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/bin/utaipan-ByfvJB40ur/data/87cf1a026/c54ae84642cf4af08b53ac795bb888e0 [2022-11-25 22:42:11,902 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 22:42:11,904 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 22:42:11,908 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 22:42:11,908 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 22:42:11,912 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 22:42:11,913 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 10:42:11" (1/1) ... [2022-11-25 22:42:11,914 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@1d5ac0c4 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 10:42:11, skipping insertion in model container [2022-11-25 22:42:11,915 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 10:42:11" (1/1) ... [2022-11-25 22:42:11,923 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 22:42:12,125 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 22:42:13,645 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,655 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,662 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_write [2022-11-25 22:42:13,663 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_rw [2022-11-25 22:42:13,665 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,669 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,670 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,675 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,684 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,690 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,692 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,693 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,697 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,698 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,700 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,702 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,705 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,706 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,717 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,718 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,729 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,746 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,748 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,750 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:13,750 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,751 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,752 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,754 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,755 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,757 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,758 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,760 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,761 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:13,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,778 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,792 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,799 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,803 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,820 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,824 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,826 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,828 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,831 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,855 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,865 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,884 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,898 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:13,899 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,903 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,906 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,907 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:13,908 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:13,908 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:13,909 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:13,910 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,970 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:13,971 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:13,972 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,973 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,974 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,976 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,977 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,978 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,979 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,980 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,987 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,988 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,989 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,989 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,990 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,991 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:13,992 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:13,996 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:13,997 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:13,998 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:14,000 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,017 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,019 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:14,020 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,026 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,034 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,036 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,037 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,039 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,040 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,043 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,045 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,046 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,047 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,047 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,049 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,049 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:14,054 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:14,055 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:14,057 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:14,058 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,085 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,091 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:14,092 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,093 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,094 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,096 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,096 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,097 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,098 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,099 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,100 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,101 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,102 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,102 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,103 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,104 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,104 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:14,105 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:14,106 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:14,107 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:14,107 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,120 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,121 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:14,122 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,123 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,124 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,125 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,126 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,126 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,127 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:14,128 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:14,128 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:14,130 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:14,130 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,149 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:14,150 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:14,151 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:14,152 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,153 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,163 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,164 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:14,165 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:14,166 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:14,167 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:14,168 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,185 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,186 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,186 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,187 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,187 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,188 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,189 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,189 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-11-25 22:42:14,191 WARN L623 FunctionHandler]: Unknown extern function tveeprom_read [2022-11-25 22:42:14,193 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,194 WARN L623 FunctionHandler]: Unknown extern function tveeprom_hauppauge_analog [2022-11-25 22:42:14,223 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,232 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,242 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,251 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,260 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,269 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,279 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,289 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,299 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,308 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,318 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,328 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,339 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,349 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:14,870 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_probe [2022-11-25 22:42:14,871 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-11-25 22:42:14,871 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_resume [2022-11-25 22:42:14,871 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_suspend [2022-11-25 22:42:14,876 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 22:42:14,877 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 22:42:14,878 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 22:42:14,891 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,892 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,893 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,894 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,894 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,895 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,896 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,896 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,897 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,898 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,898 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,899 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,903 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,906 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,907 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,908 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,909 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,910 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,911 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,913 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,913 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,914 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,915 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,915 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,916 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,917 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,918 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,919 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,962 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,963 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,964 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,965 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,965 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,966 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,967 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,967 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,968 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,975 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,976 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,976 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,977 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,978 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,985 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,985 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,986 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,986 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,993 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,993 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,994 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,995 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:14,995 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,002 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,003 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,004 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,004 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,005 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,012 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,012 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,013 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,020 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,021 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,023 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,024 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,024 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,025 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,026 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,034 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,041 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,056 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,058 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,065 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,067 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,068 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,075 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,078 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,080 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,081 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,082 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,084 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,086 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,087 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,089 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,090 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,092 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,093 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,095 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,096 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,097 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,100 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,101 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,106 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,106 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,126 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,126 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,127 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,128 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,129 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,136 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,138 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,139 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,139 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,147 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,149 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,150 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,151 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,152 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,152 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,170 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,171 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,178 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,180 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,181 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,181 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,182 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,183 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,183 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,184 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,185 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,186 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,199 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,199 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,200 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,200 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,201 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,201 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,202 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,202 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,215 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,216 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,223 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,224 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:15,225 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:15,232 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,232 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:15,232 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:15,233 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,234 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,241 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,242 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:15,243 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,243 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:15,244 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,244 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,245 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,245 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,246 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:15,247 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:15,247 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:15,247 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:15,247 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:15,248 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:15,248 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:15,875 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 22:42:16,158 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:42:17,048 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,050 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,051 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,051 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,052 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,052 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,052 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,053 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,054 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,054 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,054 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,055 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,055 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,056 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,056 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,056 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,057 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,057 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,058 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,058 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,059 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,059 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,060 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,060 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,061 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,062 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,063 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,064 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,064 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,065 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,066 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,066 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,070 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,074 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,080 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,081 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,081 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,081 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,082 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,082 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,083 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,083 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,083 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,084 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,084 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,085 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,085 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,085 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,086 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,086 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,087 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,087 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,087 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,088 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,088 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,088 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,089 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,089 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,090 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,090 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,090 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,091 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,091 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,092 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,092 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,092 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,093 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,101 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,101 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,102 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,102 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,107 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,107 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,108 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,108 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,108 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,109 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,110 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,110 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,110 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,111 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,111 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,111 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,112 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,112 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,113 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,113 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,113 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,125 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 22:42:17,193 INFO L200 MainTranslator]: Restarting translation with changed settings: SettingsChange [mNewPreferredMemoryModel=HoenickeLindenmann_1ByteResolution] [2022-11-25 22:42:17,324 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 22:42:17,488 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,489 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,492 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_write [2022-11-25 22:42:17,493 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_rw [2022-11-25 22:42:17,493 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,494 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,495 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,496 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,496 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,498 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,498 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,499 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,500 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,500 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,501 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,502 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,503 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,503 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,505 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,505 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,507 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,510 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,511 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,512 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:17,512 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,512 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,513 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,513 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,514 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,514 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,515 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,516 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,516 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,517 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,519 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,520 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,523 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,524 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,525 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,529 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,530 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,530 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,531 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,531 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,532 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,534 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,534 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,536 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,537 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:17,538 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,538 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,539 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,539 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,540 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,540 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,541 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,542 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,542 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,543 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:17,543 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,545 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:17,545 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,584 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,584 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:17,585 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,585 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,586 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,586 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,588 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,588 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,589 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,589 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,589 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,590 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,590 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,590 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,591 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,591 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:17,591 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,592 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:17,592 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,596 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,596 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:17,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,598 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,598 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,599 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,599 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,600 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,600 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,601 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,601 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,601 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,602 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,602 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,602 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,603 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,603 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:17,603 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,604 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:17,605 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,608 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,610 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:17,610 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,612 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,613 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,613 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,614 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,614 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,615 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,615 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,616 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,616 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,617 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,617 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,617 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,618 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,618 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,619 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:17,619 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,620 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:17,620 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,623 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,624 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 22:42:17,624 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,625 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,625 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,626 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,626 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,628 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,628 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,629 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:17,629 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,630 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:17,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,638 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,639 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,639 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,643 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,644 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,646 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,647 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,647 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 22:42:17,648 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 22:42:17,648 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 22:42:17,649 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,651 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,651 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,652 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,652 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,653 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,653 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,654 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,654 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-11-25 22:42:17,655 WARN L623 FunctionHandler]: Unknown extern function tveeprom_read [2022-11-25 22:42:17,655 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,656 WARN L623 FunctionHandler]: Unknown extern function tveeprom_hauppauge_analog [2022-11-25 22:42:17,658 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,659 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,661 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,662 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,663 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,665 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,669 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,671 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,673 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,675 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,677 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,679 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,681 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,683 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 22:42:17,730 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_probe [2022-11-25 22:42:17,730 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-11-25 22:42:17,730 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_resume [2022-11-25 22:42:17,731 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_suspend [2022-11-25 22:42:17,735 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 22:42:17,735 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 22:42:17,736 WARN L623 FunctionHandler]: Unknown extern function ldv_pre_probe [2022-11-25 22:42:17,748 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,749 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,749 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,750 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,753 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,754 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,755 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,757 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,757 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,758 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,759 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,759 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,760 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,761 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,762 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,764 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,765 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,766 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,767 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,767 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,768 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,774 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,774 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,776 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,776 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,777 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,778 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,778 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,779 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,813 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,814 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,815 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,815 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,817 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,817 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,818 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,818 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,819 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,820 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,820 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,820 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,821 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,822 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,822 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,822 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,823 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,823 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,824 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,824 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,825 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,825 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,826 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,826 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,827 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,827 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,828 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,828 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,829 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,829 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,830 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,830 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,831 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,832 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,833 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,833 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,835 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,836 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,837 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,838 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,839 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,840 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,842 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,842 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,844 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,846 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,847 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,848 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,849 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,851 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,852 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,853 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,854 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,855 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,856 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,857 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,858 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,859 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,860 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,862 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,863 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,867 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,868 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,870 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,870 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,871 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,872 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,873 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,873 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,875 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,875 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,876 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,877 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,878 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,879 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,880 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,881 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,881 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,882 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,883 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,884 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,885 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,885 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,886 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,886 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,887 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,887 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,888 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,888 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,889 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,899 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,899 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,906 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:17,906 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:17,907 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,907 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:17,908 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:17,908 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,909 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,910 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,910 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:17,911 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,911 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 22:42:17,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,913 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,914 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,914 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:17,915 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,915 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,915 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,915 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,916 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,916 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 22:42:17,930 WARN L623 FunctionHandler]: Unknown extern function ldv_after_alloc [2022-11-25 22:42:17,938 WARN L623 FunctionHandler]: Unknown extern function ldv_assert [2022-11-25 22:42:17,964 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,964 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,965 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,965 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,965 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,966 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,966 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,967 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,967 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,967 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,968 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,968 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,968 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,969 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,969 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,969 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,970 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,970 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,971 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,971 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:17,971 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,017 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,018 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,018 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,019 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,019 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,020 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,020 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,020 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,021 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,021 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,022 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,022 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,023 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,023 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,024 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,024 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,024 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,025 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,034 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,034 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,035 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,035 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,036 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,036 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,036 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,037 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,037 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,038 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,038 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,039 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,039 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,040 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,040 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,040 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,041 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,041 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,042 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,042 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,043 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,043 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,044 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,044 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,044 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,045 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,045 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,046 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,046 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,047 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,047 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,048 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,048 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,048 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,049 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,066 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,067 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,067 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,075 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,077 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,078 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,079 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,079 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,080 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,080 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,080 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,081 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,082 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,083 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_2378d8e7-7199-463a-aaac-3a2b76c31876/sv-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-11-25 22:42:18,101 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 22:42:18,171 INFO L203 MainTranslator]: Completed pre-run [2022-11-25 22:42:18,530 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 22:42:18,531 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-11-25 22:42:18,535 INFO L158 Benchmark]: Toolchain (without parser) took 6631.12ms. Allocated memory was 98.6MB in the beginning and 228.6MB in the end (delta: 130.0MB). Free memory was 71.5MB in the beginning and 133.0MB in the end (delta: -61.5MB). Peak memory consumption was 129.5MB. Max. memory is 16.1GB. [2022-11-25 22:42:18,536 INFO L158 Benchmark]: CDTParser took 0.31ms. Allocated memory is still 69.2MB. Free memory is still 47.6MB. There was no memory consumed. Max. memory is 16.1GB. [2022-11-25 22:42:18,536 INFO L158 Benchmark]: CACSL2BoogieTranslator took 6626.10ms. Allocated memory was 98.6MB in the beginning and 228.6MB in the end (delta: 130.0MB). Free memory was 71.5MB in the beginning and 133.0MB in the end (delta: -61.5MB). Peak memory consumption was 129.5MB. Max. memory is 16.1GB. [2022-11-25 22:42:18,537 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.31ms. Allocated memory is still 69.2MB. Free memory is still 47.6MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 6626.10ms. Allocated memory was 98.6MB in the beginning and 228.6MB in the end (delta: 130.0MB). Free memory was 71.5MB in the beginning and 133.0MB in the end (delta: -61.5MB). Peak memory consumption was 129.5MB. 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