2016-01-07 13:07:13 +01:00
|
|
|
#pragma once
|
|
|
|
#include <wut.h>
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
|
|
|
void
|
2016-01-07 13:48:11 +01:00
|
|
|
DCInvalidateRange(void *addr,
|
|
|
|
uint32_t size);
|
2016-01-07 13:07:13 +01:00
|
|
|
|
|
|
|
void
|
2016-01-07 13:48:11 +01:00
|
|
|
DCFlushRange(void *addr,
|
|
|
|
uint32_t size);
|
2016-01-07 13:07:13 +01:00
|
|
|
|
|
|
|
void
|
2016-01-07 13:48:11 +01:00
|
|
|
DCStoreRange(void *addr,
|
|
|
|
uint32_t size);
|
2016-01-07 13:07:13 +01:00
|
|
|
|
|
|
|
void
|
2016-01-07 13:48:11 +01:00
|
|
|
DCFlushRangeNoSync(void *addr,
|
|
|
|
uint32_t size);
|
2016-01-07 13:07:13 +01:00
|
|
|
|
|
|
|
void
|
2016-01-07 13:48:11 +01:00
|
|
|
DCStoreRangeNoSync(void *addr,
|
|
|
|
uint32_t size);
|
2016-01-07 13:07:13 +01:00
|
|
|
|
|
|
|
void
|
2016-01-07 13:48:11 +01:00
|
|
|
DCZeroRange(void *addr,
|
|
|
|
uint32_t size);
|
2016-01-07 13:07:13 +01:00
|
|
|
|
|
|
|
void
|
2016-01-07 13:48:11 +01:00
|
|
|
DCTouchRange(void *addr,
|
|
|
|
uint32_t size);
|
2016-01-07 13:07:13 +01:00
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|