#include <stdarg.h>
#include <pthread.h>
+#include <sys/user.h>
#include <vppinfra/types.h>
#define SVM_VERSION ((1<<16) | 1) /* set to declare region ready. */
*/
#if __WORDSIZE == 64
#ifdef CLIB_SANITIZE_ADDR
-#define HIGH_SEGMENT_BASEVA 0x2000000000
+#define HIGH_SEGMENT_BASEVA 0x300000000000 /* DO NOT CHANGE THIS: YOU'LL BREAK ASAN */
#else /* CLIB_SANITIZE_ADDR */
#define HIGH_SEGMENT_BASEVA (128ULL << 30) /* 128GB */
#endif /* CLIB_SANITIZE_ADDR */