Searched refs:X86_64_PML4E_USER (Results 1 – 2 of 2) sorted by relevance
| /haiku/src/system/kernel/arch/x86/paging/64bit/ | ||
| H A D | paging.h | 25 #define X86_64_PML4E_USER (1LL << 2) macro |
| H A D | X86PagingMethod64Bit.cpp | 282 | X86_64_PML4E_USER); in PageDirectoryForAddress() |