#include <stddef.h>
#include <sys/cdefs.h>
#include <stdint.h>
+#include <Availability.h>
__BEGIN_DECLS
void sys_icache_invalidate( void *start, size_t len);
/* equivalent to sys_cache_control(kCacheFunctionFlushDcache): */
-void sys_dcache_flush( void *start, size_t len);
+void sys_dcache_flush( void *start, size_t len) __OSX_AVAILABLE_STARTING(__MAC_10_5, __IPHONE_2_0);
__END_DECLS