ptetopg           270 bsp/hal/arm/arch/mmu.c 	pa = (paddr_t)ptetopg(pte, start);
ptetopg           240 bsp/hal/x86/arch/mmu.c 	pa = (paddr_t)ptetopg(pte, start);