blob: d296b2d572303d1a0fdf7d6ab2c9932a17dfbd7d (
plain)
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 x7, uint64_t x8, uint64_t x6, uint64_t x4, uint64_t x2);
|