X86_CR3_PCID_BITS   57 arch/x86/include/asm/tlbflush.h #define CR3_AVAIL_PCID_BITS (X86_CR3_PCID_BITS - PTI_CONSUMED_PCID_BITS)
X86_CR3_PCID_BITS   83 arch/x86/include/uapi/asm/processor-flags.h #define X86_CR3_PCID_MASK	(_AC((1UL << X86_CR3_PCID_BITS) - 1, UL))