Added page-coloring support to SPARC port
[akaros.git] / kern / include / page_alloc.h
1 /* Copyright (c) 2009 The Regents of the University  of California. 
2  * See the COPYRIGHT files at the top of this source tree for full 
3  * license information.
4  * 
5  * Kevin Klues <klueska@cs.berkeley.edu>    
6  */
7  
8 #ifndef PAGE_ALLOC_H
9 #define PAGE_ALLOC_H
10
11 #include <sys/queue.h>
12 #include <ros/error.h>
13 #include <arch/mmu.h>
14 #include <colored_page_alloc.h>
15
16 /****************** Page Structures *********************/
17 struct Page;
18 typedef size_t ppn_t;
19 typedef struct Page page_t;
20 typedef LIST_HEAD(PageList, Page) page_list_t;
21 typedef LIST_ENTRY(Page) page_list_entry_t;
22
23 struct Page {
24         page_list_entry_t global_link;
25         DECLARE_CACHE_COLORED_PAGE_LINKS();
26         
27         size_t num_cons_links;
28     size_t page_ref;
29 };
30
31 /******** Externally visible global variables ************/
32 extern page_list_t page_free_list;
33 DECLARE_EXTERN_CACHE_COLORED_PAGE_FREE_LISTS();
34
35 /*************** Functional Interface *******************/
36 void page_alloc_init(void);
37 error_t page_alloc(page_t *SAFE *page);
38 error_t page_alloc_specific(page_t *SAFE *page, size_t ppn);
39 error_t l1_page_alloc(page_t *SAFE *page, size_t color);
40 error_t l2_page_alloc(page_t *SAFE *page, size_t color);
41 error_t l3_page_alloc(page_t *SAFE *page, size_t color);
42 error_t page_free(page_t *SAFE page);
43 void page_incref(page_t *SAFE page);
44 void page_decref(page_t *SAFE page);
45 size_t page_getref(page_t *SAFE page);
46 void page_setref(page_t *SAFE page, size_t val);
47 int page_is_free(size_t ppn);
48
49 #endif //PAGE_ALLOC_H
50