ptetopg 72 bsp/hal/arm/include/mmu.h #define ptetopg(pte, virt) \ ptetopg 72 bsp/hal/ppc/include/mmu.h #define ptetopg(pte, virt) ptetopg 77 bsp/hal/x86/include/mmu.h #define ptetopg(pte, virt) \