Lines Matching refs:r64

703     uint64_t d64, m64, r64, s64, u64;            /* 64-bit computation */
808         r64 = (uint64_t)r32 * u32 * 2;
810         mul64To128(m64, r64, &s64, &discard);
811         mul64To128(s64, r64, &d64, &discard);
831     r64 = (uint64_t)r32 * u32 * 2;
834     mul64To128(m64, r64, &s64, &discard);
835     mul64To128(s64, r64, &d64, &discard);
837     mul64To128(u64, r64, &r64, &discard);
838     r64 <<= 1;
841     mul64To128(m64, r64, &s64, &discard);
842     mul64To128(s64, r64, &d64, &discard);
844     mul64To128(u64, r64, &rh, &rl);