cache.h

Go to the documentation of this file.

/* SPDX-License-Identifier: MIT */
/*
 * Author: Andreas Werner <kernel@andy89.org>
 * Date: 2016
 */
#ifndef CACHE_H_
#define CACHE_H_
#include <stdint.h>
int32_t cache_init();
int32_t cache_flushDataAll();
int32_t cache_flushData(uint32_t *addr, uint32_t size);
int32_t cache_invalidDataAll();
int32_t cache_invalidData(uint32_t *addr, uint32_t size);
#endif