Searched refs:VADDR_TO_PML4E (Results 1 – 2 of 2) sorted by relevance
88 #define VADDR_TO_PML4E(va) (((va) % k64BitPML4TRange) / k64BitPDPTRange) macro
142 uint64* pml4e = &virtualPML4[VADDR_TO_PML4E(virtualAddress)]; in MapEarly()261 uint64* pml4e = &virtualPML4[VADDR_TO_PML4E(virtualAddress)]; in PageDirectoryForAddress()