PDE_ADDRESS        45 bsp/hal/arm/include/mmu.h #define PDE_ADDRESS	0xfffff000
PDE_ADDRESS        49 bsp/hal/x86/include/mmu.h #define PDE_ADDRESS	0xfffff000