Searched refs:rt0 (Results 1 – 1 of 1) sorted by relevance
109 uint64_t rt0, rt1, rt2, st2, c; in poly1305_init_ext() local143 rt0 = r0; in poly1305_init_ext()162 d[0] = ((uint128_t) rt0 * rt0) + ((uint128_t)(rt1 * 2) * st2); in poly1305_init_ext()163 d[1] = ((uint128_t) rt2 * st2) + ((uint128_t)(rt0 * 2) * rt1); in poly1305_init_ext()164 d[2] = ((uint128_t) rt1 * rt1) + ((uint128_t)(rt2 * 2) * rt0); in poly1305_init_ext()166 rt0 = (uint64_t) d[0] & 0xfffffffffff; in poly1305_init_ext()176 rt0 += c * 5; in poly1305_init_ext()177 c = (rt0 >> 44); in poly1305_init_ext()178 rt0 = rt0 & 0xfffffffffff; in poly1305_init_ext()185 R[0] = (uint32_t)(rt0) &0x3ffffff; in poly1305_init_ext()[all …]