/**
 * @file
 *
 * @date Jan 28, 2020
 * @author Anton Bondarev
 */
#include <stddef.h>

#include <hal/cache.h>

void dcache_inval(const void *data, size_t size) {
	/* FIXME cache*/
}

void dcache_flush(const void *data, size_t size) {
	/* FIXME cache*/
}
