git.annexia.org
/
virt-mem.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add support for finding/parsing kallsyms.
[virt-mem.git]
/
lib
/
virt_mem_mmap.mli
diff --git
a/lib/virt_mem_mmap.mli
b/lib/virt_mem_mmap.mli
index
06de86a
..
68c7b2f
100644
(file)
--- 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. *)
(** 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. *)
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 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]. *)