diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-21 00:54:07 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-26 12:14:18 +0200 |
| commit | e8e4cddec2daa1b3890477b9ccf817db0023c9e9 (patch) | |
| tree | 6f856805a96012c77367d06009f679bef423d668 /kern/host.c | |
| parent | 724bca75dfd24ab12ae3f25c2ffb10037c14e7d3 (diff) | |
turn all_psets_lock into a general lock
Diffstat (limited to 'kern/host.c')
| -rw-r--r-- | kern/host.c | 6 |
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. |