DPLL_FINT_INVALID
ret = DPLL_FINT_INVALID;
else if (r == DPLL_FINT_INVALID)
return DPLL_FINT_INVALID;