denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

foc: remove unused function

Browse Source
This commit is contained in:
Christian Helmuth
2016-12-01 14:42:22 +01:00
parent 831c8d8e2d
commit 31631c8303
1 changed files with 0 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
repos/base-foc/src/core/rpc_cap_factory.cc
View File

@@ -234,10 +234,3 @@ void Genode::Capability_map::remove(Genode::Cap_index* i)
cap_idx_alloc()->free(i, 1);
}
}
Genode::Cap_index_allocator* cap_idx_alloc()
{
static Genode::Cap_index_allocator_tpl<Core_cap_index, 20*1024> _alloc;
return &_alloc;
}