K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2010-03-22T18:24:42.758431Z
K 7
svn:log
V 472
o   Remove the pmap argument to pmap_invalidate_all() as it's not used
    other than in a potentially dangerous KASSERT.
o   Hand-inline pmap_remove_page() as it's only called from 1 place and
    the abstraction that pmap_remove_page() provides is not enough to
    warrant the obfuscation. Eliminate the dangerous KASSERT in the
    process.
o   In pmap_remove_pte(), remove the KASSERT for pmap being the current
    one as it's not safe in the face of CPU migration.

END