Searched refs:fiat_p256_to_bytes (Results 1 – 6 of 6) sorted by relevance
92 fiat_p256_to_bytes(out->bytes, in); in fiat_p256_to_generic()
1070 static void fiat_p256_to_bytes(uint8_t out1[32], const uint64_t arg1[4]) { in fiat_p256_to_bytes() function
2979 static void fiat_p256_to_bytes(uint8_t out1[32], const uint32_t arg1[8]) { in fiat_p256_to_bytes() function