gen/cache.c

   1 /* cache control */
   2
   3 #include <stdlib.h>
   4 #include <stddef.h>
   5 #include <errno.h>
   6 #include <sys/types.h>
   7
   8 static const unsigned int kCacheOptionsSyncForExecution = 0x1;
   9
  10 int
  11 sys_cache_control(unsigned int options, caddr_t start, size_t len)
  12 {
  13      if (options == kCacheOptionsSyncForExecution) {
  14           sys_icache_invalidate(start, len);
  15           return 0;
  16      }
  17      return ENOTSUP;
  18 }