X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=lib%2Fvirt_mem.mli;h=c807365a2c1a31292ef7fd96e61313c808f406a4;hb=b8aef502747b039b20877f99f3d8986b6a9329d2;hp=eae488e4ebe350afbf91b38f7e6a9cbe6749625e;hpb=89d41f7614612cf991d6005e7c1e20cd502a5404;p=virt-mem.git diff --git a/lib/virt_mem.mli b/lib/virt_mem.mli index eae488e..c807365 100644 --- a/lib/virt_mem.mli +++ b/lib/virt_mem.mli @@ -23,7 +23,8 @@ val register : ?extra_args:(Arg.key * Arg.spec * Arg.doc) list -> ?argcheck:(bool -> unit) -> ?beforeksyms:(bool -> Virt_mem_types.image0 list -> unit) -> - ?run:(bool -> Virt_mem_types.image1 list -> unit) -> + ?beforeutsname:(bool -> Virt_mem_types.image1 -> unit) -> + ?run:(bool -> Virt_mem_types.image2 -> unit) -> string -> string -> Arg.usage_msg -> unit (** Tools register themselves with this call. @@ -39,7 +40,9 @@ val register : on [extra_args]), - [?beforeksyms] called after images are loaded and before kernel symbols are analyzed, - - [?run] called after kernel symbols have been analyzed + - [?beforeutsname] called after kernel symbols are analyzed + and before the kernel version is detected + - [?run] called after everything (almost all tools supply this callback function). Pass [~external_cmd:false] if this tool doesn't have an