VADDR_TO_PDPTE - Haiku

Symbol: VADDR_TO_PDPTE

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

uint64* pdpte = &virtualPDPT[VADDR_TO_PDPTE(virtualAddress)];

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

uint64* pdpte = &virtualPDPT[VADDR_TO_PDPTE(virtualAddress)];