1 files changed, 15 insertions, 0 deletions
diff --git a/src/sys_cacheflush.h b/src/sys_cacheflush.h
new file mode 100644
index 0000000..c18e312
--- /dev/null
+++ b/src/sys_cacheflush.h
@@ -0,0 +1,15 @@
+#ifndef _WIZ_CACHEFLUSH
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+extern void sys_cacheflush(void *start_addr, void *end_addr);
+
+extern void spend_cycles(int c);
+
+#ifdef __cplusplus
+} /* End of extern "C" */
+#endif
+
+#endif