Symbol: fadd
usr/src/tools/smatch/src/validation/backend/arithmetic-ops.c
11
static float fadd(float x, float y)
usr/src/tools/smatch/src/validation/fp-ops.c
1
double fadd(double x, double y) { return x + y; }
usr/src/uts/sparc/sys/fpu/fpu_simulator.h
180
fadd = 0x10,