CR3_PCID_MASK      39 arch/x86/include/asm/processor-flags.h #define CR3_PCID_MASK	0xFFFull
CR3_PCID_MASK      48 arch/x86/include/asm/processor-flags.h #define CR3_PCID_MASK	0ull