gforth/hppa.h - diff

Return to hppa.h CVS log

Up to [gforth] / gforth

version 1.8, 1995/09/06 21:00:18	version 1.9, 1995/10/07 17:38:16
Line 16	Line 16
#endif	#endif

/* cache flush stuff */	/* cache flush stuff */
#ifdef DIRECT_THREADED

extern void * cacheflush(void *, int, int);	extern void * cacheflush(void *, int, int);
#ifdef DEBUG	#ifdef DEBUG
# define CACHE_FLUSH(addr,size) \	# define FLUSH_ICACHE(addr,size) \
({ 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", \	fprintf(stderr,"Cache flushed, final address: %08x\n", \
(int)cacheflush((void *)(addr), (int)(size), 32)); })	(int)cacheflush((void *)(addr), (int)(size), 32)); })
#else	#else
# define CACHE_FLUSH(addr,size) \	# define FLUSH_ICACHE(addr,size) \
({ (void)cacheflush((void *)(addr), (int)(size), 32); })	({ (void)cacheflush((void *)(addr), (int)(size), 32); })
# endif
#endif	#endif

#include "32bit.h"	#include "32bit.h"