tegge 0b804fd802 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.
1998-05-17 18:53:19 +00:00
..
1997-08-09 00:04:06 +00:00
1998-02-03 20:32:38 +00:00
1998-01-20 09:09:24 +00:00
1997-08-09 00:04:06 +00:00