Home
last modified time | relevance | path

Searched defs:pageDirectoryIndex (Results 1 – 2 of 2) sorted by relevance

/haiku/src/system/boot/platform/efi/arch/x86/
H A Darch_mmu.cpp150 uint32_t pageDirectoryIndex = VADDR_TO_PDENT(virtAddr); in map_page() local
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_mmu.cpp92 uint32 pageDirectoryIndex = VADDR_TO_PDENT(virtAddr); in map_page() local