Searched refs:output0 (Results 1 – 2 of 2) sorted by relevance
426 uint64_t output0 = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand() local431 output[0U] = output0; in Hacl_EC_Format_fexpand()
471 uint64_t output0 = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand() local476 output[0U] = output0; in Hacl_EC_Format_fexpand()