ICACHE
#define BCACHE (ICACHE|DCACHE) /* invalidate both caches, as above */
(void)_cacheflush((void*)(from), (size_t)((to) - (from)), ICACHE)
case ICACHE:
if (whichcache & ICACHE) {
return _cacheflush(addr, (size_t)len, ICACHE);