Constant linux_uapi::x86_64::X86_CR3_PCID_NOFLUSH_BIT

pub const X86_CR3_PCID_NOFLUSH_BIT: u32 = 63;