Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/generic/src/mm/as.c	(revision 3f95377042657539cf9cca0cfec68cd3976ef5e0)
@@ -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);