(** The list of "common" kernel symbols which we expect to be present
in almost any Linux kernel. *)
-val find_kernel_symbols : bool -> Virt_mem_types.image0 -> Virt_mem_types.image1
+val find_kernel_symbols :
+ bool -> Virt_mem_types.kimage -> Virt_mem_types.kimage
(** Find ordinary kernel symbols in a kernel image. *)