#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 */