HelenOS sources

fmgt_timer_fun    179 uspace/lib/fmgt/src/fmgt.c 	fibril_timer_set(fmgt->timer, 500000, fmgt_timer_fun, (void *)fmgt);
fmgt_timer_fun    188 uspace/lib/fmgt/src/fmgt.c 	fibril_timer_set(fmgt->timer, 500000, fmgt_timer_fun, (void *)fmgt);