13 typedef __uint128_t u128;  typedef
44 	u128 d0, d1, d2, d;  in poly1305_core_blocks()
74 		d0 = (u128)h0 * r0;  in poly1305_core_blocks()
75 		d = (u128)h1 * s2;  in poly1305_core_blocks()
77 		d = (u128)h2 * s1;  in poly1305_core_blocks()
79 		d1 = (u128)h0 * r1;  in poly1305_core_blocks()
80 		d = (u128)h1 * r0;  in poly1305_core_blocks()
82 		d = (u128)h2 * s2;  in poly1305_core_blocks()
84 		d2 = (u128)h0 * r2;  in poly1305_core_blocks()
85 		d = (u128)h1 * r1;  in poly1305_core_blocks()
87 		d = (u128)h2 * r0;  in poly1305_core_blocks()