diff options
Diffstat (limited to 'vm/page.h')
| -rw-r--r-- | vm/page.h | 35 |
1 files changed, 18 insertions, 17 deletions
| @@ -8,32 +8,33 @@ | |||
| 8 | /* supplemental page table entry */ | 8 | /* supplemental page table entry */ |
| 9 | struct page_table_entry | 9 | struct page_table_entry |
| 10 | { | 10 | { |
| 11 | void *uvaddr; | 11 | void *upage; /* virtual address of page */ |
| 12 | bool loaded; | 12 | bool loaded; /* indicates if page is loaded */ |
| 13 | enum | 13 | enum |
| 14 | { | 14 | { |
| 15 | PAGE_SEGMENT, | 15 | PAGE_SEGMENT, |
| 16 | PAGE_MEMORY_MAPPED_FILE, | 16 | PAGE_MEMORY_MAPPED_FILE, |
| 17 | } type; | 17 | } type; /* type of page */ |
| 18 | 18 | ||
| 19 | union | 19 | union |
| 20 | { | ||
| 21 | struct segment | ||
| 22 | { | 20 | { |
| 23 | struct file *file; | 21 | /* structure needed for lazy loading of data segments */ |
| 24 | off_t ofs; | 22 | struct segment |
| 25 | uint32_t read_bytes; | 23 | { |
| 26 | uint32_t zero_bytes; | 24 | struct file *file; |
| 27 | bool writable; | 25 | off_t ofs; |
| 28 | } segment; | 26 | uint32_t read_bytes; |
| 29 | }; | 27 | uint32_t zero_bytes; |
| 28 | bool writable; | ||
| 29 | } segment; | ||
| 30 | }; | ||
| 30 | 31 | ||
| 31 | struct hash_elem elem; | 32 | struct hash_elem elem; /* Hash element. */ |
| 32 | }; | 33 | }; |
| 33 | 34 | ||
| 34 | void page_table_init (struct hash *ht); | 35 | void page_table_init (struct hash *ht); |
| 35 | void page_table_free (struct hash *ht); | 36 | void page_table_free (struct hash *ht); |
| 36 | struct page_table_entry *page_table_fetch (struct hash *ht, void *uvaddr); | 37 | struct page_table_entry *page_table_fetch (struct hash *ht, void *upage); |
| 37 | bool page_table_insert_segment (struct file *file, off_t ofs, uint8_t *upage, | 38 | bool page_table_insert_segment (struct file *file, off_t ofs, uint8_t *upage, |
| 38 | uint32_t read_bytes, uint32_t zero_bytes, bool writable); | 39 | uint32_t read_bytes, uint32_t zero_bytes, bool writable); |
| 39 | bool page_load (struct page_table_entry *pte); | 40 | bool page_load (struct page_table_entry *pte); |
