Changes in kernel/genarch/src/mm/as_pt.c [fdaad75d:ada559c] in mainline

File:

• kernel/genarch/src/mm/as_pt.c (modified) (2 diffs)

kernel/genarch/src/mm/as_pt.c

@@ -84 +84 @@
                  */
                 
+                ipl_t ipl = interrupts_disable();
                 mutex_lock(&AS_KERNEL->lock);
                 
@@ -99 +100 @@
                 
                 mutex_unlock(&AS_KERNEL->lock);
+                interrupts_restore(ipl);
         }