K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2002-11-18T04:05:22.000000Z
K 7
svn:log
V 70
Remove vm_page_protect().  Instead, use pmap_page_protect() directly.

END