Did you mean (for linux-6.1.9):floatx80_le floatx80_lt floatx80_eq floatx80_mnf
Your search defs:floatx80_ln did not match any files. Suggestions: