Avoid flushing the same page twice.
[bertos.git] / bertos / emul / switch_ppc.S
2008-08-10 bernieppc: Add cooperative task switching for PowerPC