diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-01-05 14:16:07 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-01-09 20:20:48 +0100 |
| commit | 94b38efc1d80ae2854d29af44c6d5918a2cb40cd (patch) | |
| tree | 401943d29621eeb485b016e74e3062178091e12a /sys/README.md | |
| parent | b5aa8b45061e01c79cf78fe3a634abf5dc6d3f46 (diff) | |
sys: allow to specify number of pages for vma type
Allows to write vma[4] or vma[5-10] to specify desired number of pages.
Diffstat (limited to 'sys/README.md')
| -rw-r--r-- | sys/README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/README.md b/sys/README.md index 259a1c1f5..6e2ecb75c 100644 --- a/sys/README.md +++ b/sys/README.md @@ -54,7 +54,8 @@ rest of the type-options are type-specific: argname of the object "bytesize": similar to "len", but always denotes the size in bytes, type-options: argname of the object - "vma": a pointer to a set of pages (used as input for mmap/munmap/mremap/madvise) + "vma": a pointer to a set of pages (used as input for mmap/munmap/mremap/madvise), type-options: + optional number of pages (e.g. vma[7]), or a range of pages (e.g. vma[2-4]) "proc": per process int (see description below), type-options: underlying type, value range start, how many values per process ``` |