X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fvirt_mem_mmap.mli;h=0294efd94865999ad6ec93cb16612c86d201c96e;hp=78f9b8cea9a4c41da0dc10914c08279824384b2a;hb=30f9bc6cfcd5915fd64b00ec11e1329423d5a801;hpb=07a7cdbdb7c9d2c066ae9fc81bfbf10c942f9ead 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