Searched refs:i2 (Results 1 – 2 of 2) sorted by relevance
421 uint64_t i2 = load64_le(x01); in Hacl_EC_Format_fexpand() local428 uint64_t output2 = i2 >> (uint32_t)6U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()
466 uint64_t i2 = load64_le(x01); in Hacl_EC_Format_fexpand() local473 uint64_t output2 = i2 >> (uint32_t)6U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()