/* 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; }