rns                60 kern/startup/menu.c 	    time_t *rs, uint32_t *rns)
rns                67 kern/startup/menu.c 	*rns = ns2 - ns1;