K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2002-07-08T00:17:43.000000Z
K 7
svn:log
V 264
Fix a hideous TLB bug.  pmap_unmapdev neglected to remove the device
mappings from the page tables, which were mapped with PG_G!  We could
reuse the page table entry for another mapping (pmap_mapdev) but it
would never have cleared any remaining PG_G TLB entries.

END