HelenOS sources

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