version 1.10, 1995/10/12 20:43:24
|
version 1.11, 1995/10/26 22:48:40
|
Line 22 extern void cacheflush(void *, int, int)
|
Line 22 extern void cacheflush(void *, int, int)
|
({ \ |
({ \ |
fprintf(stderr,"Flushing Cache at %08x:%08x\n",(int) addr, size); \ |
fprintf(stderr,"Flushing Cache at %08x:%08x\n",(int) addr, size); \ |
fflush(stderr); \ |
fflush(stderr); \ |
fprintf(stderr,"Cache flushed, final address: %08x\n", \ |
cacheflush((void *)(addr), (int)(size), 32); \ |
(int)cacheflush((void *)(addr), (int)(size), 32)); }) |
fprintf(stderr,"Cache flushed\n"); }) |
#else |
#else |
# define FLUSH_ICACHE(addr,size) \ |
# define FLUSH_ICACHE(addr,size) \ |
cacheflush((void *)(addr), (int)(size), 32) |
cacheflush((void *)(addr), (int)(size), 32) |