PTE_PRESENT       129 bsp/hal/arm/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WBUF | PTE_CACHE |
PTE_PRESENT       133 bsp/hal/arm/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WBUF | PTE_CACHE |
PTE_PRESENT       137 bsp/hal/arm/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WBUF | PTE_CACHE |
PTE_PRESENT       141 bsp/hal/arm/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_SYSTEM);
PTE_PRESENT       284 bsp/hal/arm/arch/mmu.c 	pte[PAGE_TABLE(virt)] = (uint32_t)phys | PTE_PRESENT | PTE_SYSTEM;
PTE_PRESENT        67 bsp/hal/arm/include/mmu.h #define page_present(pte, virt) (pte[PAGE_TABLE(virt)] & PTE_PRESENT)
PTE_PRESENT       102 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_USER);
PTE_PRESENT       106 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WRITE | PTE_USER);
PTE_PRESENT       111 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WRITE);
PTE_PRESENT       115 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WRITE | PTE_NCACHE);
PTE_PRESENT        72 bsp/hal/x86/include/mmu.h #define page_present(pte, virt) (pte[PAGE_TABLE(virt)] & PTE_PRESENT)