Searched defs:d0 (Results 1 – 3 of 3) sorted by relevance
99 uint64_t d0, d1, d2, d3; in poly1305_process() local
162 uint64_t d0 = r0 * (uint64_t)2U; in Hacl_Bignum_Fsquare_fsquare__() local
177 uint64_t d0 = r0 * (uint64_t)2U; in Hacl_Bignum_Fsquare_fsquare__() local