Index: kernel/generic/src/mm/tlb.c
===================================================================
--- kernel/generic/src/mm/tlb.c	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/generic/src/mm/tlb.c	(revision a49a1a14068749b3ad852ac61bc415599e0339cb)
@@ -73,6 +73,4 @@
  * to all other processors.
  *
- * This function must be called with interrupts disabled.
- *
  * @param type Type describing scope of shootdown.
  * @param asid Address space, if required by type.
@@ -85,5 +83,5 @@
 {
 	CPU->tlb_active = false;
-	irq_spinlock_lock(&tlblock, false);
+	irq_spinlock_lock(&tlblock, true);
 	
 	size_t i;
@@ -132,5 +130,5 @@
 void tlb_shootdown_finalize(void)
 {
-	irq_spinlock_unlock(&tlblock, false);
+	irq_spinlock_unlock(&tlblock, true);
 	CPU->tlb_active = true;
 }