/* For the DS3100 and DS5000/200 the R2020/R3220 writeback buffer functions as part of Coprocessor 0.  */
static void wbflush_kn01(void)
/* For the DS3100 and DS5000/200 the R2020/R3220 writeback buffer functions as part of Coprocessor 0.  */
static void wbflush_kn01(void)
{
    asm(".set\tpush\n\t"
	".set\tnoreorder\n\t"
	"1:\tbc0f\t1b\n\t"
	"nop\n\t"
	".set\tpop");
}