X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fkernel_task_struct.mli;h=68c9d84c8f4f95095529101d19d01050bb6e6327;hb=0f26e3e6372dbd372e60fd6734898c2213d5a423;hp=8cbdae4a0ea80758024617a422269d4731278ae2;hpb=6029405541d12dedfce7998deefa0e6b0d04f3d5;p=virt-mem.git

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;;