K 10 svn:author V 10 nwhitehorn K 8 svn:date V 27 2013-10-26T20:57:26.796791Z K 7 svn:log V 250 Make devices with registers into the KVA region work reliably. Without this, previous KVA allocations (which the PMAP lazily invalidates) in TLB0 could shadow device maps in TLB1. Add a big block comment about some of the caveats with this approach. END