More details on the telnet with CONFIG_PIN_TLB problems

[Benjamin Herrenschmidt]

>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/