menu              700 kern/startup/menu.c menu(char *args)
menu              225 user/testbin/badcall/driver.c menu(void)