rts/linker/CacheFlush.h


1
2
3
4
5
6
7
8
9
10
11
12

#ifndef CACHE_FLUSH_H
#define CACHE_FLUSH_H

#include "LinkerInternals.h"

#include "BeginPrivate.h"

void ocFlushInstructionCache( ObjectCode *oc );

#include "EndPrivate.h"

#endif /* CACHE_FLUSH_H */