text: //*****************************************************************************
  // pinmux.c
  //
  // configure the device pins for different peripheral signals
  //
  // Copyright (C) 2014 Texas Instruments Incorporated - http://www.ti.com/ 
  // 
  // 
  //  Redistribution and use in source and binary forms, with or without 
  //  modification, are permitted provided that the following conditions 
  //  are met:
  //
  //    Redistributions of source code must retain the above copyright 
  //    notice, this list of conditions and the following disclaimer.
  //
  //    Redistributions in binary form must reproduce the above copyright
  //    notice, this list of conditions and the following disclaimer in the 
  //    documentation and/or other materials provided with the   
  //    distribution.
  //
  //    Neither the name of Texas Instruments Incorporated nor the names of
  //    its contributors may be used to endorse or promote products derived
  //    from this software without specific prior written permission.
  //
  //  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 
  //  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 
  //  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  //  A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 
  //  OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 
  //  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 
  //  LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  //  DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  //  THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 
  //  (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 
  //  OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  //
  //*****************************************************************************
  
  // This file was automatically generated on 7/21/2014 at 3:06:20 PM
  // by TI PinMux version 3.0.334
  //
  //*****************************************************************************
  
  #include "pinmux.h"
  #include "hw_types.h"
  #include "hw_memmap.h"
  #include "hw_gpio.h"
  #include "pin.h"
  #include "rom.h"
  #include "rom_map.h"
  #include "gpio.h"
  #include "prcm.h"
  
  //*****************************************************************************
  void
  PinMuxConfig(void)
  {
      //
      // Enable Peripheral Clocks 
      //
      MAP_PRCMPeripheralClkEnable(PRCM_TIMERA2, PRCM_RUN_MODE_CLK);
      MAP_PRCMPeripheralClkEnable(PRCM_TIMERA3, PRCM_RUN_MODE_CLK);
  
      //
      // Configure PIN_64 for TIMERPWM5 GT_PWM05
      //
      MAP_PinTypeTimer(PIN_64, PIN_MODE_3);
  
      //
      // Configure PIN_01 for TIMERPWM6 GT_PWM06
      //
      MAP_PinTypeTimer(PIN_01, PIN_MODE_3);
  
      //
      // Configure PIN_02 for TIMERPWM7 GT_PWM07
      //
      MAP_PinTypeTimer(PIN_02, PIN_MODE_3);
  }
  
  