./Ultimate.py --spec ../../sv-benchmarks/c/properties/unreach-call.prp --file ../../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--block--cciss.ko-entry_point.cil.out.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 38b53e6a Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/config/AutomizerReach.xml -i ../../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--block--cciss.ko-entry_point.cil.out.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/config/svcomp-Reach-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 7c9ed79fef5b8995fd38e96d85feed1cc2675b07044e5f570b198995df09a1a4 --- 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 16:55:06,099 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 16:55:06,102 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 16:55:06,138 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 16:55:06,138 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 16:55:06,140 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 16:55:06,141 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 16:55:06,151 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 16:55:06,158 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 16:55:06,164 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 16:55:06,165 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 16:55:06,167 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 16:55:06,167 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 16:55:06,168 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 16:55:06,170 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 16:55:06,171 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 16:55:06,172 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 16:55:06,173 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 16:55:06,180 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 16:55:06,189 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 16:55:06,193 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 16:55:06,197 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 16:55:06,199 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 16:55:06,200 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 16:55:06,203 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 16:55:06,204 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 16:55:06,204 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 16:55:06,205 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 16:55:06,206 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 16:55:06,215 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 16:55:06,216 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 16:55:06,217 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 16:55:06,219 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 16:55:06,221 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 16:55:06,222 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 16:55:06,223 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 16:55:06,225 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 16:55:06,225 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 16:55:06,226 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 16:55:06,227 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 16:55:06,228 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 16:55:06,229 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/config/svcomp-Reach-64bit-Automizer_Default.epf [2022-11-25 16:55:06,281 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 16:55:06,281 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 16:55:06,282 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 16:55:06,283 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 16:55:06,284 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 16:55:06,284 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 16:55:06,285 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-25 16:55:06,285 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-25 16:55:06,285 INFO L138 SettingsManager]: * Use SBE=true [2022-11-25 16:55:06,286 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 16:55:06,287 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 16:55:06,287 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 16:55:06,287 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2022-11-25 16:55:06,288 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 16:55:06,288 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2022-11-25 16:55:06,288 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2022-11-25 16:55:06,288 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 16:55:06,289 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2022-11-25 16:55:06,289 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 16:55:06,289 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-11-25 16:55:06,290 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 16:55:06,290 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 16:55:06,290 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 16:55:06,290 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 16:55:06,291 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2022-11-25 16:55:06,291 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2022-11-25 16:55:06,291 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-11-25 16:55:06,291 INFO L138 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2022-11-25 16:55:06,292 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2022-11-25 16:55:06,293 INFO L138 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2022-11-25 16:55:06,293 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-11-25 16:55:06,293 INFO L138 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/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_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 7c9ed79fef5b8995fd38e96d85feed1cc2675b07044e5f570b198995df09a1a4 [2022-11-25 16:55:06,666 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 16:55:06,692 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 16:55:06,695 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 16:55:06,696 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 16:55:06,697 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 16:55:06,698 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/../../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--block--cciss.ko-entry_point.cil.out.i [2022-11-25 16:55:09,880 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 16:55:10,920 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 16:55:10,921 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--block--cciss.ko-entry_point.cil.out.i [2022-11-25 16:55:11,000 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/data/64dffc962/6ac5b1f9a1b2468cb1c3889f91863f0f/FLAGfc221c111 [2022-11-25 16:55:11,016 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/data/64dffc962/6ac5b1f9a1b2468cb1c3889f91863f0f [2022-11-25 16:55:11,019 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 16:55:11,020 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 16:55:11,022 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 16:55:11,022 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 16:55:11,026 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 16:55:11,027 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 04:55:11" (1/1) ... [2022-11-25 16:55:11,028 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@12af0269 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:11, skipping insertion in model container [2022-11-25 16:55:11,028 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 04:55:11" (1/1) ... [2022-11-25 16:55:11,036 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 16:55:11,303 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 16:55:12,378 WARN L623 FunctionHandler]: Unknown extern function __list_add [2022-11-25 16:55:12,405 WARN L623 FunctionHandler]: Unknown extern function __list_del_entry [2022-11-25 16:55:12,469 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 16:55:12,598 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_irq [2022-11-25 16:55:12,617 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irq [2022-11-25 16:55:12,635 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-11-25 16:55:12,698 WARN L623 FunctionHandler]: Unknown extern function __init_waitqueue_head [2022-11-25 16:55:12,793 WARN L623 FunctionHandler]: Unknown extern function ioremap_nocache [2022-11-25 16:55:12,971 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:12,974 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-11-25 16:55:12,977 WARN L623 FunctionHandler]: Unknown extern function __copy_from_user_overflow [2022-11-25 16:55:12,985 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:12,987 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-11-25 16:55:12,988 WARN L623 FunctionHandler]: Unknown extern function __copy_to_user_overflow [2022-11-25 16:55:13,003 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-11-25 16:55:13,181 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-11-25 16:55:13,190 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-11-25 16:55:13,199 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_word [2022-11-25 16:55:13,208 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-11-25 16:55:13,341 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msi_range [2022-11-25 16:55:13,359 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix_range [2022-11-25 16:55:13,425 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 16:55:13,432 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 16:55:13,433 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 16:55:13,445 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 16:55:13,457 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 16:55:13,469 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 16:55:13,510 WARN L623 FunctionHandler]: Unknown extern function dma_supported [2022-11-25 16:55:13,525 WARN L623 FunctionHandler]: Unknown extern function dma_alloc_attrs [2022-11-25 16:55:13,542 WARN L623 FunctionHandler]: Unknown extern function dma_free_attrs [2022-11-25 16:55:13,598 WARN L623 FunctionHandler]: Unknown extern function dma_set_mask [2022-11-25 16:55:14,319 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 16:55:14,348 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:14,350 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:14,372 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:14,922 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:14,961 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:14,967 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:14,995 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,002 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:15,010 WARN L623 FunctionHandler]: Unknown extern function scsi_device_type [2022-11-25 16:55:15,011 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:15,024 WARN L623 FunctionHandler]: Unknown extern function scsi_device_type [2022-11-25 16:55:15,024 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:15,034 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:15,048 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:15,049 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:15,049 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:15,051 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:15,052 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:15,064 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,084 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:15,099 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,102 WARN L623 FunctionHandler]: Unknown extern function scsi_device_lookup [2022-11-25 16:55:15,104 WARN L623 FunctionHandler]: Unknown extern function scsi_remove_device [2022-11-25 16:55:15,104 WARN L623 FunctionHandler]: Unknown extern function scsi_device_put [2022-11-25 16:55:15,105 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,113 WARN L623 FunctionHandler]: Unknown extern function scsi_add_device [2022-11-25 16:55:15,115 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,122 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,122 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,145 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 16:55:15,147 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,157 WARN L623 FunctionHandler]: Unknown extern function scsi_dma_unmap [2022-11-25 16:55:15,161 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,162 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,163 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,163 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,164 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,165 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,166 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,167 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,168 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,170 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,181 WARN L623 FunctionHandler]: Unknown extern function scsi_scan_host [2022-11-25 16:55:15,182 WARN L623 FunctionHandler]: Unknown extern function scsi_host_put [2022-11-25 16:55:15,211 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:15,221 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,221 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,223 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,224 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:15,224 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,225 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,225 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,226 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,227 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,227 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,228 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,229 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,229 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,230 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,231 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,241 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:15,255 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,264 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:15,279 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:15,284 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:15,285 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:15,288 WARN L623 FunctionHandler]: Unknown extern function strncpy [2022-11-25 16:55:15,289 WARN L623 FunctionHandler]: Unknown extern function strncmp [2022-11-25 16:55:15,296 WARN L623 FunctionHandler]: Unknown extern function scsi_device_type [2022-11-25 16:55:15,296 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:15,308 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,309 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,309 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,321 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:15,349 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:15,357 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:15,370 WARN L623 FunctionHandler]: Unknown extern function scsi_dma_map [2022-11-25 16:55:15,373 WARN L623 FunctionHandler]: Unknown extern function sg_next [2022-11-25 16:55:15,388 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,394 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,395 WARN L623 FunctionHandler]: Unknown extern function scsi_cmd_get_serial [2022-11-25 16:55:15,405 WARN L623 FunctionHandler]: Unknown extern function scsi_host_put [2022-11-25 16:55:15,406 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,414 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:15,424 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:15,433 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,434 WARN L623 FunctionHandler]: Unknown extern function schedule_timeout_uninterruptible [2022-11-25 16:55:15,437 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,438 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,439 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,441 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,443 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,444 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:15,457 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:15,478 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:15,506 WARN L623 FunctionHandler]: Unknown extern function PDE_DATA [2022-11-25 16:55:15,516 WARN L623 FunctionHandler]: Unknown extern function strncmp [2022-11-25 16:55:15,518 WARN L623 FunctionHandler]: Unknown extern function free_pages [2022-11-25 16:55:15,519 WARN L623 FunctionHandler]: Unknown extern function proc_mkdir [2022-11-25 16:55:15,520 WARN L623 FunctionHandler]: Unknown extern function proc_create_data [2022-11-25 16:55:15,566 WARN L623 FunctionHandler]: Unknown extern function wake_up_process [2022-11-25 16:55:15,567 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion_interruptible [2022-11-25 16:55:15,665 WARN L623 FunctionHandler]: Unknown extern function device_initialize [2022-11-25 16:55:15,665 WARN L623 FunctionHandler]: Unknown extern function dev_set_name [2022-11-25 16:55:15,666 WARN L623 FunctionHandler]: Unknown extern function device_add [2022-11-25 16:55:15,675 WARN L623 FunctionHandler]: Unknown extern function device_del [2022-11-25 16:55:15,675 WARN L623 FunctionHandler]: Unknown extern function put_device [2022-11-25 16:55:15,676 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,685 WARN L623 FunctionHandler]: Unknown extern function device_initialize [2022-11-25 16:55:15,686 WARN L623 FunctionHandler]: Unknown extern function dev_set_name [2022-11-25 16:55:15,687 WARN L623 FunctionHandler]: Unknown extern function device_add [2022-11-25 16:55:15,696 WARN L623 FunctionHandler]: Unknown extern function device_del [2022-11-25 16:55:15,696 WARN L623 FunctionHandler]: Unknown extern function put_device [2022-11-25 16:55:15,697 WARN L623 FunctionHandler]: Unknown extern function find_first_zero_bit [2022-11-25 16:55:15,724 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:15,725 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:15,726 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:15,728 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:15,728 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:15,729 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:15,731 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:15,732 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:15,752 WARN L623 FunctionHandler]: Unknown extern function compat_alloc_user_space [2022-11-25 16:55:15,754 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:15,755 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:15,756 WARN L623 FunctionHandler]: Unknown extern function copy_in_user [2022-11-25 16:55:15,759 WARN L623 FunctionHandler]: Unknown extern function compat_alloc_user_space [2022-11-25 16:55:15,761 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:15,762 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:15,763 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:15,765 WARN L623 FunctionHandler]: Unknown extern function copy_in_user [2022-11-25 16:55:15,803 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:15,805 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 16:55:15,823 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:15,825 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 16:55:15,879 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:15,882 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,883 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,887 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:15,890 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,892 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,893 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,903 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:15,914 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:15,920 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,920 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,921 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,921 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,926 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:15,930 WARN L623 FunctionHandler]: Unknown extern function scsi_cmd_blk_ioctl [2022-11-25 16:55:15,939 WARN L623 FunctionHandler]: Unknown extern function find_first_zero_bit [2022-11-25 16:55:15,940 WARN L623 FunctionHandler]: Unknown extern function blk_start_queue [2022-11-25 16:55:15,941 WARN L623 FunctionHandler]: Unknown extern function find_first_zero_bit [2022-11-25 16:55:15,954 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:15,955 WARN L623 FunctionHandler]: Unknown extern function blk_end_request_all [2022-11-25 16:55:15,973 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,983 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:15,992 WARN L623 FunctionHandler]: Unknown extern function blk_init_queue [2022-11-25 16:55:15,993 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-11-25 16:55:15,994 WARN L623 FunctionHandler]: Unknown extern function blk_queue_bounce_limit [2022-11-25 16:55:15,995 WARN L623 FunctionHandler]: Unknown extern function blk_queue_max_segments [2022-11-25 16:55:15,996 WARN L623 FunctionHandler]: Unknown extern function blk_queue_max_hw_sectors [2022-11-25 16:55:15,996 WARN L623 FunctionHandler]: Unknown extern function blk_queue_softirq_done [2022-11-25 16:55:15,997 WARN L623 FunctionHandler]: Unknown extern function blk_queue_logical_block_size [2022-11-25 16:55:15,997 WARN L623 FunctionHandler]: Unknown extern function add_disk [2022-11-25 16:55:15,998 WARN L623 FunctionHandler]: Unknown extern function blk_cleanup_queue [2022-11-25 16:55:16,010 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:16,012 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,015 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,016 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,017 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,017 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,029 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,030 WARN L623 FunctionHandler]: Unknown extern function put_disk [2022-11-25 16:55:16,039 WARN L623 FunctionHandler]: Unknown extern function alloc_disk [2022-11-25 16:55:16,040 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,051 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,055 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:16,116 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,117 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,118 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:16,120 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:16,122 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,122 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,132 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:16,134 WARN L623 FunctionHandler]: Unknown extern function del_gendisk [2022-11-25 16:55:16,135 WARN L623 FunctionHandler]: Unknown extern function blk_cleanup_queue [2022-11-25 16:55:16,136 WARN L623 FunctionHandler]: Unknown extern function put_disk [2022-11-25 16:55:16,152 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,154 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,155 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,174 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,175 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,177 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,178 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,179 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,179 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,180 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,181 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,181 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,182 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,182 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,185 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:16,186 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,192 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,196 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,198 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,200 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,200 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,201 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,203 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,203 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,204 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,206 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:16,208 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,209 WARN L623 FunctionHandler]: Unknown extern function blk_queue_logical_block_size [2022-11-25 16:55:16,210 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,221 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,249 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,251 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,262 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,263 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,264 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,265 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,266 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,267 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,268 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,268 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,269 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,270 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,271 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,272 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,272 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,273 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,275 WARN L623 FunctionHandler]: Unknown extern function blk_complete_request [2022-11-25 16:55:16,311 WARN L623 FunctionHandler]: Unknown extern function blk_peek_request [2022-11-25 16:55:16,312 WARN L623 FunctionHandler]: Unknown extern function blk_start_request [2022-11-25 16:55:16,317 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,318 WARN L623 FunctionHandler]: Unknown extern function sg_init_table [2022-11-25 16:55:16,318 WARN L623 FunctionHandler]: Unknown extern function blk_rq_map_sg [2022-11-25 16:55:16,333 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,341 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,343 WARN L623 FunctionHandler]: Unknown extern function blk_stop_queue [2022-11-25 16:55:16,378 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,387 WARN L623 FunctionHandler]: Unknown extern function complete [2022-11-25 16:55:16,425 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,448 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 16:55:16,449 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:16,451 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:16,454 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:16,463 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:16,464 WARN L623 FunctionHandler]: Unknown extern function list_del [2022-11-25 16:55:16,464 WARN L623 FunctionHandler]: Unknown extern function complete_all [2022-11-25 16:55:16,464 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:16,465 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:16,466 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:16,466 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:16,468 WARN L623 FunctionHandler]: Unknown extern function __xchg_wrong_size [2022-11-25 16:55:16,468 WARN L623 FunctionHandler]: Unknown extern function schedule [2022-11-25 16:55:16,469 WARN L623 FunctionHandler]: Unknown extern function kthread_should_stop [2022-11-25 16:55:16,469 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:16,469 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:16,470 WARN L623 FunctionHandler]: Unknown extern function list_del [2022-11-25 16:55:16,470 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:16,471 WARN L623 FunctionHandler]: Unknown extern function complete_all [2022-11-25 16:55:16,471 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:16,471 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:16,472 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,473 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,473 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,474 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,474 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,475 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,486 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,487 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,489 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,491 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,492 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,494 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,496 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,497 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,499 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,500 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,502 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,504 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,506 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,516 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,526 WARN L623 FunctionHandler]: Unknown extern function usleep_range [2022-11-25 16:55:16,538 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,540 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,541 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,543 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,545 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-11-25 16:55:16,546 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,547 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-11-25 16:55:16,547 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,557 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,568 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,568 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,577 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:16,578 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,579 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,599 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,617 WARN L623 FunctionHandler]: Unknown extern function check_signature [2022-11-25 16:55:16,618 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,645 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,645 WARN L623 FunctionHandler]: Unknown extern function pci_disable_link_state [2022-11-25 16:55:16,645 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 16:55:16,646 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,646 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-11-25 16:55:16,647 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,648 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,649 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:16,651 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,652 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,652 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,653 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 16:55:16,662 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,663 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,672 WARN L623 FunctionHandler]: Unknown extern function put_disk [2022-11-25 16:55:16,672 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,681 WARN L623 FunctionHandler]: Unknown extern function ioremap_nocache [2022-11-25 16:55:16,682 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,682 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,684 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:16,685 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,685 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,686 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,686 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,694 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,695 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-11-25 16:55:16,695 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,696 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,697 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:16,697 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:16,705 WARN L623 FunctionHandler]: Unknown extern function strncpy [2022-11-25 16:55:16,707 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,725 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:16,725 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,734 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,735 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 16:55:16,735 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-11-25 16:55:16,737 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,737 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-11-25 16:55:16,738 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 16:55:16,738 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,739 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:16,739 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,739 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,740 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,740 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,741 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,741 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,741 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,750 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,751 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,751 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:16,761 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,771 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,779 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,780 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,788 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,798 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,800 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,809 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,809 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,810 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,810 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,811 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,819 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 16:55:16,820 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-11-25 16:55:16,820 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-11-25 16:55:16,821 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,821 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,822 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,822 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,823 WARN L623 FunctionHandler]: Unknown extern function unregister_blkdev [2022-11-25 16:55:16,823 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 16:55:16,823 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,833 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-11-25 16:55:16,834 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-11-25 16:55:16,835 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,836 WARN L623 FunctionHandler]: Unknown extern function register_blkdev [2022-11-25 16:55:16,836 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,837 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,839 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 16:55:16,841 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 16:55:16,841 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,842 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,842 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,843 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,843 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:16,844 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:16,845 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,846 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,847 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,848 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 16:55:16,848 WARN L623 FunctionHandler]: Unknown extern function unregister_blkdev [2022-11-25 16:55:16,848 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 16:55:16,858 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,859 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,859 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,860 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 16:55:16,861 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,870 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,871 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:16,872 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:16,872 WARN L623 FunctionHandler]: Unknown extern function remove_proc_entry [2022-11-25 16:55:16,872 WARN L623 FunctionHandler]: Unknown extern function unregister_blkdev [2022-11-25 16:55:16,873 WARN L623 FunctionHandler]: Unknown extern function del_gendisk [2022-11-25 16:55:16,874 WARN L623 FunctionHandler]: Unknown extern function blk_cleanup_queue [2022-11-25 16:55:16,874 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-11-25 16:55:16,875 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-11-25 16:55:16,875 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,875 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,875 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:16,876 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,876 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,877 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:16,877 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 16:55:16,878 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:16,887 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:16,887 WARN L623 FunctionHandler]: Unknown extern function bus_register [2022-11-25 16:55:16,888 WARN L623 FunctionHandler]: Unknown extern function kthread_create_on_node [2022-11-25 16:55:16,888 WARN L623 FunctionHandler]: Unknown extern function wake_up_process [2022-11-25 16:55:16,890 WARN L623 FunctionHandler]: Unknown extern function kthread_stop [2022-11-25 16:55:16,890 WARN L623 FunctionHandler]: Unknown extern function bus_unregister [2022-11-25 16:55:16,899 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:16,899 WARN L623 FunctionHandler]: Unknown extern function kthread_stop [2022-11-25 16:55:16,900 WARN L623 FunctionHandler]: Unknown extern function remove_proc_entry [2022-11-25 16:55:16,900 WARN L623 FunctionHandler]: Unknown extern function bus_unregister [2022-11-25 16:55:16,966 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 16:55:16,970 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_2 [2022-11-25 16:55:16,976 WARN L623 FunctionHandler]: Unknown extern function ldv_release_16 [2022-11-25 16:55:16,977 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_16 [2022-11-25 16:55:16,978 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_3 [2022-11-25 16:55:16,982 WARN L623 FunctionHandler]: Unknown extern function seq_read [2022-11-25 16:55:16,982 WARN L623 FunctionHandler]: Unknown extern function seq_lseek [2022-11-25 16:55:16,987 WARN L623 FunctionHandler]: Unknown extern function ldv_check_final_state [2022-11-25 16:55:16,992 WARN L623 FunctionHandler]: Unknown extern function scsi_add_host_with_dma [2022-11-25 16:55:16,992 WARN L623 FunctionHandler]: Unknown extern function scsi_host_alloc [2022-11-25 16:55:16,993 WARN L623 FunctionHandler]: Unknown extern function scsi_remove_host [2022-11-25 16:55:16,993 WARN L623 FunctionHandler]: Unknown extern function seq_open [2022-11-25 16:55:16,995 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-11-25 16:55:16,995 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-11-25 16:55:16,996 WARN L623 FunctionHandler]: Unknown extern function seq_release [2022-11-25 16:55:17,004 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--block--cciss.ko-entry_point.cil.out.i[625892,625905] [2022-11-25 16:55:17,034 WARN L623 FunctionHandler]: Unknown extern function ldv_some_page [2022-11-25 16:55:17,089 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 16:55:17,610 INFO L203 MainTranslator]: Completed pre-run [2022-11-25 16:55:17,791 WARN L623 FunctionHandler]: Unknown extern function __list_add [2022-11-25 16:55:17,792 WARN L623 FunctionHandler]: Unknown extern function __list_del_entry [2022-11-25 16:55:17,793 WARN L623 FunctionHandler]: Unknown extern function __bad_percpu_size [2022-11-25 16:55:17,797 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_lock_irq [2022-11-25 16:55:17,798 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irq [2022-11-25 16:55:17,799 WARN L623 FunctionHandler]: Unknown extern function _raw_spin_unlock_irqrestore [2022-11-25 16:55:17,800 WARN L623 FunctionHandler]: Unknown extern function __init_waitqueue_head [2022-11-25 16:55:17,803 WARN L623 FunctionHandler]: Unknown extern function ioremap_nocache [2022-11-25 16:55:17,807 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:17,808 WARN L623 FunctionHandler]: Unknown extern function _copy_from_user [2022-11-25 16:55:17,808 WARN L623 FunctionHandler]: Unknown extern function __copy_from_user_overflow [2022-11-25 16:55:17,809 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:17,810 WARN L623 FunctionHandler]: Unknown extern function _copy_to_user [2022-11-25 16:55:17,810 WARN L623 FunctionHandler]: Unknown extern function __copy_to_user_overflow [2022-11-25 16:55:17,811 WARN L623 FunctionHandler]: Unknown extern function request_threaded_irq [2022-11-25 16:55:17,814 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_word [2022-11-25 16:55:17,818 WARN L623 FunctionHandler]: Unknown extern function pci_bus_read_config_dword [2022-11-25 16:55:17,822 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_word [2022-11-25 16:55:17,828 WARN L623 FunctionHandler]: Unknown extern function pci_bus_write_config_dword [2022-11-25 16:55:17,834 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msi_range [2022-11-25 16:55:17,835 WARN L623 FunctionHandler]: Unknown extern function pci_enable_msix_range [2022-11-25 16:55:17,841 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 16:55:17,844 WARN L623 FunctionHandler]: Unknown extern function __phys_addr [2022-11-25 16:55:17,845 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 16:55:17,847 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 16:55:17,850 WARN L623 FunctionHandler]: Unknown extern function debug_dma_map_page [2022-11-25 16:55:17,852 WARN L623 FunctionHandler]: Unknown extern function debug_dma_unmap_page [2022-11-25 16:55:17,853 WARN L623 FunctionHandler]: Unknown extern function dma_supported [2022-11-25 16:55:17,853 WARN L623 FunctionHandler]: Unknown extern function dma_alloc_attrs [2022-11-25 16:55:17,855 WARN L623 FunctionHandler]: Unknown extern function dma_free_attrs [2022-11-25 16:55:17,858 WARN L623 FunctionHandler]: Unknown extern function dma_set_mask [2022-11-25 16:55:17,889 WARN L623 FunctionHandler]: Unknown extern function warn_slowpath_null [2022-11-25 16:55:17,892 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:17,893 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:17,894 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:18,071 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:18,093 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,099 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,106 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,109 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,111 WARN L623 FunctionHandler]: Unknown extern function scsi_device_type [2022-11-25 16:55:18,112 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:18,122 WARN L623 FunctionHandler]: Unknown extern function scsi_device_type [2022-11-25 16:55:18,123 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:18,126 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,130 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,130 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,131 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,131 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,132 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,134 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,143 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:18,150 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,153 WARN L623 FunctionHandler]: Unknown extern function scsi_device_lookup [2022-11-25 16:55:18,154 WARN L623 FunctionHandler]: Unknown extern function scsi_remove_device [2022-11-25 16:55:18,154 WARN L623 FunctionHandler]: Unknown extern function scsi_device_put [2022-11-25 16:55:18,155 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,207 WARN L623 FunctionHandler]: Unknown extern function scsi_add_device [2022-11-25 16:55:18,208 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,209 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,209 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,212 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 16:55:18,212 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,218 WARN L623 FunctionHandler]: Unknown extern function scsi_dma_unmap [2022-11-25 16:55:18,219 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,221 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,223 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,225 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,226 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,228 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,230 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,232 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,233 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,235 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,247 WARN L623 FunctionHandler]: Unknown extern function scsi_scan_host [2022-11-25 16:55:18,247 WARN L623 FunctionHandler]: Unknown extern function scsi_host_put [2022-11-25 16:55:18,254 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:18,257 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,258 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,260 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,262 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:18,263 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,265 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,267 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,268 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,270 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,272 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,273 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,275 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,277 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,278 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,280 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,283 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:18,286 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,287 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:18,290 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:18,292 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:18,292 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:18,295 WARN L623 FunctionHandler]: Unknown extern function strncpy [2022-11-25 16:55:18,295 WARN L623 FunctionHandler]: Unknown extern function strncmp [2022-11-25 16:55:18,296 WARN L623 FunctionHandler]: Unknown extern function scsi_device_type [2022-11-25 16:55:18,296 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:18,299 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,299 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,299 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,301 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,304 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:18,305 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:18,311 WARN L623 FunctionHandler]: Unknown extern function scsi_dma_map [2022-11-25 16:55:18,312 WARN L623 FunctionHandler]: Unknown extern function sg_next [2022-11-25 16:55:18,316 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,322 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,324 WARN L623 FunctionHandler]: Unknown extern function scsi_cmd_get_serial [2022-11-25 16:55:18,332 WARN L623 FunctionHandler]: Unknown extern function scsi_host_put [2022-11-25 16:55:18,333 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,338 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:18,340 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:18,341 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,343 WARN L623 FunctionHandler]: Unknown extern function schedule_timeout_uninterruptible [2022-11-25 16:55:18,344 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,346 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,348 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,350 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,353 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,355 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,359 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:18,365 WARN L623 FunctionHandler]: Unknown extern function seq_printf [2022-11-25 16:55:18,368 WARN L623 FunctionHandler]: Unknown extern function PDE_DATA [2022-11-25 16:55:18,370 WARN L623 FunctionHandler]: Unknown extern function strncmp [2022-11-25 16:55:18,371 WARN L623 FunctionHandler]: Unknown extern function free_pages [2022-11-25 16:55:18,372 WARN L623 FunctionHandler]: Unknown extern function proc_mkdir [2022-11-25 16:55:18,372 WARN L623 FunctionHandler]: Unknown extern function proc_create_data [2022-11-25 16:55:18,375 WARN L623 FunctionHandler]: Unknown extern function wake_up_process [2022-11-25 16:55:18,376 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion_interruptible [2022-11-25 16:55:18,411 WARN L623 FunctionHandler]: Unknown extern function device_initialize [2022-11-25 16:55:18,411 WARN L623 FunctionHandler]: Unknown extern function dev_set_name [2022-11-25 16:55:18,413 WARN L623 FunctionHandler]: Unknown extern function device_add [2022-11-25 16:55:18,414 WARN L623 FunctionHandler]: Unknown extern function device_del [2022-11-25 16:55:18,414 WARN L623 FunctionHandler]: Unknown extern function put_device [2022-11-25 16:55:18,415 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,415 WARN L623 FunctionHandler]: Unknown extern function device_initialize [2022-11-25 16:55:18,416 WARN L623 FunctionHandler]: Unknown extern function dev_set_name [2022-11-25 16:55:18,417 WARN L623 FunctionHandler]: Unknown extern function device_add [2022-11-25 16:55:18,418 WARN L623 FunctionHandler]: Unknown extern function device_del [2022-11-25 16:55:18,418 WARN L623 FunctionHandler]: Unknown extern function put_device [2022-11-25 16:55:18,419 WARN L623 FunctionHandler]: Unknown extern function find_first_zero_bit [2022-11-25 16:55:18,474 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,476 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,476 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:18,477 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:18,477 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,478 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:18,479 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,481 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,483 WARN L623 FunctionHandler]: Unknown extern function compat_alloc_user_space [2022-11-25 16:55:18,485 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:18,485 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:18,487 WARN L623 FunctionHandler]: Unknown extern function copy_in_user [2022-11-25 16:55:18,488 WARN L623 FunctionHandler]: Unknown extern function compat_alloc_user_space [2022-11-25 16:55:18,490 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:18,490 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:18,491 WARN L623 FunctionHandler]: Unknown extern function __might_fault [2022-11-25 16:55:18,492 WARN L623 FunctionHandler]: Unknown extern function copy_in_user [2022-11-25 16:55:18,499 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:18,500 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 16:55:18,503 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:18,504 WARN L623 FunctionHandler]: Unknown extern function __const_udelay [2022-11-25 16:55:18,512 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:18,514 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,515 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,521 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:18,525 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,526 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,526 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,531 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:18,540 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:18,545 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,546 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,546 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,546 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,551 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,554 WARN L623 FunctionHandler]: Unknown extern function scsi_cmd_blk_ioctl [2022-11-25 16:55:18,556 WARN L623 FunctionHandler]: Unknown extern function find_first_zero_bit [2022-11-25 16:55:18,557 WARN L623 FunctionHandler]: Unknown extern function blk_start_queue [2022-11-25 16:55:18,559 WARN L623 FunctionHandler]: Unknown extern function find_first_zero_bit [2022-11-25 16:55:18,564 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,565 WARN L623 FunctionHandler]: Unknown extern function blk_end_request_all [2022-11-25 16:55:18,568 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,569 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,570 WARN L623 FunctionHandler]: Unknown extern function blk_init_queue [2022-11-25 16:55:18,574 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-11-25 16:55:18,578 WARN L623 FunctionHandler]: Unknown extern function blk_queue_bounce_limit [2022-11-25 16:55:18,580 WARN L623 FunctionHandler]: Unknown extern function blk_queue_max_segments [2022-11-25 16:55:18,583 WARN L623 FunctionHandler]: Unknown extern function blk_queue_max_hw_sectors [2022-11-25 16:55:18,585 WARN L623 FunctionHandler]: Unknown extern function blk_queue_softirq_done [2022-11-25 16:55:18,587 WARN L623 FunctionHandler]: Unknown extern function blk_queue_logical_block_size [2022-11-25 16:55:18,589 WARN L623 FunctionHandler]: Unknown extern function add_disk [2022-11-25 16:55:18,589 WARN L623 FunctionHandler]: Unknown extern function blk_cleanup_queue [2022-11-25 16:55:18,596 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,597 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,603 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,605 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,605 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,605 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:18,611 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,613 WARN L623 FunctionHandler]: Unknown extern function put_disk [2022-11-25 16:55:18,616 WARN L623 FunctionHandler]: Unknown extern function alloc_disk [2022-11-25 16:55:18,618 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:18,624 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,627 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:18,628 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,629 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,631 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,633 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,634 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,634 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:18,637 WARN L623 FunctionHandler]: Unknown extern function capable [2022-11-25 16:55:18,645 WARN L623 FunctionHandler]: Unknown extern function del_gendisk [2022-11-25 16:55:18,645 WARN L623 FunctionHandler]: Unknown extern function blk_cleanup_queue [2022-11-25 16:55:18,647 WARN L623 FunctionHandler]: Unknown extern function put_disk [2022-11-25 16:55:18,652 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,655 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,656 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,664 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,695 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,698 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,699 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,701 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,702 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,704 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,705 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,706 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,708 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,709 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,713 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:18,714 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,720 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,723 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,725 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,727 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,728 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,729 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,731 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,733 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:18,734 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,736 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:18,737 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,739 WARN L623 FunctionHandler]: Unknown extern function blk_queue_logical_block_size [2022-11-25 16:55:18,740 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,742 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,747 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,749 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,753 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,755 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,756 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,758 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,759 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,761 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,763 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,764 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,766 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,767 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,769 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,770 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,772 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,774 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,776 WARN L623 FunctionHandler]: Unknown extern function blk_complete_request [2022-11-25 16:55:18,779 WARN L623 FunctionHandler]: Unknown extern function blk_peek_request [2022-11-25 16:55:18,780 WARN L623 FunctionHandler]: Unknown extern function blk_start_request [2022-11-25 16:55:18,787 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,788 WARN L623 FunctionHandler]: Unknown extern function sg_init_table [2022-11-25 16:55:18,789 WARN L623 FunctionHandler]: Unknown extern function blk_rq_map_sg [2022-11-25 16:55:18,793 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,799 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,801 WARN L623 FunctionHandler]: Unknown extern function blk_stop_queue [2022-11-25 16:55:18,804 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,806 WARN L623 FunctionHandler]: Unknown extern function complete [2022-11-25 16:55:18,813 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:18,820 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 16:55:18,820 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:18,821 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,822 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,822 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:18,825 WARN L623 FunctionHandler]: Unknown extern function list_del [2022-11-25 16:55:18,825 WARN L623 FunctionHandler]: Unknown extern function complete_all [2022-11-25 16:55:18,826 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,827 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,827 WARN L623 FunctionHandler]: Unknown extern function wait_for_completion [2022-11-25 16:55:18,827 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,829 WARN L623 FunctionHandler]: Unknown extern function __xchg_wrong_size [2022-11-25 16:55:18,829 WARN L623 FunctionHandler]: Unknown extern function schedule [2022-11-25 16:55:18,830 WARN L623 FunctionHandler]: Unknown extern function kthread_should_stop [2022-11-25 16:55:18,830 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:18,830 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,831 WARN L623 FunctionHandler]: Unknown extern function list_del [2022-11-25 16:55:18,831 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,834 WARN L623 FunctionHandler]: Unknown extern function complete_all [2022-11-25 16:55:18,834 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:18,835 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:18,836 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,837 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,838 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,840 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,841 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,842 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,861 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,863 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,865 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,867 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,869 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,871 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,874 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,876 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,878 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,880 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,882 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,886 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,888 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,891 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,893 WARN L623 FunctionHandler]: Unknown extern function usleep_range [2022-11-25 16:55:18,897 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,900 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,902 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,908 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:18,911 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-11-25 16:55:18,915 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,916 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-11-25 16:55:18,919 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,961 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,968 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:18,969 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,970 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:18,971 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,972 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,978 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:18,986 WARN L623 FunctionHandler]: Unknown extern function check_signature [2022-11-25 16:55:18,986 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,009 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,012 WARN L623 FunctionHandler]: Unknown extern function pci_disable_link_state [2022-11-25 16:55:19,015 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 16:55:19,018 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,020 WARN L623 FunctionHandler]: Unknown extern function pci_request_regions [2022-11-25 16:55:19,023 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,027 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:19,030 WARN L623 FunctionHandler]: Unknown extern function __dynamic_dev_dbg [2022-11-25 16:55:19,045 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,046 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,046 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,047 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 16:55:19,052 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,052 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,054 WARN L623 FunctionHandler]: Unknown extern function put_disk [2022-11-25 16:55:19,056 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,057 WARN L623 FunctionHandler]: Unknown extern function ioremap_nocache [2022-11-25 16:55:19,059 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,060 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,062 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:19,062 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,063 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,064 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,064 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,065 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,066 WARN L623 FunctionHandler]: Unknown extern function pci_find_capability [2022-11-25 16:55:19,067 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,067 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,068 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:19,069 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:19,070 WARN L623 FunctionHandler]: Unknown extern function strncpy [2022-11-25 16:55:19,071 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,073 WARN L623 FunctionHandler]: Unknown extern function memcmp [2022-11-25 16:55:19,074 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,075 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,076 WARN L623 FunctionHandler]: Unknown extern function pci_disable_device [2022-11-25 16:55:19,076 WARN L623 FunctionHandler]: Unknown extern function pci_save_state [2022-11-25 16:55:19,078 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,079 WARN L623 FunctionHandler]: Unknown extern function pci_restore_state [2022-11-25 16:55:19,079 WARN L623 FunctionHandler]: Unknown extern function pci_enable_device [2022-11-25 16:55:19,079 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,080 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:19,080 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,081 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,081 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,082 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,083 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,083 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,083 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,084 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,085 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,086 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:19,096 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,100 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,103 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,104 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,104 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,111 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,114 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,118 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,120 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,125 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,127 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,132 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,135 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 16:55:19,136 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-11-25 16:55:19,139 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-11-25 16:55:19,142 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,145 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,146 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,147 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,147 WARN L623 FunctionHandler]: Unknown extern function unregister_blkdev [2022-11-25 16:55:19,152 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 16:55:19,155 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,160 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-11-25 16:55:19,162 WARN L623 FunctionHandler]: Unknown extern function sprintf [2022-11-25 16:55:19,168 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,171 WARN L623 FunctionHandler]: Unknown extern function register_blkdev [2022-11-25 16:55:19,171 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,175 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,179 WARN L623 FunctionHandler]: Unknown extern function __raw_spin_lock_init [2022-11-25 16:55:19,186 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 16:55:19,187 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,190 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,192 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,195 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,198 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 16:55:19,199 WARN L623 FunctionHandler]: Unknown extern function _dev_info [2022-11-25 16:55:19,202 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,205 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,208 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,209 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 16:55:19,210 WARN L623 FunctionHandler]: Unknown extern function unregister_blkdev [2022-11-25 16:55:19,215 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 16:55:19,217 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,220 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,221 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,223 WARN L623 FunctionHandler]: Unknown extern function free_irq [2022-11-25 16:55:19,235 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,236 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,238 WARN L623 FunctionHandler]: Unknown extern function dev_err [2022-11-25 16:55:19,238 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_nested [2022-11-25 16:55:19,244 WARN L623 FunctionHandler]: Unknown extern function remove_proc_entry [2022-11-25 16:55:19,244 WARN L623 FunctionHandler]: Unknown extern function unregister_blkdev [2022-11-25 16:55:19,255 WARN L623 FunctionHandler]: Unknown extern function del_gendisk [2022-11-25 16:55:19,256 WARN L623 FunctionHandler]: Unknown extern function blk_cleanup_queue [2022-11-25 16:55:19,257 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msix [2022-11-25 16:55:19,260 WARN L623 FunctionHandler]: Unknown extern function pci_disable_msi [2022-11-25 16:55:19,262 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,263 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,263 WARN L623 FunctionHandler]: Unknown extern function iounmap [2022-11-25 16:55:19,264 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,264 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,265 WARN L623 FunctionHandler]: Unknown extern function kfree [2022-11-25 16:55:19,268 WARN L623 FunctionHandler]: Unknown extern function pci_release_regions [2022-11-25 16:55:19,273 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 16:55:19,276 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 16:55:19,276 WARN L623 FunctionHandler]: Unknown extern function bus_register [2022-11-25 16:55:19,276 WARN L623 FunctionHandler]: Unknown extern function kthread_create_on_node [2022-11-25 16:55:19,277 WARN L623 FunctionHandler]: Unknown extern function wake_up_process [2022-11-25 16:55:19,278 WARN L623 FunctionHandler]: Unknown extern function kthread_stop [2022-11-25 16:55:19,279 WARN L623 FunctionHandler]: Unknown extern function bus_unregister [2022-11-25 16:55:19,280 WARN L623 FunctionHandler]: Unknown extern function dev_warn [2022-11-25 16:55:19,285 WARN L623 FunctionHandler]: Unknown extern function kthread_stop [2022-11-25 16:55:19,285 WARN L623 FunctionHandler]: Unknown extern function remove_proc_entry [2022-11-25 16:55:19,286 WARN L623 FunctionHandler]: Unknown extern function bus_unregister [2022-11-25 16:55:19,302 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 16:55:19,308 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_2 [2022-11-25 16:55:19,313 WARN L623 FunctionHandler]: Unknown extern function ldv_release_16 [2022-11-25 16:55:19,314 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_16 [2022-11-25 16:55:19,315 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_3 [2022-11-25 16:55:19,319 WARN L623 FunctionHandler]: Unknown extern function seq_read [2022-11-25 16:55:19,320 WARN L623 FunctionHandler]: Unknown extern function seq_lseek [2022-11-25 16:55:19,325 WARN L623 FunctionHandler]: Unknown extern function ldv_check_final_state [2022-11-25 16:55:19,329 WARN L623 FunctionHandler]: Unknown extern function scsi_add_host_with_dma [2022-11-25 16:55:19,330 WARN L623 FunctionHandler]: Unknown extern function scsi_host_alloc [2022-11-25 16:55:19,331 WARN L623 FunctionHandler]: Unknown extern function scsi_remove_host [2022-11-25 16:55:19,331 WARN L623 FunctionHandler]: Unknown extern function seq_open [2022-11-25 16:55:19,332 WARN L623 FunctionHandler]: Unknown extern function __pci_register_driver [2022-11-25 16:55:19,333 WARN L623 FunctionHandler]: Unknown extern function pci_unregister_driver [2022-11-25 16:55:19,334 WARN L623 FunctionHandler]: Unknown extern function seq_release [2022-11-25 16:55:19,334 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--block--cciss.ko-entry_point.cil.out.i[625892,625905] [2022-11-25 16:55:19,336 WARN L623 FunctionHandler]: Unknown extern function ldv_some_page [2022-11-25 16:55:19,349 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 16:55:19,739 INFO L208 MainTranslator]: Completed translation [2022-11-25 16:55:19,739 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19 WrapperNode [2022-11-25 16:55:19,739 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-25 16:55:19,741 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2022-11-25 16:55:19,741 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2022-11-25 16:55:19,741 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2022-11-25 16:55:19,751 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:20,079 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:20,742 INFO L138 Inliner]: procedures = 492, calls = 14280, calls flagged for inlining = 240, calls inlined = 229, statements flattened = 21355 [2022-11-25 16:55:20,743 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2022-11-25 16:55:20,744 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2022-11-25 16:55:20,744 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2022-11-25 16:55:20,744 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2022-11-25 16:55:20,757 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:20,757 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:20,911 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:20,911 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:22,074 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:22,159 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:22,347 INFO L185 PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:22,414 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:22,634 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2022-11-25 16:55:22,636 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2022-11-25 16:55:22,636 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2022-11-25 16:55:22,636 INFO L275 PluginConnector]: RCFGBuilder initialized [2022-11-25 16:55:22,637 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 04:55:19" (1/1) ... [2022-11-25 16:55:22,645 INFO L173 SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 16:55:22,658 INFO L189 MonitoredProcess]: No working directory specified, using /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/z3 [2022-11-25 16:55:22,728 INFO L229 MonitoredProcess]: Starting monitored process 1 with /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2022-11-25 16:55:22,783 INFO L327 MonitoredProcess]: [MP /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_74dab846-27dd-4a75-80fa-8f450da4ed3d/bin/uautomizer-ZsLfNo2U6R/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process [2022-11-25 16:55:22,854 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_free_scatterlists [2022-11-25 16:55:22,858 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_free_scatterlists [2022-11-25 16:55:22,858 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_update_drive_info [2022-11-25 16:55:22,859 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_update_drive_info [2022-11-25 16:55:22,860 INFO L130 BoogieDeclarations]: Found specification of procedure strncmp [2022-11-25 16:55:22,860 INFO L130 BoogieDeclarations]: Found specification of procedure __xchg_wrong_size [2022-11-25 16:55:22,860 INFO L130 BoogieDeclarations]: Found specification of procedure print_cfg_table [2022-11-25 16:55:22,860 INFO L138 BoogieDeclarations]: Found implementation of procedure print_cfg_table [2022-11-25 16:55:22,860 INFO L130 BoogieDeclarations]: Found specification of procedure wake_up_process [2022-11-25 16:55:22,861 INFO L138 BoogieDeclarations]: Found implementation of procedure wake_up_process [2022-11-25 16:55:22,861 INFO L130 BoogieDeclarations]: Found specification of procedure pci_release_regions [2022-11-25 16:55:22,874 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_release_regions [2022-11-25 16:55:22,875 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.meminit [2022-11-25 16:55:22,875 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.meminit [2022-11-25 16:55:22,875 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_compat_ioctl [2022-11-25 16:55:22,875 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_compat_ioctl [2022-11-25 16:55:22,875 INFO L130 BoogieDeclarations]: Found specification of procedure SA5_completed [2022-11-25 16:55:22,876 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5_completed [2022-11-25 16:55:22,876 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_lock [2022-11-25 16:55:22,876 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_lock [2022-11-25 16:55:22,876 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_malloc [2022-11-25 16:55:22,876 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_malloc [2022-11-25 16:55:22,876 INFO L130 BoogieDeclarations]: Found specification of procedure device_del [2022-11-25 16:55:22,877 INFO L138 BoogieDeclarations]: Found implementation of procedure device_del [2022-11-25 16:55:22,877 INFO L130 BoogieDeclarations]: Found specification of procedure remap_pci_mem [2022-11-25 16:55:22,877 INFO L138 BoogieDeclarations]: Found implementation of procedure remap_pci_mem [2022-11-25 16:55:22,877 INFO L130 BoogieDeclarations]: Found specification of procedure pci_read_config_word [2022-11-25 16:55:22,877 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_read_config_word [2022-11-25 16:55:22,877 INFO L130 BoogieDeclarations]: Found specification of procedure ioremap_nocache [2022-11-25 16:55:22,878 INFO L138 BoogieDeclarations]: Found implementation of procedure ioremap_nocache [2022-11-25 16:55:22,878 INFO L130 BoogieDeclarations]: Found specification of procedure free_irq [2022-11-25 16:55:22,878 INFO L138 BoogieDeclarations]: Found implementation of procedure free_irq [2022-11-25 16:55:22,878 INFO L130 BoogieDeclarations]: Found specification of procedure check_ioctl_unit_attention [2022-11-25 16:55:22,878 INFO L138 BoogieDeclarations]: Found implementation of procedure check_ioctl_unit_attention [2022-11-25 16:55:22,879 INFO L130 BoogieDeclarations]: Found specification of procedure SA5_performant_intr_mask [2022-11-25 16:55:22,879 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5_performant_intr_mask [2022-11-25 16:55:22,879 INFO L130 BoogieDeclarations]: Found specification of procedure valid_dma_direction [2022-11-25 16:55:22,879 INFO L138 BoogieDeclarations]: Found implementation of procedure valid_dma_direction [2022-11-25 16:55:22,879 INFO L130 BoogieDeclarations]: Found specification of procedure start_io [2022-11-25 16:55:22,879 INFO L138 BoogieDeclarations]: Found implementation of procedure start_io [2022-11-25 16:55:22,880 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_hba_release [2022-11-25 16:55:22,880 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_hba_release [2022-11-25 16:55:22,880 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_add_gendisk [2022-11-25 16:55:22,880 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_add_gendisk [2022-11-25 16:55:22,880 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~int~TO~VOID [2022-11-25 16:55:22,880 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~int~TO~VOID [2022-11-25 16:55:22,881 INFO L130 BoogieDeclarations]: Found specification of procedure cmd_free [2022-11-25 16:55:22,881 INFO L138 BoogieDeclarations]: Found implementation of procedure cmd_free [2022-11-25 16:55:22,881 INFO L130 BoogieDeclarations]: Found specification of procedure spinlock_check [2022-11-25 16:55:22,881 INFO L138 BoogieDeclarations]: Found implementation of procedure spinlock_check [2022-11-25 16:55:22,881 INFO L130 BoogieDeclarations]: Found specification of procedure reinit_completion [2022-11-25 16:55:22,885 INFO L138 BoogieDeclarations]: Found implementation of procedure reinit_completion [2022-11-25 16:55:22,885 INFO L130 BoogieDeclarations]: Found specification of procedure memcmp [2022-11-25 16:55:22,885 INFO L130 BoogieDeclarations]: Found specification of procedure pci_get_drvdata [2022-11-25 16:55:22,885 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_get_drvdata [2022-11-25 16:55:22,886 INFO L130 BoogieDeclarations]: Found specification of procedure remove_proc_entry [2022-11-25 16:55:22,886 INFO L138 BoogieDeclarations]: Found implementation of procedure remove_proc_entry [2022-11-25 16:55:22,886 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_free_cmd_pool [2022-11-25 16:55:22,886 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_free_cmd_pool [2022-11-25 16:55:22,886 INFO L130 BoogieDeclarations]: Found specification of procedure blk_queue_logical_block_size [2022-11-25 16:55:22,886 INFO L138 BoogieDeclarations]: Found implementation of procedure blk_queue_logical_block_size [2022-11-25 16:55:22,886 INFO L130 BoogieDeclarations]: Found specification of procedure enqueue_cmd_and_start_io [2022-11-25 16:55:22,886 INFO L138 BoogieDeclarations]: Found implementation of procedure enqueue_cmd_and_start_io [2022-11-25 16:55:22,887 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_is_err [2022-11-25 16:55:22,887 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_is_err [2022-11-25 16:55:22,887 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_request_irq [2022-11-25 16:55:22,887 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_request_irq [2022-11-25 16:55:22,887 INFO L130 BoogieDeclarations]: Found specification of procedure spin_unlock_irqrestore [2022-11-25 16:55:22,887 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_unlock_irqrestore [2022-11-25 16:55:22,887 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_scsi_interpret_error [2022-11-25 16:55:22,887 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_scsi_interpret_error [2022-11-25 16:55:22,888 INFO L130 BoogieDeclarations]: Found specification of procedure pci_unmap_single [2022-11-25 16:55:22,888 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_unmap_single [2022-11-25 16:55:22,888 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_destroy_ld_sysfs_entry [2022-11-25 16:55:22,888 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_destroy_ld_sysfs_entry [2022-11-25 16:55:22,888 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2022-11-25 16:55:22,888 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_unmap_sg_chain_block [2022-11-25 16:55:22,888 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_unmap_sg_chain_block [2022-11-25 16:55:22,888 INFO L130 BoogieDeclarations]: Found specification of procedure iounmap [2022-11-25 16:55:22,889 INFO L138 BoogieDeclarations]: Found implementation of procedure iounmap [2022-11-25 16:55:22,889 INFO L130 BoogieDeclarations]: Found specification of procedure pci_write_config_word [2022-11-25 16:55:22,889 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_write_config_word [2022-11-25 16:55:22,889 INFO L130 BoogieDeclarations]: Found specification of procedure capable [2022-11-25 16:55:22,889 INFO L138 BoogieDeclarations]: Found implementation of procedure capable [2022-11-25 16:55:22,889 INFO L130 BoogieDeclarations]: Found specification of procedure __might_fault [2022-11-25 16:55:22,889 INFO L138 BoogieDeclarations]: Found implementation of procedure __might_fault [2022-11-25 16:55:22,889 INFO L130 BoogieDeclarations]: Found specification of procedure list_del [2022-11-25 16:55:22,890 INFO L138 BoogieDeclarations]: Found implementation of procedure list_del [2022-11-25 16:55:22,890 INFO L130 BoogieDeclarations]: Found specification of procedure kmalloc [2022-11-25 16:55:22,890 INFO L138 BoogieDeclarations]: Found implementation of procedure kmalloc [2022-11-25 16:55:22,890 INFO L130 BoogieDeclarations]: Found specification of procedure sendcmd_withirq [2022-11-25 16:55:22,890 INFO L138 BoogieDeclarations]: Found implementation of procedure sendcmd_withirq [2022-11-25 16:55:22,890 INFO L130 BoogieDeclarations]: Found specification of procedure scsi_device_type [2022-11-25 16:55:22,890 INFO L138 BoogieDeclarations]: Found implementation of procedure scsi_device_type [2022-11-25 16:55:22,890 INFO L130 BoogieDeclarations]: Found specification of procedure SA5B_intr_pending [2022-11-25 16:55:22,891 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5B_intr_pending [2022-11-25 16:55:22,891 INFO L130 BoogieDeclarations]: Found specification of procedure fill_cmd [2022-11-25 16:55:22,891 INFO L138 BoogieDeclarations]: Found implementation of procedure fill_cmd [2022-11-25 16:55:22,891 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_scsi_remove_entry [2022-11-25 16:55:22,891 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_scsi_remove_entry [2022-11-25 16:55:22,891 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~int [2022-11-25 16:55:22,891 INFO L130 BoogieDeclarations]: Found specification of procedure get_dma_ops [2022-11-25 16:55:22,891 INFO L138 BoogieDeclarations]: Found implementation of procedure get_dma_ops [2022-11-25 16:55:22,892 INFO L130 BoogieDeclarations]: Found specification of procedure __raw_spin_lock_init [2022-11-25 16:55:22,892 INFO L138 BoogieDeclarations]: Found implementation of procedure __raw_spin_lock_init [2022-11-25 16:55:22,892 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_ioctl [2022-11-25 16:55:22,892 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_ioctl [2022-11-25 16:55:22,892 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~int [2022-11-25 16:55:22,892 INFO L130 BoogieDeclarations]: Found specification of procedure pci_zalloc_consistent [2022-11-25 16:55:22,892 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_zalloc_consistent [2022-11-25 16:55:22,892 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2022-11-25 16:55:22,893 INFO L130 BoogieDeclarations]: Found specification of procedure cmd_alloc [2022-11-25 16:55:22,893 INFO L138 BoogieDeclarations]: Found implementation of procedure cmd_alloc [2022-11-25 16:55:22,893 INFO L130 BoogieDeclarations]: Found specification of procedure __phys_addr [2022-11-25 16:55:22,893 INFO L138 BoogieDeclarations]: Found implementation of procedure __phys_addr [2022-11-25 16:55:22,893 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memcpy [2022-11-25 16:55:22,893 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memcpy [2022-11-25 16:55:22,893 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_read_capacity [2022-11-25 16:55:22,893 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_read_capacity [2022-11-25 16:55:22,894 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_getgeo [2022-11-25 16:55:22,894 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_getgeo [2022-11-25 16:55:22,894 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_free_drive_info [2022-11-25 16:55:22,894 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_free_drive_info [2022-11-25 16:55:22,894 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_alloc_flags [2022-11-25 16:55:22,894 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_alloc_flags [2022-11-25 16:55:22,894 INFO L130 BoogieDeclarations]: Found specification of procedure get_host [2022-11-25 16:55:22,894 INFO L138 BoogieDeclarations]: Found implementation of procedure get_host [2022-11-25 16:55:22,894 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_dma_mask [2022-11-25 16:55:22,895 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_dma_mask [2022-11-25 16:55:22,895 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_engage_scsi [2022-11-25 16:55:22,895 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_engage_scsi [2022-11-25 16:55:22,895 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_scsi_queue_command [2022-11-25 16:55:22,895 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_scsi_queue_command [2022-11-25 16:55:22,895 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_remove_one [2022-11-25 16:55:22,895 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_remove_one [2022-11-25 16:55:22,895 INFO L130 BoogieDeclarations]: Found specification of procedure unregister_blkdev [2022-11-25 16:55:22,896 INFO L138 BoogieDeclarations]: Found implementation of procedure unregister_blkdev [2022-11-25 16:55:22,896 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_scsi_do_simple_cmd [2022-11-25 16:55:22,896 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_scsi_do_simple_cmd [2022-11-25 16:55:22,896 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_map_sg_chain_block [2022-11-25 16:55:22,896 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_map_sg_chain_block [2022-11-25 16:55:22,896 INFO L130 BoogieDeclarations]: Found specification of procedure list_add_tail [2022-11-25 16:55:22,896 INFO L138 BoogieDeclarations]: Found implementation of procedure list_add_tail [2022-11-25 16:55:22,896 INFO L130 BoogieDeclarations]: Found specification of procedure pci_free_consistent [2022-11-25 16:55:22,897 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_free_consistent [2022-11-25 16:55:22,897 INFO L130 BoogieDeclarations]: Found specification of procedure copy_to_user [2022-11-25 16:55:22,897 INFO L138 BoogieDeclarations]: Found implementation of procedure copy_to_user [2022-11-25 16:55:22,897 INFO L130 BoogieDeclarations]: Found specification of procedure pci_set_drvdata [2022-11-25 16:55:22,897 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_set_drvdata [2022-11-25 16:55:22,897 INFO L130 BoogieDeclarations]: Found specification of procedure removeQ [2022-11-25 16:55:22,897 INFO L138 BoogieDeclarations]: Found implementation of procedure removeQ [2022-11-25 16:55:22,897 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_init_zalloc [2022-11-25 16:55:22,897 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_init_zalloc [2022-11-25 16:55:22,898 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_add_disk [2022-11-25 16:55:22,898 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_add_disk [2022-11-25 16:55:22,898 INFO L130 BoogieDeclarations]: Found specification of procedure SA5_performant_intr_pending [2022-11-25 16:55:22,898 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5_performant_intr_pending [2022-11-25 16:55:22,898 INFO L130 BoogieDeclarations]: Found specification of procedure compat_ptr [2022-11-25 16:55:22,898 INFO L138 BoogieDeclarations]: Found implementation of procedure compat_ptr [2022-11-25 16:55:22,911 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2022-11-25 16:55:22,911 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_device_release [2022-11-25 16:55:22,911 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_device_release [2022-11-25 16:55:22,911 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit [2022-11-25 16:55:22,912 INFO L130 BoogieDeclarations]: Found specification of procedure wait_for_device_to_become_ready [2022-11-25 16:55:22,912 INFO L138 BoogieDeclarations]: Found implementation of procedure wait_for_device_to_become_ready [2022-11-25 16:55:22,912 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_tag_discard_error_bits [2022-11-25 16:55:22,912 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_tag_discard_error_bits [2022-11-25 16:55:22,912 INFO L130 BoogieDeclarations]: Found specification of procedure __const_udelay [2022-11-25 16:55:22,912 INFO L138 BoogieDeclarations]: Found implementation of procedure __const_udelay [2022-11-25 16:55:22,912 INFO L130 BoogieDeclarations]: Found specification of procedure wait_for_completion [2022-11-25 16:55:22,912 INFO L138 BoogieDeclarations]: Found implementation of procedure wait_for_completion [2022-11-25 16:55:22,913 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2022-11-25 16:55:22,913 INFO L130 BoogieDeclarations]: Found specification of procedure deregister_disk [2022-11-25 16:55:22,913 INFO L138 BoogieDeclarations]: Found implementation of procedure deregister_disk [2022-11-25 16:55:22,913 INFO L130 BoogieDeclarations]: Found specification of procedure blk_cleanup_queue [2022-11-25 16:55:22,913 INFO L138 BoogieDeclarations]: Found implementation of procedure blk_cleanup_queue [2022-11-25 16:55:22,913 INFO L130 BoogieDeclarations]: Found specification of procedure __bad_percpu_size [2022-11-25 16:55:22,913 INFO L130 BoogieDeclarations]: Found specification of procedure kthread_stop [2022-11-25 16:55:22,913 INFO L138 BoogieDeclarations]: Found implementation of procedure kthread_stop [2022-11-25 16:55:22,914 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~VOID [2022-11-25 16:55:22,914 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~VOID [2022-11-25 16:55:22,914 INFO L130 BoogieDeclarations]: Found specification of procedure scsi_host_put [2022-11-25 16:55:22,914 INFO L138 BoogieDeclarations]: Found implementation of procedure scsi_host_put [2022-11-25 16:55:22,914 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~int [2022-11-25 16:55:22,914 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~int [2022-11-25 16:55:22,914 INFO L130 BoogieDeclarations]: Found specification of procedure device_is_the_same [2022-11-25 16:55:22,914 INFO L138 BoogieDeclarations]: Found implementation of procedure device_is_the_same [2022-11-25 16:55:22,915 INFO L130 BoogieDeclarations]: Found specification of procedure device_add [2022-11-25 16:55:22,915 INFO L138 BoogieDeclarations]: Found implementation of procedure device_add [2022-11-25 16:55:22,915 INFO L130 BoogieDeclarations]: Found specification of procedure debug_dma_map_page [2022-11-25 16:55:22,915 INFO L138 BoogieDeclarations]: Found implementation of procedure debug_dma_map_page [2022-11-25 16:55:22,915 INFO L130 BoogieDeclarations]: Found specification of procedure writel [2022-11-25 16:55:22,915 INFO L138 BoogieDeclarations]: Found implementation of procedure writel [2022-11-25 16:55:22,915 INFO L130 BoogieDeclarations]: Found specification of procedure writeb [2022-11-25 16:55:22,915 INFO L138 BoogieDeclarations]: Found implementation of procedure writeb [2022-11-25 16:55:22,916 INFO L130 BoogieDeclarations]: Found specification of procedure SA5_submit_command [2022-11-25 16:55:22,916 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5_submit_command [2022-11-25 16:55:22,916 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_shutdown [2022-11-25 16:55:22,916 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_shutdown [2022-11-25 16:55:22,916 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2022-11-25 16:55:22,916 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2022-11-25 16:55:22,916 INFO L130 BoogieDeclarations]: Found specification of procedure ctlr_is_hard_resettable [2022-11-25 16:55:22,916 INFO L138 BoogieDeclarations]: Found implementation of procedure ctlr_is_hard_resettable [2022-11-25 16:55:22,917 INFO L130 BoogieDeclarations]: Found specification of procedure IS_ERR [2022-11-25 16:55:22,917 INFO L138 BoogieDeclarations]: Found implementation of procedure IS_ERR [2022-11-25 16:55:22,917 INFO L130 BoogieDeclarations]: Found specification of procedure __fswab32 [2022-11-25 16:55:22,917 INFO L138 BoogieDeclarations]: Found implementation of procedure __fswab32 [2022-11-25 16:55:22,917 INFO L130 BoogieDeclarations]: Found specification of procedure free_hba [2022-11-25 16:55:22,917 INFO L138 BoogieDeclarations]: Found implementation of procedure free_hba [2022-11-25 16:55:22,917 INFO L130 BoogieDeclarations]: Found specification of procedure write_driver_ver_to_cfgtable [2022-11-25 16:55:22,917 INFO L138 BoogieDeclarations]: Found implementation of procedure write_driver_ver_to_cfgtable [2022-11-25 16:55:22,918 INFO L130 BoogieDeclarations]: Found specification of procedure msleep [2022-11-25 16:55:22,918 INFO L138 BoogieDeclarations]: Found implementation of procedure msleep [2022-11-25 16:55:22,918 INFO L130 BoogieDeclarations]: Found specification of procedure complete_all [2022-11-25 16:55:22,918 INFO L138 BoogieDeclarations]: Found implementation of procedure complete_all [2022-11-25 16:55:22,918 INFO L130 BoogieDeclarations]: Found specification of procedure SA5_performant_completed [2022-11-25 16:55:22,918 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5_performant_completed [2022-11-25 16:55:22,918 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$ [2022-11-25 16:55:22,918 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$ [2022-11-25 16:55:22,919 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_stop [2022-11-25 16:55:22,919 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_stop [2022-11-25 16:55:22,919 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~$Pointer$~X~int~X~int~X~int~X~$Pointer$~TO~~dma_addr_t~0 [2022-11-25 16:55:22,919 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~$Pointer$~X~int~X~int~X~int~X~$Pointer$~TO~~dma_addr_t~0 [2022-11-25 16:55:22,919 INFO L130 BoogieDeclarations]: Found specification of procedure request_irq [2022-11-25 16:55:22,919 INFO L138 BoogieDeclarations]: Found implementation of procedure request_irq [2022-11-25 16:55:22,919 INFO L130 BoogieDeclarations]: Found specification of procedure get_current [2022-11-25 16:55:22,919 INFO L138 BoogieDeclarations]: Found implementation of procedure get_current [2022-11-25 16:55:22,920 INFO L130 BoogieDeclarations]: Found specification of procedure init_driver_version [2022-11-25 16:55:22,920 INFO L138 BoogieDeclarations]: Found implementation of procedure init_driver_version [2022-11-25 16:55:22,920 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_wait_for_board_state [2022-11-25 16:55:22,920 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_wait_for_board_state [2022-11-25 16:55:22,920 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_destroy_hba_sysfs_entry [2022-11-25 16:55:22,920 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_destroy_hba_sysfs_entry [2022-11-25 16:55:22,920 INFO L130 BoogieDeclarations]: Found specification of procedure kmemcheck_mark_initialized [2022-11-25 16:55:22,920 INFO L138 BoogieDeclarations]: Found implementation of procedure kmemcheck_mark_initialized [2022-11-25 16:55:22,921 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_get_serial_no [2022-11-25 16:55:22,921 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_get_serial_no [2022-11-25 16:55:22,921 INFO L130 BoogieDeclarations]: Found specification of procedure del_gendisk [2022-11-25 16:55:22,921 INFO L138 BoogieDeclarations]: Found implementation of procedure del_gendisk [2022-11-25 16:55:22,921 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_eh_abort_handler [2022-11-25 16:55:22,921 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_eh_abort_handler [2022-11-25 16:55:22,921 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_unlock [2022-11-25 16:55:22,921 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_unlock [2022-11-25 16:55:22,922 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_lookup_board_id [2022-11-25 16:55:22,922 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_lookup_board_id [2022-11-25 16:55:22,922 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_free_gendisk [2022-11-25 16:55:22,922 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_free_gendisk [2022-11-25 16:55:22,922 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_error [2022-11-25 16:55:22,922 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_error [2022-11-25 16:55:22,922 INFO L130 BoogieDeclarations]: Found specification of procedure pci_map_single [2022-11-25 16:55:22,922 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_map_single [2022-11-25 16:55:22,923 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_initialize_scsi_host_template_16 [2022-11-25 16:55:22,923 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_initialize_scsi_host_template_16 [2022-11-25 16:55:22,923 INFO L130 BoogieDeclarations]: Found specification of procedure set_capacity [2022-11-25 16:55:22,923 INFO L138 BoogieDeclarations]: Found implementation of procedure set_capacity [2022-11-25 16:55:22,923 INFO L130 BoogieDeclarations]: Found specification of procedure blk_rq_sectors [2022-11-25 16:55:22,923 INFO L138 BoogieDeclarations]: Found implementation of procedure blk_rq_sectors [2022-11-25 16:55:22,923 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memset [2022-11-25 16:55:22,923 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memset [2022-11-25 16:55:22,924 INFO L130 BoogieDeclarations]: Found specification of procedure assume_abort_if_not [2022-11-25 16:55:22,924 INFO L138 BoogieDeclarations]: Found implementation of procedure assume_abort_if_not [2022-11-25 16:55:22,924 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_msix [2022-11-25 16:55:22,924 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_msix [2022-11-25 16:55:22,924 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_scsi_show_info [2022-11-25 16:55:22,924 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_scsi_show_info [2022-11-25 16:55:22,924 INFO L130 BoogieDeclarations]: Found specification of procedure pci_alloc_consistent [2022-11-25 16:55:22,924 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_alloc_consistent [2022-11-25 16:55:22,925 INFO L130 BoogieDeclarations]: Found specification of procedure debug_dma_unmap_page [2022-11-25 16:55:22,925 INFO L138 BoogieDeclarations]: Found implementation of procedure debug_dma_unmap_page [2022-11-25 16:55:22,925 INFO L130 BoogieDeclarations]: Found specification of procedure ERR_PTR [2022-11-25 16:55:22,925 INFO L138 BoogieDeclarations]: Found implementation of procedure ERR_PTR [2022-11-25 16:55:22,925 INFO L130 BoogieDeclarations]: Found specification of procedure blk_rq_pos [2022-11-25 16:55:22,925 INFO L138 BoogieDeclarations]: Found implementation of procedure blk_rq_pos [2022-11-25 16:55:22,925 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_get_device_descr [2022-11-25 16:55:22,925 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_get_device_descr [2022-11-25 16:55:22,926 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2022-11-25 16:55:22,926 INFO L130 BoogieDeclarations]: Found specification of procedure INIT_LIST_HEAD [2022-11-25 16:55:22,926 INFO L138 BoogieDeclarations]: Found implementation of procedure INIT_LIST_HEAD [2022-11-25 16:55:22,926 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_seq_stop [2022-11-25 16:55:22,926 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_seq_stop [2022-11-25 16:55:22,926 INFO L130 BoogieDeclarations]: Found specification of procedure copy_in_user [2022-11-25 16:55:22,942 INFO L138 BoogieDeclarations]: Found implementation of procedure copy_in_user [2022-11-25 16:55:22,943 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2022-11-25 16:55:22,943 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_revalidate [2022-11-25 16:55:22,943 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_revalidate [2022-11-25 16:55:22,943 INFO L130 BoogieDeclarations]: Found specification of procedure cmd_special_free [2022-11-25 16:55:22,943 INFO L138 BoogieDeclarations]: Found implementation of procedure cmd_special_free [2022-11-25 16:55:22,944 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_read_capacity_16 [2022-11-25 16:55:22,944 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_read_capacity_16 [2022-11-25 16:55:22,944 INFO L130 BoogieDeclarations]: Found specification of procedure process_sendcmd_error [2022-11-25 16:55:22,944 INFO L138 BoogieDeclarations]: Found implementation of procedure process_sendcmd_error [2022-11-25 16:55:22,944 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_spin_unlock [2022-11-25 16:55:22,944 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_spin_unlock [2022-11-25 16:55:22,945 INFO L130 BoogieDeclarations]: Found specification of procedure get_drv [2022-11-25 16:55:22,945 INFO L138 BoogieDeclarations]: Found implementation of procedure get_drv [2022-11-25 16:55:22,945 INFO L130 BoogieDeclarations]: Found specification of procedure log_unit_to_scsi3addr [2022-11-25 16:55:22,958 INFO L138 BoogieDeclarations]: Found implementation of procedure log_unit_to_scsi3addr [2022-11-25 16:55:22,959 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2022-11-25 16:55:22,959 INFO L130 BoogieDeclarations]: Found specification of procedure SA5B_intr_mask [2022-11-25 16:55:22,959 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5B_intr_mask [2022-11-25 16:55:22,959 INFO L130 BoogieDeclarations]: Found specification of procedure put_device [2022-11-25 16:55:22,959 INFO L138 BoogieDeclarations]: Found implementation of procedure put_device [2022-11-25 16:55:22,960 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_lock_nested [2022-11-25 16:55:22,960 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_lock_nested [2022-11-25 16:55:22,960 INFO L130 BoogieDeclarations]: Found specification of procedure sendcmd_withirq_core [2022-11-25 16:55:22,960 INFO L138 BoogieDeclarations]: Found implementation of procedure sendcmd_withirq_core [2022-11-25 16:55:22,960 INFO L130 BoogieDeclarations]: Found specification of procedure pci_find_capability [2022-11-25 16:55:22,960 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_find_capability [2022-11-25 16:55:22,961 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_update_non_disk_devices [2022-11-25 16:55:22,961 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_update_non_disk_devices [2022-11-25 16:55:22,961 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_pci_find_memory_BAR [2022-11-25 16:55:22,961 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_pci_find_memory_BAR [2022-11-25 16:55:22,961 INFO L130 BoogieDeclarations]: Found specification of procedure SA5_intr_mask [2022-11-25 16:55:22,962 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5_intr_mask [2022-11-25 16:55:22,962 INFO L130 BoogieDeclarations]: Found specification of procedure ctlr_is_resettable [2022-11-25 16:55:22,962 INFO L138 BoogieDeclarations]: Found implementation of procedure ctlr_is_resettable [2022-11-25 16:55:22,962 INFO L130 BoogieDeclarations]: Found specification of procedure list_empty [2022-11-25 16:55:22,962 INFO L138 BoogieDeclarations]: Found implementation of procedure list_empty [2022-11-25 16:55:22,962 INFO L130 BoogieDeclarations]: Found specification of procedure set_performant_mode [2022-11-25 16:55:22,963 INFO L138 BoogieDeclarations]: Found implementation of procedure set_performant_mode [2022-11-25 16:55:22,963 INFO L130 BoogieDeclarations]: Found specification of procedure bus_unregister [2022-11-25 16:55:22,963 INFO L138 BoogieDeclarations]: Found implementation of procedure bus_unregister [2022-11-25 16:55:22,963 INFO L130 BoogieDeclarations]: Found specification of procedure controller_reset_failed [2022-11-25 16:55:22,963 INFO L138 BoogieDeclarations]: Found implementation of procedure controller_reset_failed [2022-11-25 16:55:22,963 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_eh_device_reset_handler [2022-11-25 16:55:22,964 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_eh_device_reset_handler [2022-11-25 16:55:22,964 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_wait_for_mode_change_ack [2022-11-25 16:55:22,964 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_wait_for_mode_change_ack [2022-11-25 16:55:22,964 INFO L130 BoogieDeclarations]: Found specification of procedure compat_alloc_user_space [2022-11-25 16:55:22,964 INFO L138 BoogieDeclarations]: Found implementation of procedure compat_alloc_user_space [2022-11-25 16:55:22,964 INFO L130 BoogieDeclarations]: Found specification of procedure SA5_intr_pending [2022-11-25 16:55:22,965 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5_intr_pending [2022-11-25 16:55:22,965 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_geometry_inquiry [2022-11-25 16:55:22,965 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_geometry_inquiry [2022-11-25 16:55:22,965 INFO L130 BoogieDeclarations]: Found specification of procedure scan_thread [2022-11-25 16:55:22,965 INFO L138 BoogieDeclarations]: Found implementation of procedure scan_thread [2022-11-25 16:55:22,965 INFO L130 BoogieDeclarations]: Found specification of procedure scsi_cmd_free [2022-11-25 16:55:22,966 INFO L138 BoogieDeclarations]: Found implementation of procedure scsi_cmd_free [2022-11-25 16:55:22,966 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_scsi_do_inquiry [2022-11-25 16:55:22,966 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_scsi_do_inquiry [2022-11-25 16:55:22,966 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2022-11-25 16:55:22,966 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2022-11-25 16:55:22,966 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_create_ld_sysfs_entry [2022-11-25 16:55:22,967 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_create_ld_sysfs_entry [2022-11-25 16:55:22,967 INFO L130 BoogieDeclarations]: Found specification of procedure init_completion [2022-11-25 16:55:22,967 INFO L138 BoogieDeclarations]: Found implementation of procedure init_completion [2022-11-25 16:55:22,967 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2022-11-25 16:55:22,967 INFO L130 BoogieDeclarations]: Found specification of procedure find_first_zero_bit [2022-11-25 16:55:22,967 INFO L138 BoogieDeclarations]: Found implementation of procedure find_first_zero_bit [2022-11-25 16:55:22,968 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_free_sg_chain_blocks [2022-11-25 16:55:22,968 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_free_sg_chain_blocks [2022-11-25 16:55:22,968 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2022-11-25 16:55:22,968 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2022-11-25 16:55:22,968 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_proc_write [2022-11-25 16:55:22,968 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_proc_write [2022-11-25 16:55:22,969 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_memset [2022-11-25 16:55:22,969 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_memset [2022-11-25 16:55:22,969 INFO L130 BoogieDeclarations]: Found specification of procedure copy_from_user [2022-11-25 16:55:22,969 INFO L138 BoogieDeclarations]: Found implementation of procedure copy_from_user [2022-11-25 16:55:22,969 INFO L130 BoogieDeclarations]: Found specification of procedure scsi_cmd_alloc [2022-11-25 16:55:22,969 INFO L138 BoogieDeclarations]: Found implementation of procedure scsi_cmd_alloc [2022-11-25 16:55:22,970 INFO L130 BoogieDeclarations]: Found specification of procedure pci_enable_device [2022-11-25 16:55:22,970 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_enable_device [2022-11-25 16:55:22,970 INFO L130 BoogieDeclarations]: Found specification of procedure device_initialize [2022-11-25 16:55:22,970 INFO L138 BoogieDeclarations]: Found implementation of procedure device_initialize [2022-11-25 16:55:22,970 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_allocate_sg_chain_blocks [2022-11-25 16:55:22,970 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_allocate_sg_chain_blocks [2022-11-25 16:55:22,971 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_scsi_add_entry [2022-11-25 16:55:22,971 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_scsi_add_entry [2022-11-25 16:55:22,971 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~X~$Pointer$~TO~VOID [2022-11-25 16:55:22,971 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~~dma_addr_t~0~X~int~X~int~X~$Pointer$~TO~VOID [2022-11-25 16:55:22,971 INFO L130 BoogieDeclarations]: Found specification of procedure rebuild_lun_table [2022-11-25 16:55:22,971 INFO L138 BoogieDeclarations]: Found implementation of procedure rebuild_lun_table [2022-11-25 16:55:22,972 INFO L130 BoogieDeclarations]: Found specification of procedure cmd_special_alloc [2022-11-25 16:55:22,972 INFO L138 BoogieDeclarations]: Found implementation of procedure cmd_special_alloc [2022-11-25 16:55:22,972 INFO L130 BoogieDeclarations]: Found specification of procedure put_disk [2022-11-25 16:55:22,972 INFO L138 BoogieDeclarations]: Found implementation of procedure put_disk [2022-11-25 16:55:22,972 INFO L130 BoogieDeclarations]: Found specification of procedure cciss_find_cfg_addrs [2022-11-25 16:55:22,972 INFO L138 BoogieDeclarations]: Found implementation of procedure cciss_find_cfg_addrs [2022-11-25 16:55:22,973 INFO L130 BoogieDeclarations]: Found specification of procedure pci_disable_msi [2022-11-25 16:55:22,973 INFO L138 BoogieDeclarations]: Found implementation of procedure pci_disable_msi [2022-11-25 16:55:22,973 INFO L130 BoogieDeclarations]: Found specification of procedure readl [2022-11-25 16:55:22,973 INFO L138 BoogieDeclarations]: Found implementation of procedure readl [2022-11-25 16:55:22,973 INFO L130 BoogieDeclarations]: Found specification of procedure SA5_fifo_full [2022-11-25 16:55:22,973 INFO L138 BoogieDeclarations]: Found implementation of procedure SA5_fifo_full [2022-11-25 16:55:22,974 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2022-11-25 16:55:22,974 INFO L130 BoogieDeclarations]: Found specification of procedure check_for_unit_attention [2022-11-25 16:55:22,974 INFO L138 BoogieDeclarations]: Found implementation of procedure check_for_unit_attention [2022-11-25 16:55:22,974 INFO L130 BoogieDeclarations]: Found specification of procedure strncpy [2022-11-25 16:55:22,974 INFO L130 BoogieDeclarations]: Found specification of procedure readb [2022-11-25 16:55:22,975 INFO L138 BoogieDeclarations]: Found implementation of procedure readb [2022-11-25 16:55:22,975 INFO L130 BoogieDeclarations]: Found specification of procedure addQ [2022-11-25 16:55:22,975 INFO L138 BoogieDeclarations]: Found implementation of procedure addQ [2022-11-25 16:55:25,275 INFO L235 CfgBuilder]: Building ICFG [2022-11-25 16:55:25,280 INFO L261 CfgBuilder]: Building CFG for each procedure with an implementation [2022-11-25 16:55:27,056 INFO L769 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_stopFINAL: assume true;