1 #pragma once
2 
3 #include <l4/sys/consts.h>
4 
5 #define PAGE_SHIFT L4_PAGESHIFT
6 #define PAGE_SIZE  L4_PAGESIZE
7 #define PAGE_MASK  (~(PAGE_SIZE-1))
8 
9