X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fvirt_mem_tasks.mli;h=13764bf77a06edc5f557c78da447e1d5efc7e5e6;hp=f6d6f9480f071234f2dd74f1632697043f6744aa;hb=f6bb3caa719a564615e7fd2f21a3ad5bca010a88;hpb=cf4669f31197abcfb14dee874a4b738c9c2e6483 diff --git a/lib/virt_mem_tasks.mli b/lib/virt_mem_tasks.mli index f6d6f94..13764bf 100644 --- a/lib/virt_mem_tasks.mli +++ b/lib/virt_mem_tasks.mli @@ -22,5 +22,5 @@ val find_tasks : bool -> Virt_mem_types.image -> Virt_mem_types.ksymmap -> string -> - Virt_mem_types.image * Virt_mem_mmap.addr option + Virt_mem_types.image * Virt_mem_types.task list option (** Find and load the process table. *)