Symbol: floatx80_add
lib/libc/softfloat/softfloat.h
262
floatx80 floatx80_add( floatx80, floatx80 ) __dso_protected;
lib/libc/softfloat/timesoftfloat.c
2301
time_abz_floatx80( floatx80_add );
sys/lib/libkern/softfloat.h
311
floatx80 floatx80_add( floatx80, floatx80 );