<map id="L4Re::Env::dbg_events" name="L4Re::Env::dbg_events">
<area shape="rect" id="Node000001" title="Object&#45;capability to a debugger events service." alt="" coords="221,5,389,31"/>
<area shape="rect" id="Node000002" href="$classL4Re_1_1Env.html#ad0737b5b452d50512d857e8744206384" title="Set the dbg_events capability." alt="" coords="5,5,173,31"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="207,21,174,21,174,15,207,15"/>
</map>
