CR3_ADDR_MASK      38 arch/x86/include/asm/processor-flags.h #define CR3_ADDR_MASK	__sme_clr(0x7FFFFFFFFFFFF000ull)
CR3_ADDR_MASK      47 arch/x86/include/asm/processor-flags.h #define CR3_ADDR_MASK	0xFFFFFFFFull