ns1                59 kern/startup/menu.c getinterval(time_t s1, uint32_t ns1, time_t s2, uint32_t ns2,
ns1                62 kern/startup/menu.c 	if (ns2 < ns1) {
ns1                67 kern/startup/menu.c 	*rns = ns2 - ns1;