PTE_ADDRESS       221 bsp/hal/arm/arch/mmu.c 			page_free(((paddr_t)pte & PTE_ADDRESS),
PTE_ADDRESS        73 bsp/hal/arm/include/mmu.h             ((pte)[PAGE_TABLE(virt)] & PTE_ADDRESS)
PTE_ADDRESS       191 bsp/hal/x86/arch/mmu.c 			page_free((paddr_t)((paddr_t)pte & PTE_ADDRESS),
PTE_ADDRESS        78 bsp/hal/x86/include/mmu.h             ((pte)[PAGE_TABLE(virt)] & PTE_ADDRESS)