Searched defs:k64BitPDPTRange (Results 1 - 1 of 1) sorted by relevance

/haiku/src/system/kernel/arch/x86/paging/64bit/
H A Dpaging.h81 static const size_t k64BitPDPTRange = 0x8000000000L; variable

Completed in 85 milliseconds