vtopte            154 bsp/hal/arm/arch/mmu.c 			pte = vtopte(pgd, va);
vtopte            263 bsp/hal/arm/arch/mmu.c 		pte = vtopte(pgd, pg);
vtopte            269 bsp/hal/arm/arch/mmu.c 	pte = vtopte(pgd, start);
vtopte            126 bsp/hal/x86/arch/mmu.c 			pte = vtopte(pgd, va);
vtopte            233 bsp/hal/x86/arch/mmu.c 		pte = vtopte(pgd, pg);
vtopte            239 bsp/hal/x86/arch/mmu.c 	pte = vtopte(pgd, start);