On Sunday, March 23, 2003, at 08:15  PM, Hiroyuki Bessho wrote:

> + fix a crash when write-back cache is used, by calling PTE_SYNC()
>   after tweaking page table entry.

Actually, you might consider making this look more like the similar 
code in e.g. i80321_space.c.  In particular, if you use pmap_enter(), 
rather than pmap_kenter_pa(), the ARM pmap module will automatigically 
map it non-cacheable for you, so you don't have to fiddle with the bits 
in the PTE at all.

        -- Jason R. Thorpe <thorpej@wasabisystems.com>