#ifndef _SYS_MMAN_H_OPENJDK_WRAPPER
#define _SYS_MMAN_H_OPENJDK_WRAPPER

extern int mincore (void *__start, size_t __len, unsigned char *__vec);

#endif //include sentry