beforesecs        601 kern/startup/menu.c 	time_t beforesecs, aftersecs, secs;
beforesecs        628 kern/startup/menu.c 			gettime(&beforesecs, &beforensecs);
beforesecs        633 kern/startup/menu.c 			getinterval(beforesecs, beforensecs,