FBSD_1.0 {
fpgetmask;
fpgetround;
fpgetsticky;
fpsetmask;
fpsetround;
fpsetsticky;
};
FBSDprivate_1.0 {
__softfloat_float_exception_flags;
__softfloat_float_exception_mask;
__softfloat_float_rounding_mode;
__softfloat_float_raise;
__adddf3;
__addsf3;
__divdf3;
__divsf3;
__eqdf2;
__eqsf2;
__extendsfdf2;
__fixdfsi;
__fixsfsi;
__floatsidf;
__floatsisf;
__gedf2;
__gesf2;
__gtdf2;
__gtsf2;
__ledf2;
__lesf2;
__ltdf2;
__ltsf2;
__muldf3;
__mulsf3;
__nedf2;
__negdf2;
__negsf2;
__nesf2;
__subdf3;
__subsf3;
__truncdfsf2;
__unorddf2;
__unordsf2;
};
