f4d939d21e403f92bf4dc5300da1e709eb064433
[ghc.git] / rts / linker / CacheFlush.h
1 #ifndef CACHE_FLUSH_H
2 #define CACHE_FLUSH_H
3
4 #include "LinkerInternals.h"
5
6 #include "BeginPrivate.h"
7
8 void ocFlushInstructionCache( ObjectCode *oc );
9
10 #include "EndPrivate.h"
11
12 #endif /* CACHE_FLUSH_H */