diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c index ea21db80..25b10cec 100644 --- a/executer/user/mcexec.c +++ b/executer/user/mcexec.c @@ -3122,6 +3122,7 @@ create_tracer(unsigned long user_start, unsigned long user_end) case __NR_munmap: case __NR_mprotect: case __NR_mremap: + case __NR_msync: break; case __NR_exit_group: exited++;