+ PLL_VCO / 2 / RCC_TO_DIV(rcc) : PLL_VCO;
+}
+
+/*
+ * Try to evaluate the correct SYSDIV value depending on the desired CPU
+ * frequency.
+ */
+INLINE int evaluate_sysdiv(unsigned long freq)
+{
+ int i;
+
+ /*
+ * NOTE: with BYPASS=0, SYSDIV < 3 are reserved values (see LM3S1968
+ * Microcontroller DATASHEET, p.78).
+ */
+ for (i = 3; i < 16; i++)
+ if (freq >= (PLL_VCO / 2 / (i + 1)))
+ break;
+ return i;