pub const X86_CR0_TS_BIT: u32 = 3;