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,