1 #ifndef HEADER_PAGING_H
2 #define HEADER_PAGING_H 1
7 void paging_init (void);
9 uint32_t *pagedir_create (void);
10 void pagedir_destroy (uint32_t *);
11 bool pagedir_set_page (uint32_t *pagedir, void *upage, void *kpage,
13 void *pagedir_get_page (uint32_t *pagedir, void *upage);
14 void pagedir_clear_page (uint32_t *pagedir, void *upage);
16 void *pagedir_first (uint32_t *pagedir, void **upage);
17 void *pagedir_next (uint32_t *pagedir, void **upage);
19 void pagedir_activate (uint32_t *pagedir);