minimum it is misnamed: you need to flush the dcache for this range to memory (dcbst is enough), do a sync, invalidate the icache (icbi), do another sync, do an isync.
It does exacly what you explain, see arch/ppc/qemu/start.S:
Excellent, so it is just misnamed; it says neither what it does nor what its purpose is. Oh well.
Patches and suggestions are welcome.
Patches? Hahahaha.
Suggestions? Something like "synchronise icache", I dunno. Making up good names is hard work.
Segher