void *cacheflush(void * address, int size, int linewidth) { int i; address=(void *)((int)address & (-linewidth)); for(i=4-linewidth; i