diff options
Diffstat (limited to 'i386/intel')
| -rw-r--r-- | i386/intel/pmap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 0bb1a490..42c6207f 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -2462,6 +2462,7 @@ void pmap_collect(pmap_t p) /* * Free the page table tree. */ + PMAP_READ_LOCK(p, spl); #if PAE #ifdef __x86_64__ for (int l4i = 0; l4i < lin2l4num(VM_MAX_USER_ADDRESS); l4i++) { |