/* The peripheral clock is the same as the processor clock. This value is returned by SysCtlClockGet(), or it can be explicitly hard-coded if it is constant and known (to save the code/execution overhead of a call to SysCtlClockGet()). */
void HibernateEnableExpClk(uint32_t ui32HibClk)
/* The peripheral clock is the same as the processor clock. This value is returned by SysCtlClockGet(), or it can be explicitly hard-coded if it is constant and known (to save the code/execution overhead of a call to SysCtlClockGet()). */
void HibernateEnableExpClk(uint32_t ui32HibClk)
{
    HWREG(HIB_CTL) |= HIB_CTL_CLK32EN;
    _HibernateWriteComplete();
}