X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fvirt_mem_mmap.mli;fp=lib%2Fvirt_mem_mmap.mli;h=68c7b2f7529da4bb40f52d7810f3001a7190bfd8;hp=06de86aec183fdb2199493b51a2d0eaea16cfcc5;hb=46037cd89c23b0f94dc691006ee1d9cd0fec24f0;hpb=91d5f5dedf46f607388e0a1cd77f540e24b0b0ba

diff --git a/lib/virt_mem_mmap.mli b/lib/virt_mem_mmap.mli
index 06de86a..68c7b2f 100644
--- a/lib/virt_mem_mmap.mli
+++ b/lib/virt_mem_mmap.mli
@@ -105,6 +105,9 @@ val is_C_identifier : ('a, 'b) t -> addr -> bool
 (** Return true or false if the address contains a NUL-terminated
     C identifier. *)
 
+val is_mapped : ('a, 'b) t -> addr -> bool
+(** Return true if the single address [addr] is mapped. *)
+
 val follow_pointer : ([`Wordsize], [`Endian]) t -> addr -> addr
 (** Follow (dereference) the pointer at [addr] and return
     the address pointed to. *)
@@ -114,3 +117,7 @@ val succ_long : ([`Wordsize], 'b) t -> addr -> addr
 
 val pred_long : ([`Wordsize], 'b) t -> addr -> addr
 (** Subtract wordsize bytes from [addr] and return it. *)
+
+val align : ([`Wordsize], 'b) t -> addr -> addr
+(** Align the [addr] to the next wordsize boundary.  If it already
+    aligned, this just returns [addr]. *)