half              407 kern/startup/menu.c 	int ct, half, i;
half              415 kern/startup/menu.c 	half = (ct+1)/2;
half              417 kern/startup/menu.c 	for (i=0; i<half; i++) {
half              419 kern/startup/menu.c 		if (i+half < ct) {
half              420 kern/startup/menu.c 			kprintf("%s", x[i+half]);