isargs            658 kern/startup/menu.c menu_execute(char *line, int isargs)
isargs            668 kern/startup/menu.c 		if (isargs) {
isargs            675 kern/startup/menu.c 			if (isargs) {