Lines Matching refs:val64
3069 uint64_t val64;3107 val64 = float64_val(f64);3109 val = ((val64 >> 63) & 0x80000000)3111 | ((val64 >> 29) & 0x7fffff);