pte_t             114 bsp/hal/arm/arch/mmu.c 	pte_t pte;
pte_t             162 bsp/hal/arm/arch/mmu.c 			pte = (pte_t)ptokv(pg);
pte_t             213 bsp/hal/arm/arch/mmu.c 	pte_t pte;
pte_t             219 bsp/hal/arm/arch/mmu.c 		pte = (pte_t)pgd[i];
pte_t             252 bsp/hal/arm/arch/mmu.c 	pte_t pte;
pte_t             280 bsp/hal/arm/arch/mmu.c 	pte_t pte = (pte_t)BOOT_PTE1;
pte_t              70 bsp/hal/arm/include/mmu.h             (pte_t)ptokv((pgd)[PAGE_DIR(virt)] & PDE_ADDRESS)
pte_t              86 bsp/hal/x86/arch/mmu.c 	pte_t pte;
pte_t             134 bsp/hal/x86/arch/mmu.c 			pte = (pte_t)ptokv(pg);
pte_t             183 bsp/hal/x86/arch/mmu.c 	pte_t pte;
pte_t             189 bsp/hal/x86/arch/mmu.c 		pte = (pte_t)pgd[i];
pte_t             222 bsp/hal/x86/arch/mmu.c 	pte_t pte;
pte_t              75 bsp/hal/x86/include/mmu.h             (pte_t)ptokv(((uint32_t *)pgd)[PAGE_DIR(virt)] & PDE_ADDRESS)