pub const X86_FPU_FLAGS_MODIFY_C3: u32 = 8;