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) \