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