PDE_PRESENT        44 bsp/hal/arm/include/mmu.h #define PDE_PRESENT	0x00000003
PDE_PRESENT        41 bsp/hal/x86/include/mmu.h #define PDE_PRESENT	0x00000001