VADDR_TO_PTE - Haiku

Symbol: VADDR_TO_PTE

src/system/kernel/arch/x86/paging/64bit/X86PagingMethod64Bit.cpp

uint64* pte = &virtualPageTable[VADDR_TO_PTE(virtualAddress)];

src/system/kernel/arch/x86/paging/64bit/X86PagingMethod64Bit.cpp

return &virtualPageTable[VADDR_TO_PTE(virtualAddress)];

src/system/kernel/arch/x86/paging/64bit/X86VMTranslationMap64Bit.cpp

entry = virtualPageTable[VADDR_TO_PTE(virtualAddress)];