Fixed up ivy annotations on the new structure supporting page_coloring.
[akaros.git] / kern / arch / i386 / page_alloc.c
index 610de7e..3e6d66f 100644 (file)
@@ -66,4 +66,5 @@ void page_alloc_init()
        for (i = PPN(maxaddrpa); i < npages; i++) {
                pages[i].page_ref = 1;
        }
-}
\ No newline at end of file
+}
+