X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fvirt_mem_mmap.ml;h=c323c1a0096c3e7e97252c8a704a1248f77a2066;hp=e5f0101fd67c4c9a914311c69c4e8f58c895ecc3;hb=2e1de51e35bea53ebece1a6fd6d6970534f4cbe9;hpb=07a7cdbdb7c9d2c066ae9fc81bfbf10c942f9ead

diff --git a/lib/virt_mem_mmap.ml b/lib/virt_mem_mmap.ml
index e5f0101..c323c1a 100644
--- a/lib/virt_mem_mmap.ml
+++ b/lib/virt_mem_mmap.ml
@@ -618,9 +618,3 @@ let align t addr =
   let ws = get_wordsize t in
   let mask = Int64.of_int (bytes_of_wordsize ws - 1) in
   (addr +^ mask) &^ (Int64.lognot mask)
-
-(* Typed addresses. *)
-type 'a typed_addr
-
-external unsafe_addr_of_typed_addr : 'a typed_addr -> addr = "%identity"
-external unsafe_typed_addr_of_addr : addr -> 'a typed_addr = "%identity"