kernel-5.1.patch

   1 --- sysdig-0.24.2/driver/ppm_flag_helpers.h~    2018-12-21 21:38:44.000000000 +0100
   2 +++ sysdig-0.24.2/driver/ppm_flag_helpers.h     2019-05-07 19:25:30.678391028 +0200
   3 @@ -13,6 +13,9 @@
   4  #include <asm/mman.h>
   5  #include <linux/futex.h>
   6  #include <linux/ptrace.h>
   7 +#if LINUX_VERSION_CODE >= KERNEL_VERSION(5, 1, 0)
   8 +#include <linux/mman.h>
   9 +#endif
  10
  11  #include "ppm.h"
  12