[PATCH gnumach] pmap: Add assert_splsched calls to ensure at SPL7

[Damien Zammit]

---
 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