Index: test/mm/falloc1/test.c
===================================================================
--- test/mm/falloc1/test.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ test/mm/falloc1/test.c	(revision 7f0837cc107de409715135bd7cdfd7724b6e37a9)
@@ -41,6 +41,5 @@
 
 void test(void) {
-	__address * frames = (__address *) malloc(MAX_FRAMES*sizeof(__address),
-						  0);
+	__address * frames = (__address *) malloc(MAX_FRAMES*sizeof(__address), 0);
 	int results[MAX_ORDER+1];
 	
@@ -60,5 +59,5 @@
 				
 				if (ALIGN_UP(frames[allocated], FRAME_SIZE << order) != frames[allocated]) {
-					panic("Test failed. Block at address %P (size %dK) is not aligned\n", frames[allocated], (FRAME_SIZE << order) >> 10);
+					panic("Test failed. Block at address %p (size %dK) is not aligned\n", frames[allocated], (FRAME_SIZE << order) >> 10);
 				}
 				
Index: test/mm/falloc2/test.c
===================================================================
--- test/mm/falloc2/test.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ test/mm/falloc2/test.c	(revision 7f0837cc107de409715135bd7cdfd7724b6e37a9)
@@ -78,5 +78,5 @@
 				for (k = 0; k <= ((FRAME_SIZE << order) - 1); k++) {
 					if (((__u8 *) frames[i])[k] != val) {
-						printf("Thread #%d (cpu%d): Unexpected data (%d) in block %P offset %#zX\n", THREAD->tid, CPU->id, ((char *) frames[i])[k], frames[i], k);
+						printf("Thread #%d (cpu%d): Unexpected data (%d) in block %p offset %#zx\n", THREAD->tid, CPU->id, ((char *) frames[i])[k], frames[i], k);
 						failed();
 					}
Index: test/mm/mapping1/test.c
===================================================================
--- test/mm/mapping1/test.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ test/mm/mapping1/test.c	(revision 7f0837cc107de409715135bd7cdfd7724b6e37a9)
@@ -51,23 +51,23 @@
 	frame1 = PA2KA(PFN2ADDR(frame_alloc(ONE_FRAME, FRAME_KA)));
 
-	printf("Writing %#X to physical address %P.\n", VALUE0, KA2PA(frame0));
+	printf("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0));
 	*((__u32 *) frame0) = VALUE0;
-	printf("Writing %#X to physical address %P.\n", VALUE1, KA2PA(frame1));
+	printf("Writing %#x to physical address %p.\n", VALUE1, KA2PA(frame1));
 	*((__u32 *) frame1) = VALUE1;
 	
-	printf("Mapping virtual address %P to physical address %P.\n", PAGE0, KA2PA(frame0));
+	printf("Mapping virtual address %p to physical address %p.\n", PAGE0, KA2PA(frame0));
 	page_mapping_insert(AS_KERNEL, PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE);
-	printf("Mapping virtual address %P to physical address %P.\n", PAGE1, KA2PA(frame1));	
+	printf("Mapping virtual address %p to physical address %p.\n", PAGE1, KA2PA(frame1));	
 	page_mapping_insert(AS_KERNEL, PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE);
 	
-	printf("Value at virtual address %P is %#X.\n", PAGE0, v0 = *((__u32 *) PAGE0));
-	printf("Value at virtual address %P is %#X.\n", PAGE1, v1 = *((__u32 *) PAGE1));
+	printf("Value at virtual address %p is %#x.\n", PAGE0, v0 = *((__u32 *) PAGE0));
+	printf("Value at virtual address %p is %#x.\n", PAGE1, v1 = *((__u32 *) PAGE1));
 	
 	ASSERT(v0 == VALUE0);
 	ASSERT(v1 == VALUE1);
 
-	printf("Writing %#X to virtual address %P.\n", 0, PAGE0);
+	printf("Writing %#x to virtual address %p.\n", 0, PAGE0);
 	*((__u32 *) PAGE0) = 0;
-	printf("Writing %#X to virtual address %P.\n", 0, PAGE1);
+	printf("Writing %#x to virtual address %p.\n", 0, PAGE1);
 	*((__u32 *) PAGE1) = 0;	
 
@@ -75,6 +75,6 @@
 	v1 = *((__u32 *) PAGE1);
 	
-	printf("Value at virtual address %P is %#X.\n", PAGE0, *((__u32 *) PAGE0));	
-	printf("Value at virtual address %P is %#X.\n", PAGE1, *((__u32 *) PAGE1));
+	printf("Value at virtual address %p is %#x.\n", PAGE0, *((__u32 *) PAGE0));	
+	printf("Value at virtual address %p is %#x.\n", PAGE1, *((__u32 *) PAGE1));
 
 	ASSERT(v0 == 0);
Index: test/synch/rwlock4/test.c
===================================================================
--- test/synch/rwlock4/test.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ test/synch/rwlock4/test.c	(revision 7f0837cc107de409715135bd7cdfd7724b6e37a9)
@@ -133,5 +133,5 @@
 		
 		context_save(&ctx);
-		printf("sp=%#X, readers_in=%d\n", ctx.sp, rwlock.readers_in);
+		printf("sp=%#x, readers_in=%d\n", ctx.sp, rwlock.readers_in);
 		
 		k = random(7) + 1;