Lines Matching refs:r01
258 uint128_t r01 = { 0, 0 }; in vli_mult() local
278 r01 = add_128_128(r01, product); in vli_mult()
279 r2 += (r01.m_high < product.m_high); in vli_mult()
282 result[k] = r01.m_low; in vli_mult()
283 r01.m_low = r01.m_high; in vli_mult()
284 r01.m_high = r2; in vli_mult()
288 result[NUM_ECC_DIGITS * 2 - 1] = r01.m_low; in vli_mult()
293 uint128_t r01 = { 0, 0 }; in vli_square() local
317 r01 = add_128_128(r01, product); in vli_square()
318 r2 += (r01.m_high < product.m_high); in vli_square()
321 result[k] = r01.m_low; in vli_square()
322 r01.m_low = r01.m_high; in vli_square()
323 r01.m_high = r2; in vli_square()
327 result[NUM_ECC_DIGITS * 2 - 1] = r01.m_low; in vli_square()