Searched refs: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); local
151 uint32_t pageDirectoryEntry = sPageDirectory[pageDirectoryIndex];
157 sPageDirectory[pageDirectoryIndex] = (uint32_t)pageTable | kDefaultPageTableFlags;
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_mmu.cpp92 uint32 pageDirectoryIndex = VADDR_TO_PDENT(virtAddr); local
93 uint32 pageDirectoryEntry = sPageDirectory[pageDirectoryIndex];
97 sPageDirectory[pageDirectoryIndex] = (uint32_t)pageTable | ARM_MMU_L1_TYPE_COARSE;

Completed in 28 milliseconds