DCACHE
#define BCACHE (ICACHE|DCACHE) /* invalidate both caches, as above */
case DCACHE:
if (whichcache & DCACHE) {