From e88a8c4c379d721e9901752d440a05295087da11 Mon Sep 17 00:00:00 2001 From: manuel Date: Tue, 19 Jun 2012 01:44:56 +0200 Subject: implement page table and use it for lazy loading of segments --- threads/synch.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'threads/synch.c') 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); -- cgit v1.2.3