pub const X86_CR0_ET_BIT: u32 = 4;