>flush_instruction_cache() is already an iccci on 4xx (iccci flushes >the entire ICU). flush_dcache_icache() should be fixed though. We >could either replace the entire icache flushing loop with a single >iccci, or we could replace each icbi with two icbis, on the address >and the address XORed with 0x00001000 (which is the only possible >alias with 4kb pages).
Provided that address ^ 0x1000 is mapped or we do that with translation off (but then we must get to the physical address of the first page). Looks simpler to do an iccci. Ben. ** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/
