opsmenu           428 kern/startup/menu.c static const char *opsmenu[] = {
opsmenu           450 kern/startup/menu.c 	showmenu("OS/161 operations menu", opsmenu);