pub const X86_FPU_FLAGS_RESET_C3: u32 = 128;