Reader-writer queue locks
[akaros.git] / kern / include / page_alloc.h
index 1cb213e..5a98312 100644 (file)
@@ -16,6 +16,7 @@
 #include <process.h>
 #include <kref.h>
 #include <kthread.h>
+#include <multiboot.h>
 
 struct page_map;               /* preprocessor games */
 
@@ -54,11 +55,13 @@ extern page_list_t LCKD(&colored_page_free_list_lock) * RO CT(llc_num_colors)
     colored_page_free_list;
 
 /*************** Functional Interface *******************/
-void page_alloc_init(void);
+void page_alloc_init(struct multiboot_info *mbi);
 void colored_page_alloc_init(void);
 
 error_t upage_alloc(struct proc* p, page_t *SAFE *page, int zero);
 error_t kpage_alloc(page_t *SAFE *page);
+void *kpage_alloc_addr(void);
+void *kpage_zalloc_addr(void);
 error_t upage_alloc_specific(struct proc* p, page_t *SAFE *page, size_t ppn);
 error_t kpage_alloc_specific(page_t *SAFE *page, size_t ppn);