Is there a reason the divider (MAINPLL_FREQ4) is set to 9.333333 by default and not 9.216 ?
Section "1.16.1.2.9 Main PLL Frequency 4 Register (MAINPLL_FREQ4)" of SPRUGX8-May 2012 states:
The default FREQ4 value is 9.333333 to generate a 500 MHz SYSCLK4.
And yet in the calculation in Table 1-77 SYSCLK4=493.7143MHz (9.333333) eventhough SYSCLK24=125MHz (MAINPLL_FREQ5 -> 9.216)
Is there issue with assigning 9.216 to MAINPLL_FREQ4 ?