Lines Matching refs:m_high
42 u64 m_high; member
343 result.m_high = m >> 64; in mul_64_64()
362 result.m_high = m3 + (m2 >> 32); in mul_64_64()
372 result.m_high = a.m_high + b.m_high + (result.m_low < a.m_low); in add_128_128()
401 r2 += (r01.m_high < product.m_high); in vli_mult()
405 r01.m_low = r01.m_high; in vli_mult()
406 r01.m_high = r2; in vli_mult()
427 r01.m_low = r01.m_high; in vli_umult()
428 r01.m_high = 0; in vli_umult()
455 r2 += product.m_high >> 63; in vli_square()
456 product.m_high = (product.m_high << 1) | in vli_square()
462 r2 += (r01.m_high < product.m_high); in vli_square()
466 r01.m_low = r01.m_high; in vli_square()
467 r01.m_high = r2; in vli_square()