Did you mean (for qemu):floatx80_cos floatx80_mod floatx80_mul floatx80_pi
Your search defs:floatx80_pol did not match any files. Suggestions: