/* For the DS5100 the writeback buffer seems to be a part of Coprocessor 3. But CP3 has to enabled first.  */
static void wbflush_kn210(void)
/* For the DS5100 the writeback buffer seems to be a part of Coprocessor 3. But CP3 has to enabled first.  */
static void wbflush_kn210(void)
{
    asm(".set\tpush\n\t"
	".set\tnoreorder\n\t"
	"mfc0\t$2,$12\n\t"
	"lui\t$3,0x8000\n\t"
	"or\t$3,$2,$3\n\t"
	"mtc0\t$3,$12\n\t"
	"nop\n"
	"1:\tbc3f\t1b\n\t"
	"nop\n\t"
	"mtc0\t$2,$12\n\t"
	"nop\n\t"
	".set\tpop"
	: : : "$2", "$3");
}