version 1.3, 1995/01/21 17:26:45
|
version 1.4, 1995/10/07 17:38:17
|
Line 20
|
Line 20
|
#endif |
#endif |
#endif |
#endif |
|
|
#ifdef DIRECT_THREADED |
|
|
|
#ifdef ultrix |
#ifdef ultrix |
#include <mips/cachectl.h> |
#include <mips/cachectl.h> |
#else |
#else |
Line 29
|
Line 27
|
#include <sys/cachectl.h> |
#include <sys/cachectl.h> |
#endif |
#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 |