pub const X86_CR4_PKE_BIT: u32 = 22;