K 10
svn:author
V 5
tegge
K 8
svn:date
V 27
1998-05-17T18:53:19.000000Z
K 7
svn:log
V 174
For SMP, use prv_PPAGE1/prv_PMAP1 instead of PADDR1/PMAP1.
get_ptbase and pmap_pte_quick no longer generates IPIs.
This should reduce the number of IPIs during heavy paging.

END