X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fkernel_task_struct.mli;h=68c9d84c8f4f95095529101d19d01050bb6e6327;hp=8cbdae4a0ea80758024617a422269d4731278ae2;hb=795abd3201eb6eae29ba8abd60db928f5889fdbe;hpb=45b7766e66fb59ece5f07305553dc54a26b32d9d diff --git a/lib/kernel_task_struct.mli b/lib/kernel_task_struct.mli index 8cbdae4..68c9d84 100644 --- a/lib/kernel_task_struct.mli +++ b/lib/kernel_task_struct.mli @@ -7,6 +7,7 @@ type t = task_struct_tasks'next : Virt_mem_mmap.addr; task_struct_tasks'prev : Virt_mem_mmap.addr };; +val struct_name : string;; type kernel_version = string;; val task_struct_known : kernel_version -> bool;; val task_struct_size : kernel_version -> int;;