diff --git a/src/userprog/exception.c b/src/userprog/exception.c index db07db9..84de825 100644 --- a/src/userprog/exception.c +++ b/src/userprog/exception.c @@ -289,7 +289,7 @@ fetch_page (void *upage, bool write) bool success = false; switch (page->type) { case PAGE_MMAP: - case PAGE_FILE: + case PAGE_EXECUTABLE: case PAGE_SHARED: success = page_load_file (page); break; diff --git a/src/userprog/process.c b/src/userprog/process.c index ca99aee..9024540 100644 --- a/src/userprog/process.c +++ b/src/userprog/process.c @@ -715,7 +715,7 @@ load_segment (struct file *file, off_t ofs, uint8_t *upage, /* Add the page metadata to the SPT to be lazy loaded later on */ if (page_insert_file (file, ofs, upage, page_read_bytes, page_zero_bytes, - writable, PAGE_FILE) == NULL) + writable, PAGE_EXECUTABLE) == NULL) return false; /* Advance. */ diff --git a/src/vm/page.h b/src/vm/page.h index 9aa98fb..994da72 100644 --- a/src/vm/page.h +++ b/src/vm/page.h @@ -7,7 +7,7 @@ enum page_type { - PAGE_FILE, + PAGE_EXECUTABLE, PAGE_MMAP, PAGE_SHARED };