VADDR_TO_PML4E - Haiku

Symbol: VADDR_TO_PML4E

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

uint64* pml4e = &virtualPML4[VADDR_TO_PML4E(virtualAddress)];

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

uint64* pml4e = &virtualPML4[VADDR_TO_PML4E(virtualAddress)];