Constant X86_CR3_PCID_BITS 

pub const X86_CR3_PCID_BITS: u32 = 12;