implement page table and use it for lazy loading of segments

1 files changed, 4 insertions, 4 deletions

diff --git a/threads/synch.c b/threads/synch.c
index a1b7549..a520f61 100644
--- a/threads/synch.c
+++ b/threads/synch.c
@@ -32,9 +32,9 @@
 #include "threads/interrupt.h"
 #include "threads/thread.h"
 
-static bool lock_priority_cmp_greater(const struct list_elem *a, const struct list_elem *b,
+static bool lock_priority_cmp_greater (const struct list_elem *a, const struct list_elem *b,
     void *AUX UNUSED);
-static bool semaphore_priority_cmp_greater(const struct list_elem *a, const struct list_elem *b,
+static bool semaphore_priority_cmp_greater (const struct list_elem *a, const struct list_elem *b,
     void *aux UNUSED);
 
 /* Initializes semaphore SEMA to VALUE.  A semaphore is a
@@ -202,7 +202,7 @@ lock_init (struct lock *lock)
 
 /* comparison function for our descending ordered lock list. */
 static bool
-lock_priority_cmp_greater(const struct list_elem *a, const struct list_elem *b,
+lock_priority_cmp_greater (const struct list_elem *a, const struct list_elem *b,
     void *AUX UNUSED)
 {
   const struct lock *l1 = list_entry (a, struct lock, elem);
@@ -355,7 +355,7 @@ cond_init (struct condition *cond)
 
 /* comparison function for our descending ordered condition waiters list. */
 static bool
-semaphore_priority_cmp_greater(const struct list_elem *a, const struct list_elem *b,
+semaphore_priority_cmp_greater (const struct list_elem *a, const struct list_elem *b,
     void *aux UNUSED)
 {
   const struct semaphore_elem *s1 = list_entry (a, struct semaphore_elem, elem);