<map id="Kernel&#45;provided semaphore" name="Kernel&#45;provided semaphore">
<area shape="rect" id="Node000002" href="$group__l4__kernel__object__api.html" title="API of kernel objects." alt="" coords="5,5,121,31"/>
<area shape="rect" id="Node000001" title="C semaphore interface, see L4::Semaphore for the C++ interface." alt="" coords="169,5,372,31"/>
</map>
