Searched refs:output3 (Results 1 – 2 of 2) sorted by relevance
429 uint64_t output3 = i3 >> (uint32_t)1U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand() local434 output[3U] = output3; in Hacl_EC_Format_fexpand()
474 uint64_t output3 = i3 >> (uint32_t)1U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand() local479 output[3U] = output3; in Hacl_EC_Format_fexpand()
Completed in 9 milliseconds