src/Specific/solinas64_2e152m17/freeze.h


1
2
3
4
5
6

#include <stdint.h>

#undef force_inline
#define force_inline __attribute__((always_inline))

void force_inline freeze(uint64_t* out, uint64_t x5, uint64_t x6, uint64_t x4, uint64_t x2);