diff options
Diffstat (limited to 'vm/page.h')
| -rw-r--r-- | vm/page.h | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -28,7 +28,7 @@ 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 | struct page_table_entry *page_table_remove (struct hash *ht, void *upage); |
| 30 | 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, |
| 31 | uint8_t *upage, uint32_t read_bytes, bool writable); | 31 | void *upage, uint32_t read_bytes, bool writable); |
| 32 | bool page_load (struct page_table_entry *pte); | 32 | bool page_load (struct page_table_entry *pte); |
| 33 | 33 | ||
| 34 | #endif | 34 | #endif |
