Searched refs:Hacl_EC_Point_copy (Results 1 – 2 of 2) sorted by relevance
407 static void Hacl_EC_Point_copy(uint64_t *output, uint64_t *input) in Hacl_EC_Point_copy() function718 Hacl_EC_Point_copy(nqpq, q); in Hacl_EC_Ladder_cmult()721 Hacl_EC_Point_copy(result, nq); in Hacl_EC_Ladder_cmult()
452 static void Hacl_EC_Point_copy(uint64_t *output, uint64_t *input) in Hacl_EC_Point_copy() function763 Hacl_EC_Point_copy(nqpq, q); in Hacl_EC_Ladder_cmult()766 Hacl_EC_Point_copy(result, nq); in Hacl_EC_Ladder_cmult()