PTE_SYSTEM        138 bsp/hal/arm/arch/mmu.c 				      PTE_SYSTEM);
PTE_SYSTEM        141 bsp/hal/arm/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_SYSTEM);
PTE_SYSTEM        284 bsp/hal/arm/arch/mmu.c 	pte[PAGE_TABLE(virt)] = (uint32_t)phys | PTE_PRESENT | PTE_SYSTEM;