#ifndef ThreePhaseTimer_h
#define ThreePhaseTimer_h
#include "Energia.h"
#include "SysTick.h"
class ThreePhaseTimer {
// static volatile uint32_t pwmLedInterruptCount;
public:
static void
disableThreePhaseTimerInterrupts();
static void
enableThreePhaseTimerInterrupts();
static void
startThreePhaseTimerInterrupts( uint32_t hz );
static void
ThreePhaseTimerInterruptHandler(void);
};
#endif