Merge remote branch 'origin/sparc-dev'
[akaros.git] / kern / src / page_alloc.c
index 19f1085..96ba288 100644 (file)
 #define l2 (available_caches.l2)
 #define l3 (available_caches.l3)
 
-static void __page_decref(page_t *page);
-static void __page_incref(page_t *page);
+static void __page_decref(page_t *CT(1) page);
+static void __page_incref(page_t *CT(1) page);
 static error_t __page_alloc_specific(page_t** page, size_t ppn);
-static error_t __page_free(page_t* page);
+static error_t __page_free(page_t *CT(1) page);
 
 // Global list of colors allocated to the general purpose memory allocator
 uint8_t* global_cache_colors_map;
@@ -152,7 +152,7 @@ error_t kpage_alloc(page_t** page)
 }
 
 /**
- * @brief Allocated 2^order contiguous physical pages.  Will incrememnt the
+ * @brief Allocated 2^order contiguous physical pages.  Will increment the
  * reference count for the pages.
  *
  * @param[in] order order of the allocation