1 #ifndef THREADS_PAGING_H
2 #define THREADS_PAGING_H
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);
21 #endif /* threads/paging.h */