Changes in kernel/genarch/src/mm/as_pt.c [ada559c:fdaad75d] 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);
                 
@@ -100 +99 @@
                 
                 mutex_unlock(&AS_KERNEL->lock);
-                interrupts_restore(ipl);
         }