K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2005-03-06T21:10:31.000000Z
K 7
svn:log
V 284
Make sure ARM_TP_ADDRESS is accessible right now by calling pmap_fault_fixup,
as we can't rely on a trap happening, as it is done normally.
While I'm there, uncomment the call to cpu_dcache_wbinv_range() in
pmap_kenter_internal, as we don't call cpu_dcache_wbinv_all() there anymore.

END