#ifndef NITRO_OS_CACHE_H_
#define NITRO_OS_CACHE_H_

BOOL DC_Enable (void);
void DC_FlushAll(void);
void DC_InvalidateRange(register void * startAddr, register u32 nBytes);
void DC_StoreRange(register void * startAddr, register u32 nBytes);
void DC_InvalidateAll(void);
void DC_StoreAll(void);
void IC_InvalidateAll(void);
void IC_InvalidateRange(register void *startAddr, register u32 nBytes);
void DC_WaitWriteBufferEmpty(void);
BOOL IC_Enable(void);
void DC_FlushRange(register void *startAddr, register u32 nBytes);

#endif //NITRO_OS_CACHE_H_