Searched refs:Hacl_EC_Format_fexpand (Results 1 – 2 of 2) sorted by relevance
460 static void Hacl_EC_Format_fexpand(uint64_t *output, uint8_t *input) in Hacl_EC_Format_fexpand() function775 Hacl_EC_Format_fexpand(x0, basepoint); in Hacl_Curve25519_crypto_scalarmult()
415 static void Hacl_EC_Format_fexpand(uint64_t *output, uint8_t *input) in Hacl_EC_Format_fexpand() function730 Hacl_EC_Format_fexpand(x0, basepoint); in Hacl_Curve25519_crypto_scalarmult()