HelenOS sources

verify_progress    65 uspace/app/nav/verify.c static void verify_progress(void *, fmgt_progress_t *);
verify_progress    70 uspace/app/nav/verify.c 	.progress = verify_progress,
verify_progress    49 uspace/app/verify/verify.c static void verify_progress(void *, fmgt_progress_t *);
verify_progress    61 uspace/app/verify/verify.c 	.progress = verify_progress,
HelenOS homepage, sources at GitHub