vtopte             69 bsp/hal/arm/include/mmu.h #define vtopte(pgd, virt) \
vtopte             70 bsp/hal/ppc/include/mmu.h #define vtopte(pgd, virt)
vtopte             74 bsp/hal/x86/include/mmu.h #define vtopte(pgd, virt) \