1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
/*
* SYSCALL_DEFINE3(msync, unsigned long, start, size_t, len, int, flags)
*/
#include "maps.h"
#include "random.h"
#include "sanitise.h"
#include "shm.h"
#define MS_ASYNC 1 /* Sync memory asynchronously. */
#define MS_SYNC 4 /* Synchronous memory sync. */
#define MS_INVALIDATE 2 /* Invalidate the caches. */
static void sanitise_msync(int childno)
{
(void) common_set_mmap_ptr_len(childno);
if (rand_bool())
shm->a3[childno] |= MS_INVALIDATE;
}
struct syscall syscall_msync = {
.name = "msync",
.num_args = 3,
.arg1name = "start",
.arg1type = ARG_MMAP,
.arg2name = "len",
.arg3name = "flags",
.arg3type = ARG_OP,
.arg3list = {
.num = 2,
.values = { MS_ASYNC, MS_SYNC },
},
.group = GROUP_VM,
.sanitise = sanitise_msync,
};
|
