Index: kernel/genarch/src/mm/asid.c
===================================================================
--- kernel/genarch/src/mm/asid.c	(revision 1d432f9b3f6833cb86d4ee1903d5cdc12a99f6aa)
+++ kernel/genarch/src/mm/asid.c	(revision 7f0e7b696fe2c815f85837c0148c677da23ce655)
@@ -69,6 +69,4 @@
 
 /** Allocate free address space identifier.
- *
- * Interrupts must be disabled and asidlock must be held prior to this call
  *
  * @return New ASID.
Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision 1d432f9b3f6833cb86d4ee1903d5cdc12a99f6aa)
+++ kernel/genarch/src/mm/page_ht.c	(revision 7f0e7b696fe2c815f85837c0148c677da23ce655)
@@ -170,6 +170,4 @@
  * Map virtual address page to physical address frame
  * using flags.
- *
- * The page table must be locked and interrupts must be disabled.
  *
  * @param as    Address space to which page belongs.
@@ -217,6 +215,4 @@
  * this call visible.
  *
- * The page table must be locked and interrupts must be disabled.
- *
  * @param as   Address space to wich page belongs.
  * @param page Virtual address of the page to be demapped.
@@ -245,6 +241,4 @@
  * Find mapping for virtual page.
  *
- * The page table must be locked and interrupts must be disabled.
- *
  * @param as   Address space to wich page belongs.
  * @param page Virtual page.
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision 1d432f9b3f6833cb86d4ee1903d5cdc12a99f6aa)
+++ kernel/genarch/src/mm/page_pt.c	(revision 7f0e7b696fe2c815f85837c0148c677da23ce655)
@@ -61,6 +61,4 @@
  * using flags.
  *
- * The page table must be locked and interrupts must be disabled.
- *
  * @param as    Address space to wich page belongs.
  * @param page  Virtual address of the page to be mapped.
@@ -115,6 +113,4 @@
  *
  * Empty page tables except PTL0 are freed.
- *
- * The page table must be locked and interrupts must be disabled.
  *
  * @param as   Address space to wich page belongs.
@@ -246,6 +242,4 @@
  * Find mapping for virtual page.
  *
- * The page table must be locked and interrupts must be disabled.
- *
  * @param as   Address space to which page belongs.
  * @param page Virtual page.