Index: genarch/src/mm/asid.c
===================================================================
--- genarch/src/mm/asid.c	(revision 88169d9bf73e6750e103020b2e1780dfc973724b)
+++ genarch/src/mm/asid.c	(revision 977649bc2cac5c396e5f40674f06c08d256827a8)
@@ -72,5 +72,5 @@
 /** Allocate free address space identifier.
  *
- * Interrupts must be disabled and as_lock must be held
+ * Interrupts must be disabled and inactive_as_with_asid_lock must be held
  * prior to this call
  *