pub const X86_FPU_FLAGS_UNDEFINED_C1: u32 = 8192;