diff options
Diffstat (limited to 'support/xunistd.h')
| -rw-r--r-- | support/xunistd.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/support/xunistd.h b/support/xunistd.h index 960a62d412..2429424443 100644 --- a/support/xunistd.h +++ b/support/xunistd.h @@ -25,6 +25,7 @@ #include <sys/cdefs.h> #include <sys/types.h> #include <sys/stat.h> +#include <sys/mman.h> #include <unistd.h> __BEGIN_DECLS @@ -77,6 +78,13 @@ void xclose (int); /* Write the buffer. Retry on short writes. */ void xwrite (int, const void *, size_t); +/* On CHERI targets ensure the mmap returned capability has RW permissions. */ +#ifdef PROT_MAX +# define PROT_MAX_RW PROT_MAX (PROT_READ | PROT_WRITE) +#else +# define PROT_MAX_RW 0 +#endif + /* Invoke mmap with a zero file offset. */ void *xmmap (void *addr, size_t length, int prot, int flags, int fd); void xmprotect (void *addr, size_t length, int prot); |