X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fkernel_task_struct.mli;h=101642f60001d17db27cf48fca9bc24e51bddb0b;hp=2247c6fef0ad63933baa3303e7657659c7751b39;hb=2e1de51e35bea53ebece1a6fd6d6970534f4cbe9;hpb=727fe72a983a94decbd6e99d8c7c85c34f0171da diff --git a/lib/kernel_task_struct.mli b/lib/kernel_task_struct.mli index 2247c6f..101642f 100644 --- a/lib/kernel_task_struct.mli +++ b/lib/kernel_task_struct.mli @@ -1,16 +1,37 @@ -exception ParseError of string * string * string;; type t = - { active_mm : [ | `mm_struct ] Virt_mem_mmap.typed_addr; comm : string; - mm : [ | `mm_struct ] Virt_mem_mmap.typed_addr; normal_prio : int64; - prio : int64; state : int64; static_prio : int64; - tasks'next : [ | `task_struct ] Virt_mem_mmap.typed_addr; - tasks'prev : [ | `task_struct ] Virt_mem_mmap.typed_addr + { task_struct_state : int64; task_struct_prio : int64; + task_struct_normal_prio : int64; task_struct_static_prio : int64; + task_struct_tasks'prev : Virt_mem_mmap.addr; + task_struct_tasks'next : Virt_mem_mmap.addr; + task_struct_mm : Virt_mem_mmap.addr; + task_struct_active_mm : Virt_mem_mmap.addr; task_struct_comm : string; + task_struct_pid : int64 };; +val struct_name : string;; type kernel_version = string;; -val known : kernel_version -> bool;; -val size : kernel_version -> int;; -val of_bits : kernel_version -> Bitstring.bitstring -> t;; -val get : +val task_struct_known : kernel_version -> bool;; +val task_struct_size : kernel_version -> int;; +val task_struct_of_bits : kernel_version -> Bitstring.bitstring -> t;; +val get_task_struct : kernel_version -> - ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> - [ | `task_struct ] Virt_mem_mmap.typed_addr -> t;; + ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> Virt_mem_mmap.addr -> t;; +val field_signature_of_task_struct_state : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_task_struct_prio : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_task_struct_normal_prio : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_task_struct_static_prio : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_task_struct_tasks'prev : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_task_struct_tasks'next : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_task_struct_mm : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_task_struct_active_mm : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_task_struct_comm : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_task_struct_pid : + kernel_version -> Virt_mem_types.fieldsig;;