Lines Matching refs:float64_val
3080 | ((float64_val(f64) >> 29) & 0x7fffff);3183 val64 = float64_val(f64);3204 return 0x80000000 | ((float64_val(f64) >> 21) & 0x7fffffff);3225 float64_val(f64) >> 21) & 0x7fffffff);