1 files changed, 6 insertions, 0 deletions
diff --git a/src/Specific/solinas64_2e230m27/femul.h b/src/Specific/solinas64_2e230m27/femul.h
new file mode 100644
index 000000000..b19a382e5
--- /dev/null
+++ b/src/Specific/solinas64_2e230m27/femul.h
@@ -0,0 +1,6 @@
+#include <stdint.h>
+
+#undef force_inline
+#define force_inline __attribute__((always_inline))
+
+void force_inline femul(uint64_t* out, uint64_t x8, uint64_t x9, uint64_t x7, uint64_t x5, uint64_t x14, uint64_t x15, uint64_t x13, uint64_t x11);