Re: More details on the telnet with CONFIG_PIN_TLB problems

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/