pte               114 bsp/hal/arm/arch/mmu.c 	pte_t pte;
pte               154 bsp/hal/arm/arch/mmu.c 			pte = vtopte(pgd, va);
pte               162 bsp/hal/arm/arch/mmu.c 			pte = (pte_t)ptokv(pg);
pte               163 bsp/hal/arm/arch/mmu.c 			memset(pte, 0, L2TBL_SIZE);
pte               166 bsp/hal/arm/arch/mmu.c 		pte[PAGE_TABLE(va)] = (uint32_t)pa | pte_flag;
pte               213 bsp/hal/arm/arch/mmu.c 	pte_t pte;
pte               219 bsp/hal/arm/arch/mmu.c 		pte = (pte_t)pgd[i];
pte               220 bsp/hal/arm/arch/mmu.c 		if (pte != 0)
pte               221 bsp/hal/arm/arch/mmu.c 			page_free(((paddr_t)pte & PTE_ADDRESS),
pte               252 bsp/hal/arm/arch/mmu.c 	pte_t pte;
pte               263 bsp/hal/arm/arch/mmu.c 		pte = vtopte(pgd, pg);
pte               264 bsp/hal/arm/arch/mmu.c 		if (!page_present(pte, pg))
pte               269 bsp/hal/arm/arch/mmu.c 	pte = vtopte(pgd, start);
pte               270 bsp/hal/arm/arch/mmu.c 	pa = (paddr_t)ptetopg(pte, start);
pte               280 bsp/hal/arm/arch/mmu.c 	pte_t pte = (pte_t)BOOT_PTE1;
pte               282 bsp/hal/arm/arch/mmu.c 	memset(pte, 0, L2TBL_SIZE);
pte               283 bsp/hal/arm/arch/mmu.c 	boot_pgd[PAGE_DIR(virt)] = (uint32_t)kvtop(pte) | PDE_PRESENT;
pte               284 bsp/hal/arm/arch/mmu.c 	pte[PAGE_TABLE(virt)] = (uint32_t)phys | PTE_PRESENT | PTE_SYSTEM;
pte                67 bsp/hal/arm/include/mmu.h #define page_present(pte, virt) (pte[PAGE_TABLE(virt)] & PTE_PRESENT)
pte                72 bsp/hal/arm/include/mmu.h #define ptetopg(pte, virt) \
pte                73 bsp/hal/arm/include/mmu.h             ((pte)[PAGE_TABLE(virt)] & PTE_ADDRESS)
pte                37 bsp/hal/ppc/include/mmu.h struct pte {
pte                42 bsp/hal/ppc/include/mmu.h typedef struct pte	*pte_t;		/* page table entry */
pte                68 bsp/hal/ppc/include/mmu.h #define page_present(pte, virt)
pte                72 bsp/hal/ppc/include/mmu.h #define ptetopg(pte, virt)
pte                86 bsp/hal/x86/arch/mmu.c 	pte_t pte;
pte               126 bsp/hal/x86/arch/mmu.c 			pte = vtopte(pgd, va);
pte               134 bsp/hal/x86/arch/mmu.c 			pte = (pte_t)ptokv(pg);
pte               135 bsp/hal/x86/arch/mmu.c 			memset(pte, 0, PAGE_SIZE);
pte               138 bsp/hal/x86/arch/mmu.c 		pte[PAGE_TABLE(va)] = (uint32_t)pa | pte_flag;
pte               183 bsp/hal/x86/arch/mmu.c 	pte_t pte;
pte               189 bsp/hal/x86/arch/mmu.c 		pte = (pte_t)pgd[i];
pte               190 bsp/hal/x86/arch/mmu.c 		if (pte != 0)
pte               191 bsp/hal/x86/arch/mmu.c 			page_free((paddr_t)((paddr_t)pte & PTE_ADDRESS),
pte               222 bsp/hal/x86/arch/mmu.c 	pte_t pte;
pte               233 bsp/hal/x86/arch/mmu.c 		pte = vtopte(pgd, pg);
pte               234 bsp/hal/x86/arch/mmu.c 		if (!page_present(pte, pg))
pte               239 bsp/hal/x86/arch/mmu.c 	pte = vtopte(pgd, start);
pte               240 bsp/hal/x86/arch/mmu.c 	pa = (paddr_t)ptetopg(pte, start);
pte                72 bsp/hal/x86/include/mmu.h #define page_present(pte, virt) (pte[PAGE_TABLE(virt)] & PTE_PRESENT)
pte                77 bsp/hal/x86/include/mmu.h #define ptetopg(pte, virt) \
pte                78 bsp/hal/x86/include/mmu.h             ((pte)[PAGE_TABLE(virt)] & PTE_ADDRESS)