Added page-coloring support to SPARC port
[akaros.git] / kern / src / testing.c
index 54f3c37..bc6060c 100644 (file)
@@ -96,7 +96,7 @@ void test_page_coloring(void)
        cprintf("\n");
 
        //Print some stats about our memory
-       cprintf("Max Address: %u\n", MAX_VADDR);
+       cprintf("Max Address: %llu\n", MAX_VADDR);
        cprintf("Num Pages: %u\n", npages);
 
        //Declare a local variable for allocating pages