diff options
Diffstat (limited to 'i386/intel/pmap.c')
| -rw-r--r-- | i386/intel/pmap.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index a12d2ae..b07644a 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1362,7 +1362,6 @@ void pmap_remove_range(pmap, va, spte, epte) * Remove the mapping from the pvlist for * this physical page. */ - if (pmap != kernel_pmap) { register pv_entry_t pv_h, prev, cur; |