ARM_MMU_L1_FLAG_PXN
PutPageTableInPageDir(entry, physicalTable, ARM_MMU_L1_FLAG_PXN);
(virtualAddress < KERNEL_BASE) ? ARM_MMU_L1_FLAG_PXN : 0);
(address < KERNEL_BASE) ? ARM_MMU_L1_FLAG_PXN : 0);
(va < KERNEL_BASE) ? ARM_MMU_L1_FLAG_PXN : 0);