Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/generic/src/mm/as.c	(revision 81c8d54932b8d433d80c1e2cc7f3bb31def15d79)
@@ -123,5 +123,5 @@
 
 	link_initialize(&as->inactive_as_with_asid_link);
-	mutex_initialize(&as->lock, MUTEX_PASSIVE);	
+	mutex_initialize(&as->lock, MUTEX_PASSIVE);
 	
 	rc = as_constructor_arch(as, flags);
