pub const X86_FPU_FLAGS_SET_C2: u32 = 1024;