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