Searched refs:X86_64_PDPTE_USER (Results 1 - 2 of 2) sorted by path
| /haiku/src/system/kernel/arch/x86/paging/64bit/ | ||
| H A D | X86PagingMethod64Bit.cpp | 160 | X86_64_PDPTE_USER); 312 | X86_64_PDPTE_USER); |
| H A D | paging.h | 35 #define X86_64_PDPTE_USER (1LL << 2) macro |
Completed in 53 milliseconds