PTE_ADDRESS        57 bsp/hal/arm/include/mmu.h #define PTE_ADDRESS	0xfffffc00
PTE_ADDRESS        62 bsp/hal/x86/include/mmu.h #define PTE_ADDRESS	0xfffff000