pub const X86_CR3_PCID_NOFLUSH_BIT: u32 = 63; // 63u32