Searched refs:o2 (Results 1 – 2 of 2) sorted by relevance
538 uint64_t o2 = t3 << (uint32_t)25U | t2 >> (uint32_t)26U; in Hacl_EC_Format_fcontract_store() local546 store64_le(b2, o2); in Hacl_EC_Format_fcontract_store()
583 uint64_t o2 = t3 << (uint32_t)25U | t2 >> (uint32_t)26U; in Hacl_EC_Format_fcontract_store() local591 store64_le(b2, o2); in Hacl_EC_Format_fcontract_store()
Completed in 7 milliseconds