Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision f3272e98856ba0227e49f4032473323db444e343)
+++ kernel/generic/src/mm/as.c	(revision 8c84448b86410a212184bf076ceb45995c717df0)
@@ -193,5 +193,5 @@
 	/*
 	 * Destroy address space areas of the address space.
-	 * The B+tee must be walked carefully because it is
+	 * The B+tree must be walked carefully because it is
 	 * also being destroyed.
 	 */	
@@ -417,5 +417,5 @@
 		 * Finish TLB shootdown sequence.
 		 */
-		tlb_invalidate_pages(AS->asid, area->base + pages*PAGE_SIZE, area->pages - pages);
+		tlb_invalidate_pages(as->asid, area->base + pages*PAGE_SIZE, area->pages - pages);
 		tlb_shootdown_finalize();
 		
@@ -610,5 +610,5 @@
 	/*
 	 * Now we are committed to sharing the area.
-	 * First prepare the area for sharing.
+	 * First, prepare the area for sharing.
 	 * Then it will be safe to unlock it.
 	 */
Index: kernel/generic/src/mm/backend_anon.c
===================================================================
--- kernel/generic/src/mm/backend_anon.c	(revision f3272e98856ba0227e49f4032473323db444e343)
+++ kernel/generic/src/mm/backend_anon.c	(revision 8c84448b86410a212184bf076ceb45995c717df0)
@@ -133,5 +133,5 @@
 		 *   the different causes
 		 */
-		frame = (uintptr_t)frame_alloc(ONE_FRAME, 0);
+		frame = (uintptr_t) frame_alloc(ONE_FRAME, 0);
 		memsetb(PA2KA(frame), FRAME_SIZE, 0);
 	}