/* Update the ReachableTime in IP6 service binding instance data, in milliseconds. */
VOID Ip6UpdateReachableTime(IN OUT IP6_SERVICE *IpSb)
/* Update the ReachableTime in IP6 service binding instance data, in milliseconds. */
VOID Ip6UpdateReachableTime(IN OUT IP6_SERVICE *IpSb)
{
  UINT32  Random;
  Random              = (NetRandomInitSeed () / 4294967295UL) * IP6_RANDOM_FACTOR_SCALE;
  Random              = Random + IP6_MIN_RANDOM_FACTOR_SCALED;
  IpSb->ReachableTime = (IpSb->BaseReachableTime * Random) / IP6_RANDOM_FACTOR_SCALE;
}