Lines Matching refs:floatx80
716 floatx80 d __attribute__((aligned(16)));772 floatx80 ft0;942 void cpu_get_fp80(uint64_t *pmant, uint16_t *pexp, floatx80 f);943 floatx80 cpu_set_fp80(uint64_t mant, uint16_t upper);
