--- Libc/Libc-763.13/include/libkern/OSCacheControl.h
+++ Libc/Libc-594.9.5/include/libkern/OSCacheControl.h
@@ -27,7 +27,6 @@
 #include    <stddef.h>
 #include    <sys/cdefs.h>
 #include    <stdint.h>
-#include    <Availability.h>
 
 __BEGIN_DECLS
 
@@ -58,7 +57,7 @@
 void	sys_icache_invalidate( void *start, size_t len);
 
 /* equivalent to sys_cache_control(kCacheFunctionFlushDcache): */
-void	sys_dcache_flush( void *start, size_t len) __OSX_AVAILABLE_STARTING(__MAC_10_5, __IPHONE_2_0);
+void	sys_dcache_flush( void *start, size_t len);
 
 
 __END_DECLS