X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem_tasks.mli;fp=lib%2Fvirt_mem_tasks.mli;h=13764bf77a06edc5f557c78da447e1d5efc7e5e6;hb=f6bb3caa719a564615e7fd2f21a3ad5bca010a88;hp=f6d6f9480f071234f2dd74f1632697043f6744aa;hpb=a5fb949b73a604972a9b339fd6ec2786ea59f23c;p=virt-mem.git 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. *)