More details on the telnet with CONFIG_PIN_TLB problems

[David Gibson]

On Thu, Jun 06, 2002 at 12:15:42AM +0200, Benjamin Herrenschmidt wrote:
>
> >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).

Blah.  Good point.

> Looks simpler to do an iccci.

Agreed.

--
David Gibson			| For every complex problem there is a
david at gibson.dropbear.id.au	| solution which is simple, neat and
				| wrong.  -- H.L. Mencken
http://www.ozlabs.org/people/dgibson

** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/