<map id="l4/sys/debugger.h" name="l4/sys/debugger.h">
<area shape="rect" id="Node000001" title="Debugger related definitions." alt="" coords="5,5,141,31"/>
<area shape="rect" id="Node000002" href="$debugger.html" title="The debugger interface specifies common debugging related definitions." alt="" coords="11,79,136,104"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="76,44,76,79,71,79,71,44"/>
</map>
