pte_flag          113 bsp/hal/arm/arch/mmu.c 	uint32_t pte_flag = 0;
pte_flag          126 bsp/hal/arm/arch/mmu.c 		pte_flag = 0;
pte_flag          129 bsp/hal/arm/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WBUF | PTE_CACHE |
pte_flag          133 bsp/hal/arm/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WBUF | PTE_CACHE |
pte_flag          137 bsp/hal/arm/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WBUF | PTE_CACHE |
pte_flag          141 bsp/hal/arm/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_SYSTEM);
pte_flag          156 bsp/hal/arm/arch/mmu.c 			ASSERT(pte_flag != 0);
pte_flag          166 bsp/hal/arm/arch/mmu.c 		pte[PAGE_TABLE(va)] = (uint32_t)pa | pte_flag;
pte_flag           84 bsp/hal/x86/arch/mmu.c 	uint32_t pte_flag = 0;
pte_flag           98 bsp/hal/x86/arch/mmu.c 		pte_flag = 0;
pte_flag          102 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_USER);
pte_flag          106 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WRITE | PTE_USER);
pte_flag          111 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WRITE);
pte_flag          115 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WRITE | PTE_NCACHE);
pte_flag          128 bsp/hal/x86/arch/mmu.c 			ASSERT(pte_flag != 0);
pte_flag          138 bsp/hal/x86/arch/mmu.c 		pte[PAGE_TABLE(va)] = (uint32_t)pa | pte_flag;