Did you mean (for linux-4.1.27):floatx80_eq
Your search defs:floatx80_exp did not match any files. Suggestions: