Index: kernel/test/avltree/avltree1.c
===================================================================
--- kernel/test/avltree/avltree1.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/test/avltree/avltree1.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -62,5 +62,5 @@
 		tmp = test_tree_parents(node->lft);
 		if (tmp != node) {
-			printf("Bad parent pointer key: %d, address: %p\n",
+			printf("Bad parent pointer key: %" PRIu64 ", address: %p\n",
 			    tmp->key, node->lft);
 		}
@@ -69,5 +69,5 @@
 		tmp = test_tree_parents(node->rgt);
 		if (tmp != node) {
-			printf("Bad parent pointer key: %d, address: %p\n",
+			printf("Bad parent pointer key: %" PRIu64 ", address: %p\n",
 			    tmp->key,node->rgt);
 		}
@@ -110,5 +110,5 @@
 		return;
 
-	printf("%d[%d]", node->key, node->balance);
+	printf("%" PRIu64 "[%" PRIu8 "]", node->key, node->balance);
 	if (node->lft != NULL || node->rgt != NULL) {
 		printf("(");
@@ -192,5 +192,5 @@
 	
 	if (!quiet)
-		printf("Inserting %d nodes...", node_count);
+		printf("Inserting %" PRIc " nodes...", node_count);
 
 	for (i = 0; i < node_count; i++) {