version 1.2, 1994/12/14 16:15:29
|
version 1.4, 1995/10/07 17:38:17
|
Line 20
|
Line 20
|
#endif |
#endif |
#endif |
#endif |
|
|
#ifdef DIRECT_THREADED |
#ifdef ultrix |
|
|
/* this works on Ultrix. Let's hope it works on others, too */ |
|
#include <mips/cachectl.h> |
#include <mips/cachectl.h> |
|
#else |
|
/* works on Irix */ |
|
#include <sys/cachectl.h> |
|
#endif |
|
|
#define CACHE_FLUSH(addr,size) \ |
#define FLUSH_ICACHE(addr,size) \ |
cacheflush((char *)(addr), (int)(size), BCACHE) |
cacheflush((char *)(addr), (int)(size), BCACHE) |
|
|
#endif |
|
|
|
#include "32bit.h" |
#include "32bit.h" |
|
|
#ifdef DIRECT_THREADED |
#ifdef DIRECT_THREADED |