pub const X86_FPU_FLAGS_UNDEFINED_C0: u32 = 4096;