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