<map id="L4::Thread::switch_to" name="L4::Thread::switch_to">
<area shape="rect" id="Node000001" title="Switch execution to this thread." alt="" coords="5,5,165,31"/>
<area shape="rect" id="Node000002" href="$classL4_1_1Kobject.html#a4f2117ae76762f4084e6a1adb915863c" title="Return capability selector." alt="" coords="213,5,337,31"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="166,15,199,15,199,21,166,21"/>
</map>
