HelenOS sources

verify_bok         54 uspace/app/nav/verify.c static void verify_bok(verify_dlg_t *, void *);
verify_bok         59 uspace/app/nav/verify.c 	.bok = verify_bok,
HelenOS homepage, sources at GitHub