Add support for MADV_GUARD_{INSTALL,REMOVE}.

Fixes #3997

Author: emilio

src/kernel_supplement.h

@@ -281,6 +281,12 @@ struct rr_input_mask {
 #ifndef MADV_COLLAPSE
 #define MADV_COLLAPSE 25
 #endif
+#ifndef MADV_GUARD_INSTALL
+#  define MADV_GUARD_INSTALL 102
+#endif
+#ifndef MADV_GUARD_REMOVE
+#  define MADV_GUARD_REMOVE 103
+#endif
 
 #ifndef BUS_MCEERR_AR
 #define BUS_MCEERR_AR 4

src/record_syscall.cc

@@ -5236,6 +5236,8 @@ static Switchable rec_prepare_syscall_arch(RecordTask* t,
         case MADV_POPULATE_WRITE:
         case MADV_DONTNEED_LOCKED:
         case MADV_COLLAPSE:
+        case MADV_GUARD_INSTALL:
+        case MADV_GUARD_REMOVE:
           break;
         case MADV_FREE: {
           // MADV_FREE introduces nondeterminism --- the kernel zeroes the

src/test/madvise_misc.c

@@ -29,6 +29,8 @@ int main(void) {
   DO_MADVISE(MADV_POPULATE_READ);
   DO_MADVISE(MADV_POPULATE_WRITE);
   DO_MADVISE(MADV_COLLAPSE);
+  DO_MADVISE(MADV_GUARD_INSTALL);
+  DO_MADVISE(MADV_GUARD_REMOVE);
 
   atomic_puts("EXIT-SUCCESS");
 

src/test/util.h

@@ -497,6 +497,12 @@ struct open_how {
 #ifndef MADV_COLLAPSE
 #define MADV_COLLAPSE 25
 #endif
+#ifndef MADV_GUARD_INSTALL
+#  define MADV_GUARD_INSTALL 102
+#endif
+#ifndef MADV_GUARD_REMOVE
+#  define MADV_GUARD_REMOVE 103
+#endif
 
 #ifndef F_OFD_GETLK
 #define F_OFD_GETLK 36