#ifndef _CACHE_H_
#define _CACHE_H_

#include <stdint.h>

extern void flush_and_invalidate_caches(void);

#endif /* _CACHE_H_ */