diff options
Diffstat (limited to 'i386/intel/pmap.c')
| -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 e43b06c1..21f75eeb 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -3114,6 +3114,7 @@ void process_pmap_updates(pmap_t my_pmap) pmap_t pmap; update_list_p = &cpu_update_list[my_cpu]; + assert_splvm(); simple_lock_nocheck(&update_list_p->lock); for (j = 0; j < update_list_p->count; j++) { |