/* The clock verification timers are only available on Sandstorm-class devices. */
void SysCtlClkVerificationClear(void)
/* The clock verification timers are only available on Sandstorm-class devices. */
void SysCtlClkVerificationClear(void)
{
    HWREG(SYSCTL_CLKVCLR) = SYSCTL_CLKVCLR_VERCLR;
    HWREG(SYSCTL_CLKVCLR) = 0;
}