PAGE_TABLE        166 bsp/hal/arm/arch/mmu.c 		pte[PAGE_TABLE(va)] = (uint32_t)pa | pte_flag;
PAGE_TABLE        284 bsp/hal/arm/arch/mmu.c 	pte[PAGE_TABLE(virt)] = (uint32_t)phys | PTE_PRESENT | PTE_SYSTEM;
PAGE_TABLE         67 bsp/hal/arm/include/mmu.h #define page_present(pte, virt) (pte[PAGE_TABLE(virt)] & PTE_PRESENT)
PAGE_TABLE         73 bsp/hal/arm/include/mmu.h             ((pte)[PAGE_TABLE(virt)] & PTE_ADDRESS)
PAGE_TABLE        138 bsp/hal/x86/arch/mmu.c 		pte[PAGE_TABLE(va)] = (uint32_t)pa | pte_flag;
PAGE_TABLE         72 bsp/hal/x86/include/mmu.h #define page_present(pte, virt) (pte[PAGE_TABLE(virt)] & PTE_PRESENT)
PAGE_TABLE         78 bsp/hal/x86/include/mmu.h             ((pte)[PAGE_TABLE(virt)] & PTE_ADDRESS)