PAGE_DIR          161 bsp/hal/arm/arch/mmu.c 			pgd[PAGE_DIR(va)] = (uint32_t)pg | PDE_PRESENT;
PAGE_DIR          198 bsp/hal/arm/arch/mmu.c 	i = PAGE_DIR(KERNBASE);
PAGE_DIR          218 bsp/hal/arm/arch/mmu.c 	for (i = 0; i < PAGE_DIR(KERNBASE); i++) {
PAGE_DIR          283 bsp/hal/arm/arch/mmu.c 	boot_pgd[PAGE_DIR(virt)] = (uint32_t)kvtop(pte) | PDE_PRESENT;
PAGE_DIR           65 bsp/hal/arm/include/mmu.h #define pte_present(pgd, virt)  (pgd[PAGE_DIR(virt)] & PDE_PRESENT)
PAGE_DIR           70 bsp/hal/arm/include/mmu.h             (pte_t)ptokv((pgd)[PAGE_DIR(virt)] & PDE_ADDRESS)
PAGE_DIR          133 bsp/hal/x86/arch/mmu.c 			pgd[PAGE_DIR(va)] = (uint32_t)pg | pde_flag;
PAGE_DIR          171 bsp/hal/x86/arch/mmu.c 	i = PAGE_DIR(KERNBASE);
PAGE_DIR          188 bsp/hal/x86/arch/mmu.c 	for (i = 0; i < PAGE_DIR(KERNBASE); i++) {
PAGE_DIR           70 bsp/hal/x86/include/mmu.h #define pte_present(pgd, virt)  (pgd[PAGE_DIR(virt)] & PDE_PRESENT)
PAGE_DIR           75 bsp/hal/x86/include/mmu.h             (pte_t)ptokv(((uint32_t *)pgd)[PAGE_DIR(virt)] & PDE_ADDRESS)