beforensecs       602 kern/startup/menu.c 	uint32_t beforensecs, afternsecs, nsecs;
beforensecs       628 kern/startup/menu.c 			gettime(&beforesecs, &beforensecs);
beforensecs       633 kern/startup/menu.c 			getinterval(beforesecs, beforensecs,