From 94b38efc1d80ae2854d29af44c6d5918a2cb40cd Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Thu, 5 Jan 2017 14:16:07 +0100 Subject: 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. --- sys/README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'sys/README.md') 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 ``` -- cgit mrf-deployment