X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fkernel_in_ifaddr.mli;fp=lib%2Fkernel_in_ifaddr.mli;h=0000000000000000000000000000000000000000;hp=7387359bf7d3eeb6a37716073a9cb71c901eeb62;hb=9a4e42524fac9afd50fca18f2124f6df91716d4c;hpb=93676d33e7b96b18baab8fdc82ad4ef76d720620

diff --git a/lib/kernel_in_ifaddr.mli b/lib/kernel_in_ifaddr.mli
deleted file mode 100644
index 7387359..0000000
--- a/lib/kernel_in_ifaddr.mli
+++ /dev/null
@@ -1,23 +0,0 @@
-type t =
-  { in_ifaddr_ifa_next : Virt_mem_mmap.addr; in_ifaddr_ifa_local : int64;
-    in_ifaddr_ifa_address : int64; in_ifaddr_ifa_mask : int64;
-    in_ifaddr_ifa_broadcast : int64
-  };;
-val struct_name : string;;
-type kernel_version = string;;
-val in_ifaddr_known : kernel_version -> bool;;
-val in_ifaddr_size : kernel_version -> int;;
-val in_ifaddr_of_bits : kernel_version -> Bitstring.bitstring -> t;;
-val get_in_ifaddr :
-  kernel_version ->
-    ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> Virt_mem_mmap.addr -> t;;
-val field_signature_of_in_ifaddr_ifa_next :
-  kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_in_ifaddr_ifa_local :
-  kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_in_ifaddr_ifa_address :
-  kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_in_ifaddr_ifa_mask :
-  kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_in_ifaddr_ifa_broadcast :
-  kernel_version -> Virt_mem_types.fieldsig;;