/* The PLL verification timer is only available on Sandstorm-class devices. */
void SysCtlPLLVerificationSet(tBoolean bEnable)
/* The PLL verification timer is only available on Sandstorm-class devices. */
void SysCtlPLLVerificationSet(tBoolean bEnable)
{
    if(bEnable)
    {
        HWREG(SYSCTL_RCC) |= SYSCTL_RCC_PLLVER;
    }
    else
    {
        HWREG(SYSCTL_RCC) &= ~(SYSCTL_RCC_PLLVER);
    }
}