TEMP_MAX_DESYNC_FACTOR_BASE
ndf = TEMP_MAX_DESYNC_FACTOR_BASE + (val >> 2) + (val >> 3);
V_ip6_temp_max_desync_factor = TEMP_MAX_DESYNC_FACTOR_BASE +
VNET_DEFINE(uint32_t, ip6_temp_max_desync_factor) = TEMP_MAX_DESYNC_FACTOR_BASE;