aftersecs         601 kern/startup/menu.c 	time_t beforesecs, aftersecs, secs;
aftersecs         632 kern/startup/menu.c 			gettime(&aftersecs, &afternsecs);
aftersecs         634 kern/startup/menu.c 				    aftersecs, afternsecs,