afternsecs        602 kern/startup/menu.c 	uint32_t beforensecs, afternsecs, nsecs;
afternsecs        632 kern/startup/menu.c 			gettime(&aftersecs, &afternsecs);
afternsecs        634 kern/startup/menu.c 				    aftersecs, afternsecs,