V_ip6_temp_preferred_lifetime
(V_ip6_temp_preferred_lifetime - V_ip6_desync_factor -
(V_ip6_temp_preferred_lifetime - V_ip6_desync_factor -
val = V_ip6_temp_preferred_lifetime;
V_ip6_temp_preferred_lifetime = val;
if (val < V_ip6_temp_preferred_lifetime)
(V_ip6_temp_preferred_lifetime >> 2) +
(V_ip6_temp_preferred_lifetime >> 3);
if (V_ip6_temp_preferred_lifetime >
maxpltime = V_ip6_temp_preferred_lifetime -
if (pltime0 > V_ip6_temp_preferred_lifetime - V_ip6_desync_factor){
pltime0 = V_ip6_temp_preferred_lifetime -
pltime0 = V_ip6_temp_preferred_lifetime - V_ip6_desync_factor;