Lines Matching refs:cpu_get_fp80
942 void cpu_get_fp80(uint64_t *pmant, uint16_t *pexp, floatx80 f);
