<area shape="rect" href="$time_8c.html#51235206bfa661d81ecc6842b77e8cfa" title="Checks if a specified timer has expired." alt="" coords="157,5,235,32">
<area shape="rect" href="$time_8c.html#99a39375e7505fc60c3a82a8eb79ff14" title="Sets the specified timer." alt="" coords="159,56,233,83">
