diff options
Diffstat (limited to 'vm/page.h')
| -rw-r--r-- | vm/page.h | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -26,6 +26,7 @@ struct page_table_entry | |||
| 26 | void page_table_init (struct hash *ht); | 26 | void page_table_init (struct hash *ht); |
| 27 | void page_table_free (struct hash *ht); | 27 | void page_table_free (struct hash *ht); |
| 28 | struct page_table_entry *page_table_fetch (struct hash *ht, void *upage); | 28 | struct page_table_entry *page_table_fetch (struct hash *ht, void *upage); |
| 29 | struct page_table_entry *page_table_remove (struct hash *ht, void *upage); | ||
| 29 | bool page_table_insert_segment (struct hash *ht, struct file *file, off_t ofs, | 30 | bool page_table_insert_segment (struct hash *ht, struct file *file, off_t ofs, |
| 30 | uint8_t *upage, uint32_t read_bytes, bool writable); | 31 | uint8_t *upage, uint32_t read_bytes, bool writable); |
| 31 | bool page_load (struct page_table_entry *pte); | 32 | bool page_load (struct page_table_entry *pte); |
