1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* Shadow paging constants/helpers that don't need to be #undef'd. */ 3 #ifndef __KVM_X86_PAGING_H 4 #define __KVM_X86_PAGING_H 5 6 #define GUEST_PT64_BASE_ADDR_MASK (((1ULL << 52) - 1) & ~(u64)(PAGE_SIZE-1)) 7 #define PT64_LVL_ADDR_MASK(level) \ 8 (GUEST_PT64_BASE_ADDR_MASK & ~((1ULL << (PAGE_SHIFT + (((level) - 1) \ 9 * PT64_LEVEL_BITS))) - 1)) 10 #define PT64_LVL_OFFSET_MASK(level) \ 11 (GUEST_PT64_BASE_ADDR_MASK & ((1ULL << (PAGE_SHIFT + (((level) - 1) \ 12 * PT64_LEVEL_BITS))) - 1)) 13 #endif /* __KVM_X86_PAGING_H */ 14 15