X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem_types.ml;h=2167314a95729c54831ff6582ec98e986b03b625;hb=5fb8ec9a1dd22b8ea3d16f2f9847ed7234f8e560;hp=f8d3f0f1c4e1971c5283213e887fef3948ca7495;hpb=14c916e5692f6d1986a10b88d03b41349dcb729a;p=virt-mem.git diff --git a/lib/virt_mem_types.ml b/lib/virt_mem_types.ml index f8d3f0f..2167314 100644 --- a/lib/virt_mem_types.ml +++ b/lib/virt_mem_types.ml @@ -41,19 +41,37 @@ type image = { } type utsname = { - kernel_name : string; - nodename : string; - kernel_release : string; - kernel_version : string; - machine : string; - domainname : string; + uts_kernel_name : string; + uts_nodename : string; + uts_kernel_release : string; + uts_kernel_version : string; + uts_machine : string; + uts_domainname : string; +} + +type task = { + task_state : int64; + task_prio : int64; + task_normal_prio : int64; + task_static_prio : int64; + task_comm : string; + task_pid : int64; +} + +type net_device = { + netdev_name : string; + netdev_flags : int64; + netdev_operstate : int64; + netdev_mtu : int64; + netdev_perm_addr : string; + netdev_addr_len : int64; } type kdata = { ksyms : ksymmap option; utsname : utsname option; - tasks : Virt_mem_mmap.addr option; - net_devices : Virt_mem_mmap.addr option; + tasks : task list option; + net_devices : net_device list option; } exception ParseError of string * string * string