implement page table and use it for lazy loading of segments

1 files changed, 1 insertions, 0 deletions

diff --git a/userprog/process.h b/userprog/process.h
index 1609801..b7bca5d 100644
--- a/userprog/process.h
+++ b/userprog/process.h
@@ -37,6 +37,7 @@ tid_t process_execute (const char *file_name);
 int process_wait (tid_t);
 void process_exit (void);
 void process_activate (void);
+bool process_install_page (void *upage, void *kpage, bool writable);
 
 int process_open_file(const char* fname);
 struct file* process_get_file(int fd);