Added typed_addr type.

[virt-mem.git] / lib / virt_mem_mmap.ml

diff --git a/lib/virt_mem_mmap.ml b/lib/virt_mem_mmap.ml
index c323c1a..e5f0101 100644 (file)
--- a/lib/virt_mem_mmap.ml
+++ b/lib/virt_mem_mmap.ml
@@ -618,3 +618,9 @@ 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"