HelenOS sources

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