summaryrefslogtreecommitdiff
path: root/kern/host.c
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-21 00:54:07 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-15 12:43:26 +0200
commitbf051865e0927b681417c665fb2aa4b389b7c6bb (patch)
tree8b000151be8c10c1d049266e445fd3b3fd2103fc /kern/host.c
parent74238b7db2a72ccad31264f50a1c2d3be0b05d4e (diff)
turn all_psets_lock into a general lock
Diffstat (limited to 'kern/host.c')
-rw-r--r--kern/host.c6
1 files changed, 3 insertions, 3 deletions
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.