MAX_RTR_SOLICITATION_DELAY
maxdelay = MAX_RTR_SOLICITATION_DELAY * hz;
(MAX_RTR_SOLICITATION_DELAY * hz);
dad_delay = cprng_fast32() % (MAX_RTR_SOLICITATION_DELAY * hz);
dad_delay = cprng_fast32() % (MAX_RTR_SOLICITATION_DELAY * hz);