/* Copyrights 2016, MathWorks Inc */
#include "MW_target_hardware_resources.h"
#include "rtwtypes.h"

void config_profilerTimer(void)
{
  /* InitCpuTimers() - CPU Timers are initialized in
   * MW_c28xx_board.c in the generated code.
   */
  CpuTimer1Regs.PRD.all = 0xFFFFFFFF;  /* max Period*/
  CpuTimer1Regs.TIM.all = 0xFFFFFFFF;  /* set Ctr*/
  CpuTimer1Regs.TPR.all = 0x00;        /* no prescaler    */
  StartCpuTimer1();
}

/* EOF */
