Symbol: dv_cont
usr/src/cmd/format/init_menus.c
242
dv_cont, true },
usr/src/cmd/format/menu_developer.h
39
int dv_cont(void);