Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel'
[palacios.git] / kitten / include / arch-x86_64 / mman.h
1 #ifndef __X8664_MMAN_H__
2 #define __X8664_MMAN_H__
3
4 #include <arch-generic/mman.h>
5
6 #define MAP_32BIT       0x40            /* only give out 32bit addresses */
7
8 #define MAP_GROWSDOWN   0x0100          /* stack-like segment */
9 #define MAP_DENYWRITE   0x0800          /* ETXTBSY */
10 #define MAP_EXECUTABLE  0x1000          /* mark it as an executable */
11 #define MAP_LOCKED      0x2000          /* pages are locked */
12 #define MAP_NORESERVE   0x4000          /* don't check for reservations */
13 #define MAP_POPULATE    0x8000          /* populate (prefault) pagetables */
14 #define MAP_NONBLOCK    0x10000         /* do not block on IO */
15
16 #define MCL_CURRENT     1               /* lock all current mappings */
17 #define MCL_FUTURE      2               /* lock all future mappings */
18
19 #endif