<map id="Thread" name="Thread">
<area shape="rect" id="Node000002" href="$group__l4__kernel__object__api.html" title="API of kernel objects." alt="" coords="5,31,121,56"/>
<area shape="rect" id="Node000001" title="C Thread object interface, see L4::Thread for the C++ interface." alt="" coords="169,31,236,56"/>
<area shape="rect" id="Node000003" href="$group__l4__thread__control__api.html" title="API for Thread Control method." alt="" coords="284,5,400,31"/>
<area shape="rect" id="Node000004" href="$group__l4__vcpu__api.html" title="vCPU API." alt="" coords="301,55,383,80"/>
</map>
