Did you mean (for Linux-v5.4):floatx80_div floatx80_sub
Your search defs:floatx80_sin did not match any files. Suggestions: