X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fkernel_net_device.mli;h=c4690206a85ae19061c17c5249cd377722be3b26;hb=5f7b88db3e8fd5aaf4a5f17d2cc6d219a8dfea84;hp=646b8356c617d9970cf1d8f8553b821a8d4881ba;hpb=727fe72a983a94decbd6e99d8c7c85c34f0171da;p=virt-mem.git diff --git a/lib/kernel_net_device.mli b/lib/kernel_net_device.mli index 646b835..c469020 100644 --- a/lib/kernel_net_device.mli +++ b/lib/kernel_net_device.mli @@ -1,10 +1,24 @@ -exception ParseError of string * string * string;; -type t = { dev_addr : string; name : string };; +type t = + { net_device_dev_list'prev : Virt_mem_mmap.addr option; + net_device_dev_list'next : Virt_mem_mmap.addr option; + net_device_next : Virt_mem_mmap.addr option; net_device_name : string; + net_device_dev_addr : string + };; +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 net_device_known : kernel_version -> bool;; +val net_device_size : kernel_version -> int;; +val net_device_of_bits : kernel_version -> Bitstring.bitstring -> t;; +val get_net_device : kernel_version -> - ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> - [ | `net_device ] Virt_mem_mmap.typed_addr -> t;; + ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> Virt_mem_mmap.addr -> t;; +val field_signature_of_net_device_dev_list'prev : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_net_device_dev_list'next : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_net_device_next : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_net_device_name : + kernel_version -> Virt_mem_types.fieldsig;; +val field_signature_of_net_device_dev_addr : + kernel_version -> Virt_mem_types.fieldsig;;