--- /dev/null
+/* cache control */
+
+#include <stdlib.h>
+#include <stddef.h>
+#include <errno.h>
+#include <sys/types.h>
+
+static const unsigned int kCacheOptionsSyncForExecution = 0x1;
+
+int
+sys_cache_control(unsigned int options, caddr_t start, size_t len)
+{
+ if (options == kCacheOptionsSyncForExecution) {
+ sys_icache_invalidate(start, len);
+ return 0;
+ }
+ return ENOTSUP;
+}