/* ADC0 Interrupt Handler. 
If users want to user the ADC0 Callback feature, Users should promise that the ADC0 Handle in the vector table is ADCIntHandler. */
void PWMLedControl(void)
/* ADC0 Interrupt Handler. 
If users want to user the ADC0 Callback feature, Users should promise that the ADC0 Handle in the vector table is ADCIntHandler. */
void PWMLedControl(void)
{
    xSysCtlClockSet(72000000, xSYSCTL_OSC_MAIN | xSYSCTL_XTAL_8MHZ);
    SysCtlDelay(10000);
    xSysCtlPeripheralEnable(xSYSCTL_PERIPH_PWMA);
    xSysCtlPeripheralEnable(xSYSCTL_PERIPH_GPIOA);
    SysCtlPeripheralEnable(SYSCTL_PERIPH_AFIO);
    xSPinTypeTimer(TIM1CH1(APP), PA8);
    xPWMInitConfigure(xPWMA_BASE, xPWM_CHANNEL0, xPWM_OUTPUT_INVERTER_DIS|xPWM_DEAD_ZONE_DIS);
    xPWMFrequencyConfig(xPWMA_BASE, xPWM_CHANNEL0, xPWM_FREQ_CONFIG(1,0x48,0x3E8));
    xPWMDutySet(xPWMA_BASE, xPWM_CHANNEL0, 10);
    xPWMOutputEnable(xPWMA_BASE, xPWM_CHANNEL0);
    xPWMStart(xPWMA_BASE, xPWM_CHANNEL0);
}