#pragma once
#include <wut.h>

WUT_LIB_HEADER_START

void
DCInvalidateRange(void *addr,
                  uint32_t size);

void
DCFlushRange(void *addr,
             uint32_t size);

void
DCStoreRange(void *addr,
             uint32_t size);

void
DCFlushRangeNoSync(void *addr,
                   uint32_t size);

void
DCStoreRangeNoSync(void *addr,
                   uint32_t size);

void
DCZeroRange(void *addr,
            uint32_t size);

void
DCTouchRange(void *addr,
             uint32_t size);

WUT_LIB_HEADER_END