pub const X86_CR4_PKE_BIT: u32 = 22; // 22u32