TM4C1231H6PM: Disable PLL Using SysCtlClockSet

Hi,

I have a system that uses PLL during run mode and disables PLL before going into deep sleep. Do I have to put a small delay after calling SysCtlClockSet() for the setting to take effect? If so, what is the recommended time delay?

Thanks,

Jacky