get rid of pthreads

[ginge.git] / loader / sys_cacheflush.h

diff --git a/loader/sys_cacheflush.h b/loader/sys_cacheflush.h
deleted file mode 100644 (file)
index a35c00e..0000000
--- a/loader/sys_cacheflush.h
+++ /dev/null
@@ -1 +0,0 @@
-void sys_cacheflush(const void *start_addr, const void *end_addr);