/* It is random distribution in the interval (1/2)*base...(3/2)*base. It corresponds to default IPv6 settings and is not overridable, because it is really reasonable choice.  */
unsigned long neigh_rand_reach_time(unsigned long base)
/* It is random distribution in the interval (1/2)*base...(3/2)*base. It corresponds to default IPv6 settings and is not overridable, because it is really reasonable choice.  */
unsigned long neigh_rand_reach_time(unsigned long base)
{
	return (base ? (net_random() % base) + (base >> 1) : 0);
}