wbflush
wbflush();
wbflush();
wbflush();
wbflush()))
wbflush();
wbflush();
wbflush();
wbflush();
wbflush(); /* XXX */ \
wbflush(); /* XXX */ \
wbflush(); /* XXX */ \
wbflush()))
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
mips_locore_jumpvec.ljv_wbflush = platform.wbflush;
mips_locore_jumpvec.ljv_wbflush = platform.wbflush;
wbflush(); \
wbflush(); \
wbflush(); \
wbflush(); \
wbflush()))
_SBD_OPS_SET(m, wbflush); \
void (*wbflush)(void);
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush(); \
wbflush(); \
wbflush(); \
wbflush(); \
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
void wbflush(void);
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
void wbflush(void) /*__stub*/;
wbflush(); \
wbflush(); \
wbflush()))
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush()))
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
vdac->overWA = 0x04; wbflush();
vdac->over = 0x00; wbflush();
vdac->over = 0x00; wbflush();
vdac->over = 0x00; wbflush();
vdac->overWA = 0x08; wbflush();
vdac->over = 0x00; wbflush();
vdac->over = 0x00; wbflush();
vdac->over = 0x7f; wbflush();
vdac->overWA = 0x0c; wbflush();
vdac->over = 0xff; wbflush();
vdac->over = 0xff; wbflush();
vdac->over = 0xff; wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush(); /* XXX not necessary? */
wbflush(); /* XXX not necessary? */
#define tc_mb() wbflush()
#define tc_wmb() wbflush()
#define tc_syncbus() wbflush() /* XXX how to do this on a DECstation ? */
wbflush();
wbflush();
wbflush();
wbflush();
#define kn01_wbflush() wbflush() /* XXX to be corrected XXX */
#define kn02_wbflush() wbflush() /* XXX to be corrected XXX */
wbflush();
wbflush();
#define DT_PUT_BYTE(data,c) { *(data) = (c) << 8; wbflush(); }
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush();
wbflush(); /* XXX ? */
wbflush();