2016-01-07 13:07:13 +01:00
|
|
|
#pragma once
|
|
|
|
#include <wut.h>
|
|
|
|
|
2016-01-07 14:02:17 +01:00
|
|
|
WUT_LIB_HEADER_START
|
2016-01-07 13:07:13 +01:00
|
|
|
|
|
|
|
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
|
|
|
|
2016-01-07 14:02:17 +01:00
|
|
|
WUT_LIB_HEADER_END
|