Constant X86_CR3_PCID_NOFLUSH_BIT 

pub const X86_CR3_PCID_NOFLUSH_BIT: u32 = 63;