---
i386/intel/pmap.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index e43b06c1..cf075a43 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_splsched();
simple_lock_nocheck(&update_list_p->lock);
for (j = 0; j < update_list_p->count; j++) {
@@ -3128,6 +3129,7 @@ void process_pmap_updates(pmap_t my_pmap)
}
update_list_p->count = 0;
cpu_update_needed[my_cpu] = FALSE;
+ assert_splsched();
simple_unlock_nocheck(&update_list_p->lock);
}
--
2.43.0