Home
last modified time | relevance | path

Searched refs:pageTableIndex (Results 1 – 2 of 2) sorted by relevance

/haiku/src/system/boot/platform/efi/arch/x86/
H A Darch_mmu.cpp162 uint32_t pageTableIndex = VADDR_TO_PTENT(virtAddr); in map_page() local
163 pageTable[pageTableIndex] = physAddr | flags; in map_page()
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_mmu.cpp102 uint32 pageTableIndex = VADDR_TO_PTENT(virtAddr); in map_page() local
103 pageTable[pageTableIndex] = physAddr | flags | ARM_MMU_L2_TYPE_SMALLNEW; in map_page()