43 static uint64_t mul32x32_64(uint32_t a, uint32_t b) { return (uint64_t)a * b; }  in mul32x32_64()  function
95   t[0] = mul32x32_64(state->h0, state->r0) + mul32x32_64(state->h1, state->s4) +  in poly1305_update()
96          mul32x32_64(state->h2, state->s3) + mul32x32_64(state->h3, state->s2) +  in poly1305_update()
97          mul32x32_64(state->h4, state->s1);  in poly1305_update()
98   t[1] = mul32x32_64(state->h0, state->r1) + mul32x32_64(state->h1, state->r0) +  in poly1305_update()
99          mul32x32_64(state->h2, state->s4) + mul32x32_64(state->h3, state->s3) +  in poly1305_update()
100          mul32x32_64(state->h4, state->s2);  in poly1305_update()
101   t[2] = mul32x32_64(state->h0, state->r2) + mul32x32_64(state->h1, state->r1) +  in poly1305_update()
102          mul32x32_64(state->h2, state->r0) + mul32x32_64(state->h3, state->s4) +  in poly1305_update()
103          mul32x32_64(state->h4, state->s3);  in poly1305_update()
104   t[3] = mul32x32_64(state->h0, state->r3) + mul32x32_64(state->h1, state->r2) +  in poly1305_update()
105          mul32x32_64(state->h2, state->r1) + mul32x32_64(state->h3, state->r0) +  in poly1305_update()
106          mul32x32_64(state->h4, state->s4);  in poly1305_update()
107   t[4] = mul32x32_64(state->h0, state->r4) + mul32x32_64(state->h1, state->r3) +  in poly1305_update()
108          mul32x32_64(state->h2, state->r2) + mul32x32_64(state->h3, state->r1) +  in poly1305_update()
109          mul32x32_64(state->h4, state->r0);  in poly1305_update()