diff --git a/target-alpha/helper.h b/target-alpha/helper.h
new file mode 100644
index 0000000000..ef2c55729a
--- /dev/null
+++ b/target-alpha/helper.h
@@ -0,0 +1,10 @@
+#ifndef DEF_HELPER
+#define DEF_HELPER(ret, name, params) ret name params;
+#endif
+
+DEF_HELPER(void, helper_tb_flush, (void))
+#ifndef DEF_HELPER
+#define DEF_HELPER(ret, name, params) ret name params;
+#endif
+
+DEF_HELPER(void, helper_tb_flush, (void))