HelenOS sources

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