From: Richard W.M. Jones <"Richard W.M. Jones "> Date: Wed, 6 Aug 2008 19:04:47 +0000 (+0100) Subject: Removed typed addresses -- too hard to use in that implementation. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=17f3a42d8c94587648e1f41eb4ab7e5830955269;p=virt-mem.git Removed typed addresses -- too hard to use in that implementation. --- 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" diff --git a/lib/virt_mem_mmap.mli b/lib/virt_mem_mmap.mli index 78f9b8c..0294efd 100644 --- a/lib/virt_mem_mmap.mli +++ b/lib/virt_mem_mmap.mli @@ -99,13 +99,6 @@ type ('ws,'e,'hm) t type addr = int64 (** Virtual memory addresses (even on 32 bit machines). *) -type 'a typed_addr -(** Virtual memory addresses with an implicit type, one which we know - or believe is pointing at a struct of some known type. *) - -external unsafe_addr_of_typed_addr : 'a typed_addr -> addr = "%identity" -external unsafe_typed_addr_of_addr : addr -> 'a typed_addr = "%identity" - (** {2 Create a memory map, add mappings} *) val create : unit -> ([`NoWordsize], [`NoEndian], [`NoMappings]) t