Searched refs:o3 (Results 1 – 2 of 2) sorted by relevance
539 uint64_t o3 = t4 << (uint32_t)12U | t3 >> (uint32_t)39U; in Hacl_EC_Format_fcontract_store() local547 store64_le(b3, o3); in Hacl_EC_Format_fcontract_store()
584 uint64_t o3 = t4 << (uint32_t)12U | t3 >> (uint32_t)39U; in Hacl_EC_Format_fcontract_store() local592 store64_le(b3, o3); in Hacl_EC_Format_fcontract_store()