L4Re Operating System Framework
Interface and Usage Documentation
|
Common L4 constants, amd64 version. More...
Go to the source code of this file.
Macros | |
#define | L4_PAGESHIFT 12 |
Size of a page, log2-based. | |
#define | L4_SUPERPAGESHIFT 21 |
Size of a large page, log2-based. | |