PDE_PRESENT       161 bsp/hal/arm/arch/mmu.c 			pgd[PAGE_DIR(va)] = (uint32_t)pg | PDE_PRESENT;
PDE_PRESENT       283 bsp/hal/arm/arch/mmu.c 	boot_pgd[PAGE_DIR(virt)] = (uint32_t)kvtop(pte) | PDE_PRESENT;
PDE_PRESENT        65 bsp/hal/arm/include/mmu.h #define pte_present(pgd, virt)  (pgd[PAGE_DIR(virt)] & PDE_PRESENT)
PDE_PRESENT        99 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE | PDE_USER);
PDE_PRESENT       103 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE | PDE_USER);
PDE_PRESENT       107 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE | PDE_USER);
PDE_PRESENT       110 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE);
PDE_PRESENT       114 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE);
PDE_PRESENT        70 bsp/hal/x86/include/mmu.h #define pte_present(pgd, virt)  (pgd[PAGE_DIR(virt)] & PDE_PRESENT)