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