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