<map id="sessions.c" name="sessions.c"> <area shape="rect" id="node3" href="$sessions_8h.html" title="sessions.h" alt="" coords="43,83,127,111"/> <area shape="rect" id="node7" href="$threads_8h.html" title="threads.h" alt="" coords="86,161,161,189"/> </map>