pte_present 65 bsp/hal/arm/include/mmu.h #define pte_present(pgd, virt) (pgd[PAGE_DIR(virt)] & PDE_PRESENT) pte_present 66 bsp/hal/ppc/include/mmu.h #define pte_present(pgd, virt) pte_present 70 bsp/hal/x86/include/mmu.h #define pte_present(pgd, virt) (pgd[PAGE_DIR(virt)] & PDE_PRESENT)