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