ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

nova: fix lock guard usage in cap selector 

Issue #549
This commit is contained in:
Alexander Boettcher 2013-02-06 11:32:11 +01:00 committed by Norman Feske
parent 64dbe08359
commit ee8eea9330
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
base-nova/src/base/env/cap_sel_alloc.cc vendored
View File

@ -27,23 +27,23 @@ using namespace Genode;
/**
* Return lock used to protect capability selector allocations
*/
static Genode::Lock *alloc_lock()
static Genode::Lock &alloc_lock()
{
static Genode::Lock alloc_lock_inst;
return &alloc_lock_inst;
return alloc_lock_inst;
}
addr_t Cap_selector_allocator::alloc(size_t num_caps_log2)
{
Lock::Guard(alloc_lock());
Lock::Guard guard(alloc_lock());
return Bit_allocator::alloc(num_caps_log2);
}
void Cap_selector_allocator::free(addr_t cap, size_t num_caps_log2)
{
Lock::Guard(alloc_lock());
Lock::Guard guard(alloc_lock());
Bit_allocator::free(cap, num_caps_log2);
}