Added page-coloring support to SPARC port
[akaros.git] / kern / src / page_alloc.c
index f19f1d1..80dd5cb 100644 (file)
@@ -155,3 +155,11 @@ void page_setref(page_t *page, size_t val)
        page->page_ref = val;
 }
 
+/*
+ * Get the reference count on a page
+ */
+size_t page_getref(page_t *page)
+{
+       return page->page_ref;
+}
+