which originally was meant for SMP cache managment but it can be argued
to apply on the 34K as well.
Signed-off-by: Ralf Baechle <ralf@linux-mips.org>