VADDR_TO_PDE - Haiku

Symbol: VADDR_TO_PDE

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

uint64* pde = &virtualPageDir[VADDR_TO_PDE(virtualAddress)];

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

return &virtualPageDirectory[VADDR_TO_PDE(virtualAddress)];