#include <errno.h>

#ifdef __cplusplus
extern "C" {
#endif

void __clear_cache(void*, void*);

#ifdef __cplusplus
}
#endif