ARM pmap cache flushed after PT modification.

[Olivier Houchard]

On Wed, Jan 09, 2008 at 06:31:21PM -0600, Mark Tinguely wrote:
> 
> Using the same logic that the ARM ARM for pre-ARMv6 MMUs says the
> cache has to be written back and/or invalidated before making 
> changes to page table entries; pmap_remove_all() also forces the
> page table entry to NULL and I believe needs to be invalidated.
> 

Hi Mark,

I'm not sure this is needed, because we mark the page tables as write-through.
Also, I must miss something, because I understand why we should wb after doing
the changes, but why before ?

(And no, I didn't forget you, and I'll have a look at your work soon, honest).

Regards,

Olivier