PDE_ADDRESS 70 bsp/hal/arm/include/mmu.h (pte_t)ptokv((pgd)[PAGE_DIR(virt)] & PDE_ADDRESS) PDE_ADDRESS 75 bsp/hal/x86/include/mmu.h (pte_t)ptokv(((uint32_t *)pgd)[PAGE_DIR(virt)] & PDE_ADDRESS)