Index: generic/src/mm/frame.c
===================================================================
--- generic/src/mm/frame.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ generic/src/mm/frame.c	(revision 12c7f27b4fc44ac2d4bb7ef6ea741ea7a8ad1dff)
@@ -1029,6 +1029,5 @@
 		zone = zones.info[i];
 		spinlock_lock(&zone->lock);
-		printf("%d: %#X \t%zd\t\t%zd\n",i,PFN2ADDR(zone->base), 
-		       zone->free_count, zone->busy_count);
+		printf("%d: %#x \t%zd\t\t%zd\n", i, PFN2ADDR(zone->base), zone->free_count, zone->busy_count);
 		spinlock_unlock(&zone->lock);
 	}
Index: generic/src/mm/page.c
===================================================================
--- generic/src/mm/page.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ generic/src/mm/page.c	(revision 12c7f27b4fc44ac2d4bb7ef6ea741ea7a8ad1dff)
@@ -64,9 +64,9 @@
 	int i, cnt, length;
 
-	length = size + (s - (s & ~(PAGE_SIZE-1)));
-	cnt = length/PAGE_SIZE + (length%PAGE_SIZE>0);
+	length = size + (s - (s & ~(PAGE_SIZE - 1)));
+	cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0);
 
 	for (i = 0; i < cnt; i++)
-		page_mapping_insert(AS_KERNEL, s + i*PAGE_SIZE, s + i*PAGE_SIZE, PAGE_NOT_CACHEABLE);
+		page_mapping_insert(AS_KERNEL, s + i * PAGE_SIZE, s + i * PAGE_SIZE, PAGE_NOT_CACHEABLE);
 
 }