Searched refs:o1 (Results 1 – 2 of 2) sorted by relevance
537 uint64_t o1 = t2 << (uint32_t)38U | t1 >> (uint32_t)13U; in Hacl_EC_Format_fcontract_store() local545 store64_le(b1, o1); in Hacl_EC_Format_fcontract_store()
582 uint64_t o1 = t2 << (uint32_t)38U | t1 >> (uint32_t)13U; in Hacl_EC_Format_fcontract_store() local590 store64_le(b1, o1); in Hacl_EC_Format_fcontract_store()
Completed in 8 milliseconds