pub const X86_CR3_PWT_BIT: u32 = 3;