Index: kernel/test/mm/falloc2.c
===================================================================
--- kernel/test/mm/falloc2.c	(revision 7d440e37e1f2b1dd61cdeb800e63b239608e913d)
+++ kernel/test/mm/falloc2.c	(revision 8bfe48e81c36cb4f2aef628c058c67d0583b320b)
@@ -53,5 +53,5 @@
 	int order, run, allocated, i;
 	uint8_t val = THREAD->tid % THREADS;
-	index_t k;
+	size_t k;
 	
 	void **frames =  (void **) malloc(MAX_FRAMES * sizeof(void *), FRAME_ATOMIC);
@@ -83,7 +83,7 @@
 			
 			for (i = 0; i < allocated; i++) {
-				for (k = 0; k <= (((index_t) FRAME_SIZE << order) - 1); k++) {
+				for (k = 0; k <= (((size_t) FRAME_SIZE << order) - 1); k++) {
 					if (((uint8_t *) frames[i])[k] != val) {
-						TPRINTF("Thread #%" PRIu64 " (cpu%u): Unexpected data (%c) in block %p offset %#" PRIi "\n", THREAD->tid, CPU->id, ((char *) frames[i])[k], frames[i], k);
+						TPRINTF("Thread #%" PRIu64 " (cpu%u): Unexpected data (%c) in block %p offset %#" PRIs "\n", THREAD->tid, CPU->id, ((char *) frames[i])[k], frames[i], k);
 						atomic_inc(&thread_fail);
 						goto cleanup;
Index: kernel/test/mm/purge1.c
===================================================================
--- kernel/test/mm/purge1.c	(revision 7d440e37e1f2b1dd61cdeb800e63b239608e913d)
+++ kernel/test/mm/purge1.c	(revision 8bfe48e81c36cb4f2aef628c058c67d0583b320b)
@@ -38,5 +38,5 @@
 
 extern void tlb_invalidate_all(void);
-extern void tlb_invalidate_pages(asid_t asid, uintptr_t va, count_t cnt);
+extern void tlb_invalidate_pages(asid_t asid, uintptr_t va, size_t cnt);
 
 char *test_purge1(void)