PTE_PRESENT        50 bsp/hal/arm/include/mmu.h #define PTE_PRESENT	0x00000002
PTE_PRESENT        54 bsp/hal/x86/include/mmu.h #define PTE_PRESENT	0x00000001