Did you mean (for Linux-v6.1):floatx80_abs
Your search defs:floatx80_cos did not match any files. Suggestions: