pub const X86_FPU_FLAGS_SET_C3: u32 = 2048;