<map id="G" name="G">
<area shape="rect" id="node3" href="$group___m_i_o_s32___t_i_m_e_s_t_a_m_p.html#ga2f30007f7c53c25e5e4338e9026b96e9" title="MIOS32_TIMESTAMP_Get" alt="" coords="131,5,299,35"/>
</map>
