From c76e086e0e08e71aae4b85922aa3bc5c62d4f6ee Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Tue, 21 Jul 2015 00:54:07 +0200
Subject: turn all_psets_lock into a general lock

---
 kern/host.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kern/host.c')

diff --git a/kern/host.c b/kern/host.c
index 2855cd2..86955a6 100644
--- a/kern/host.c
+++ b/kern/host.c
@@ -244,7 +244,7 @@ host_processor_sets(
 	size = 0; addr = 0;
 
 	for (;;) {
-		simple_lock(&all_psets_lock);
+		lock_all_psets();
 		actual = all_psets_count;
 
 		/* do we have the memory we need? */
@@ -254,7 +254,7 @@ host_processor_sets(
 			break;
 
 		/* unlock and allocate more memory */
-		simple_unlock(&all_psets_lock);
+		unlock_all_psets();
 
 		if (size != 0)
 			kfree(addr, size);
@@ -281,7 +281,7 @@ host_processor_sets(
 	assert(queue_end(&all_psets, (queue_entry_t) pset));
 
 	/* can unlock now that we've got the pset refs */
-	simple_unlock(&all_psets_lock);
+	unlock_all_psets();
 
 	/*
 	 *	Always have default port.
-- 
cgit v1.2.3