version 1.2, 1994/05/05 15:46:41
|
version 1.4, 1994/11/29 16:22:38
|
Line 4
|
Line 4
|
|
|
This is the machine-specific part for a Decstation running Ultrix |
This is the machine-specific part for a Decstation running Ultrix |
*/ |
*/ |
|
/* cache flush stuff */ |
|
|
|
#ifdef DIRECT_THREADED |
|
|
|
#include <mips/cachectl.h> |
|
|
|
#define CACHE_FLUSH(addr,size) \ |
|
cacheflush((char *)(addr), (int)(size), BCACHE) |
|
|
|
#endif |
|
|
/* Cell and UCell must be the same size as a pointer */ |
/* Cell and UCell must be the same size as a pointer */ |
typedef long Cell; |
typedef long Cell; |