<map id="L4::Rcv_endpoint::bind_snd_destination" name="L4::Rcv_endpoint::bind_snd_destination">
<area shape="rect" id="Node000001" title="Bind a send destination (a thread or thread group) to an IPC receive endpoint." alt="" coords="5,47,175,87"/>
<area shape="rect" id="Node000002" href="$classL4_1_1Cap__base.html#a90ff089ca2442b128c2b2b0e1c22c6d7" title="Return capability selector." alt="" coords="228,5,367,31"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="174,45,230,31,231,36,175,50"/>
<area shape="rect" id="Node000003" href="$classL4_1_1Kobject.html#a4f2117ae76762f4084e6a1adb915863c" title="Return capability selector." alt="" coords="235,55,359,80"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="175,65,222,65,222,70,175,70"/>
<area shape="rect" id="Node000004" href="$group__l4__kernel__object__gate__api.html#gadb03d49fcf42b9fc167338fa1cd72fb4" title="Bind the IPC receive endpoint to a send destination (a thread)." alt="" coords="223,105,372,145"/>
<area shape="poly" id="edge3_Node000001_Node000004" title=" " alt="" coords="164,85,212,98,210,103,162,90"/>
<area shape="rect" id="Node000005" href="$group__l4__utcb__api.html#gadc099b4a59e1d99638c72c11a8c8b644" title="Get the UTCB address." alt="" coords="420,112,489,137"/>
<area shape="poly" id="edge4_Node000004_Node000005" title=" " alt="" coords="372,122,406,122,406,127,372,127"/>
</map>
